%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- not ground preserving Gamma_0: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] Gamma_1: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] Gamma_2: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] Gamma_3: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] Gamma_4: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) Gamma_5: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] Gamma_6: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) Gamma_7: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) Gamma_8: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) Gamma_9: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) Gamma_10: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) Gamma_11: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] Gamma_12: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) Gamma_13: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) Gamma_14: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] Gamma_15: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] Gamma_16: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) Gamma_17: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) Gamma_18: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] Gamma_19: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) Gamma_20: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] Gamma_21: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) Gamma_22: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) Gamma_23: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) Gamma_24: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) Gamma_25: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) Gamma_26: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) 26: [iext(uri_rdf_type,uri_ex_c,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_c)) Gamma_27: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) 26: [iext(uri_rdf_type,uri_ex_c,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_c)) 27: [iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)] Gamma_28: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) 26: [iext(uri_rdf_type,uri_ex_c,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_c)) 27: [iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)] 28: ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)), [icext(uri_owl_Restriction, uri_ex_r)] Gamma_29: (extend-no-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) 26: [iext(uri_rdf_type,uri_ex_c,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_c)) 27: [iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)] 28: ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)), [icext(uri_owl_Restriction, uri_ex_r)] 29: [iext(uri_owl_onProperty,uri_ex_r,uri_ex_p)] Gamma_30: (extend-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) 26: [iext(uri_rdf_type,uri_ex_c,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_c)) 27: [iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)] 28: ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)), [icext(uri_owl_Restriction, uri_ex_r)] 29: [iext(uri_owl_onProperty,uri_ex_r,uri_ex_p)] 30: [~(iext(uri_owl_onProperty,uri_ex_r,uri_ex_p))], ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)) Gamma_31: (move) 0: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) 26: [iext(uri_rdf_type,uri_ex_c,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_c)) 27: [iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)] 28: ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)), [icext(uri_owl_Restriction, uri_ex_r)] 29: [~(iext(uri_owl_onProperty,uri_ex_r,uri_ex_p))], ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)) 30: [iext(uri_owl_onProperty,uri_ex_r,uri_ex_p)] Gamma_32: (resolve) 0: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) 26: [iext(uri_rdf_type,uri_ex_c,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_c)) 27: [iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)] 28: ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)), [icext(uri_owl_Restriction, uri_ex_r)] 29: [~(iext(uri_owl_onProperty,uri_ex_r,uri_ex_p))], ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)) 30: [~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction))] Gamma_33: (extend-conflict) 0: [iext(uri_rdfs_subClassOf,uri_ex_c, uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) 26: [iext(uri_rdf_type,uri_ex_c,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_c)) 27: [iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)] 28: ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)), [icext(uri_owl_Restriction, uri_ex_r)] 29: [~(iext(uri_owl_onProperty,uri_ex_r,uri_ex_p))], ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)) 30: [~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction))] Gamma_34: (move) 0: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) 26: [iext(uri_rdf_type,uri_ex_c,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_c)) 27: [~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction))] 28: [iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)] 29: ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)), [icext(uri_owl_Restriction, uri_ex_r)] 30: [~(iext(uri_owl_onProperty,uri_ex_r,uri_ex_p))], ~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction)) Gamma_35: (resolve) 0: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)] 1: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ip(uri_rdfs_subClassOf)] 2: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_c)] 3: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [ic(uri_ex_r)] 4: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)], ~( ip(uri_rdfs_subClassOf)) 5: ~(iext(uri_rdfs_subPropertyOf,uri_rdfs_subClassOf,uri_rdfs_subClassOf)), [ip( uri_rdfs_subPropertyOf)] 6: [iext(uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf,uri_rdfs_subPropertyOf)], ~( ip(uri_rdfs_subPropertyOf)) 7: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_ex_r)], ~(ic(uri_ex_r)) 8: [iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_c)], ~(ic(uri_ex_c)) 9: [iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)], ~(ic(uri_ex_r)) 10: ~(iext(uri_rdfs_subClassOf,uri_ex_c,uri_ex_r)), [iext(uri_rdfs_subClassOf, uri_ex_c,uri_rdfs_Resource)], ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)) 11: ~(iext(uri_rdfs_subClassOf,uri_ex_r,uri_rdfs_Resource)), [ic(uri_rdfs_Resource)] 12: [iext(uri_rdfs_subClassOf,uri_rdfs_Resource,uri_rdfs_Resource)], ~( ic(uri_rdfs_Resource)) 13: [iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)], ~( ip(uri_rdfs_subPropertyOf)) 14: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subPropertyOf)] 15: ~(iext(uri_rdf_type,uri_rdfs_subPropertyOf,uri_rdf_Property)), [ip( uri_rdf_type)] 16: [iext(uri_rdfs_subPropertyOf,uri_rdf_type,uri_rdf_type)], ~(ip(uri_rdf_type)) 17: [iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)], ~(ip(uri_rdf_type)) 18: ~(iext(uri_rdf_type,uri_rdf_type,uri_rdf_Property)), [icext(uri_rdf_Property, uri_rdf_type)] 19: [iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)], ~(ip(uri_rdfs_subClassOf)) 20: ~(iext(uri_rdf_type,uri_rdfs_subClassOf,uri_rdf_Property)), [icext( uri_rdf_Property,uri_rdfs_subClassOf)] 21: [icext(uri_rdfs_Class,uri_rdfs_Resource)], ~(ic(uri_rdfs_Resource)) 22: [iext(uri_rdf_type,uri_rdfs_Resource,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_rdfs_Resource)) 23: [icext(uri_rdfs_Class,uri_ex_r)], ~(ic(uri_ex_r)) 24: [iext(uri_rdf_type,uri_ex_r,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_r)) 25: [icext(uri_rdfs_Class,uri_ex_c)], ~(ic(uri_ex_c)) 26: [iext(uri_rdf_type,uri_ex_c,uri_rdfs_Class)], ~(icext(uri_rdfs_Class,uri_ex_c)) 27: [~(iext(uri_rdf_type,uri_ex_r,uri_owl_Restriction))] 28: [] SZS status Unsatisfiable