@@ -882,6 +882,26 @@ SubClassOf C2 C0
882882SubClassOf C3 C4
883883SubClassOf C4 C6
884884
885+ SELECT * WHERE {?a1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C3 <http://www.w3.org/2002/07/owl#disjointWith> ?C1 . ?p0 <http://www.w3.org/2000/01/rdf-schema#range> ?C1 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 .?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?a0 ?p0 ?a1 .}
886+ New general inconsistency:
887+ General graph number: 68
888+ ClassAssertion C0 a1
889+ DisjointClasses C3 C1
890+ Range C1 p0
891+ SubClassOf C0 C2
892+ SubClassOf C2 C3
893+ p0 a0 a1
894+
895+ SELECT * WHERE {?a1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C4 <http://www.w3.org/2002/07/owl#disjointWith> ?C1 . ?p0 <http://www.w3.org/2000/01/rdf-schema#range> ?C1 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 .?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?C3 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C4 . ?a0 ?p0 ?a1 .}
896+ New general inconsistency:
897+ General graph number: 69
898+ ClassAssertion C0 a0
899+ DisjointClasses C4 C1
900+ Domain C1 p0
901+ SubClassOf C0 C2
902+ SubClassOf C2 C3
903+ SubClassOf C3 C4
904+ p0 a0 a1
885905New general inconsistency:
886906General graph number: 69
887907SELECT * WHERE {?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C2 . ?C7 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C4 . ?C3 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C0 . ?C3 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C6 . ?C1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C5 . ?C6 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C7 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C1 . ?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?C4 <http://www.w3.org/2002/07/owl#disjointWith> ?C5 . }
@@ -2162,6 +2182,25 @@ SubClassOf C7 C11
21622182SubClassOf C8 C0
21632183SubClassOf C9 C10
21642184
2185+ SELECT * WHERE {?a1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C2 <http://www.w3.org/2002/07/owl#disjointWith> ?C1 . ?p0 <http://www.w3.org/2000/01/rdf-schema#range> ?C1 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 .?a0 ?p0 ?a1 .}
2186+ New general inconsistency:
2187+ General graph number: 149
2188+ ClassAssertion C0 a1
2189+ DisjointClasses C2 C1
2190+ Range C1 p0
2191+ SubClassOf C0 C2
2192+ p0 a0 a1
2193+
2194+ SELECT * WHERE {?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C3 <http://www.w3.org/2002/07/owl#disjointWith> ?C1 . ?p0 <http://www.w3.org/2000/01/rdf-schema#domain> ?C1 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 .?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?a0 ?p0 ?a1 .}
2195+ New general inconsistency:
2196+ General graph number: 150
2197+ ClassAssertion C0 a0
2198+ DisjointClasses C3 C1
2199+ Domain C1 p0
2200+ SubClassOf C0 C2
2201+ SubClassOf C2 C3
2202+ p0 a0 a1
2203+
21652204New general inconsistency:
21662205General graph number: 151
21672206SELECT * WHERE {?C6 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C4 . ?C7 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C6 . ?C4 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C5 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C1 . ?C8 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C7 . ?C5 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?C1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C8 . ?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C3 . ?C2 <http://www.w3.org/2002/07/owl#disjointWith> ?C3 . }
@@ -3763,6 +3802,29 @@ SubClassOf C4 C2
37633802SubClassOf C5 C6
37643803SubClassOf C6 C0
37653804
3805+ SELECT * WHERE {?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C4 <http://www.w3.org/2002/07/owl#disjointWith> ?C1 . ?p0 <http://www.w3.org/2000/01/rdf-schema#domain> ?C1 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 .?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?C3 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C4 . ?a0 ?p0 ?a1 .}
3806+ New general inconsistency:
3807+ General graph number: 244
3808+ ClassAssertion C0 a1
3809+ DisjointClasses C4 C1
3810+ Range C1 p0
3811+ SubClassOf C0 C2
3812+ SubClassOf C2 C3
3813+ SubClassOf C3 C4
3814+ p0 a0 a1
3815+
3816+ SELECT * WHERE {?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C4 <http://www.w3.org/2002/07/owl#disjointWith> ?C5 . ?p0 <http://www.w3.org/2000/01/rdf-schema#domain> ?C1 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 .?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?C1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C5 . ?C3 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C4 . ?a0 ?p0 ?a1 .}
3817+ New general inconsistency:
3818+ General graph number: 245
3819+ ClassAssertion C0 a1
3820+ DisjointClasses C4 C5
3821+ Range C1 p0
3822+ SubClassOf C1 C5
3823+ SubClassOf C0 C2
3824+ SubClassOf C2 C3
3825+ SubClassOf C3 C4
3826+ p0 a0 a1
3827+
37663828New general inconsistency:
37673829General graph number: 244
37683830SELECT * WHERE {?C1 <http://www.w3.org/2002/07/owl#disjointWith> ?C5 . ?C6 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C9 . ?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C1 . ?C9 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C5 . ?C6 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?C3 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C7 . ?C7 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C8 . ?C8 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C4 . ?C4 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C0 . ?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C6 . }
@@ -4137,4 +4199,115 @@ SubClassOf C6 C3
41374199SubClassOf C7 C8
41384200SubClassOf C8 C17
41394201
4202+ SELECT * WHERE {?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?C3 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C4 . ?C0 <http://www.w3.org/2002/07/owl#disjointWith> ?C4 . ?p0 <http://www.w3.org/2000/01/rdf-schema#domain> ?C1 . ?a0 ?p0 ?a1 .}
4203+ New general inconsistency:
4204+ General graph number: 265
4205+ ClassAssertion C0 a0
4206+ SubClassOf C1 C2
4207+ SubClassOf C2 C3
4208+ SubClassOf C3 C4
4209+ DisjointClasses C0 C4
4210+ Domain C1 p0
4211+ p0 a0 a1
4212+
4213+ SELECT * WHERE {?a1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?C3 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C4 . ?C0 <http://www.w3.org/2002/07/owl#disjointWith> ?C4 . ?p0 <http://www.w3.org/2000/01/rdf-schema#range> ?C1 . ?a0 ?p0 ?a1 .}
4214+ New general inconsistency:
4215+ General graph number: 266
4216+ ClassAssertion C0 a1
4217+ SubClassOf C1 C2
4218+ SubClassOf C2 C3
4219+ SubClassOf C3 C4
4220+ DisjointClasses C0 C4
4221+ Range C1 p0
4222+ p0 a0 a1
4223+
4224+
4225+ SELECT * WHERE {?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?C0 <http://www.w3.org/2002/07/owl#disjointWith> ?C3 . ?p0 <http://www.w3.org/2000/01/rdf-schema#domain> ?C1 . ?a0 ?p0 ?a1 .}
4226+ New general inconsistency:
4227+ General graph number: 267
4228+ ClassAssertion C0 a0
4229+ SubClassOf C1 C2
4230+ SubClassOf C2 C3
4231+ DisjointClasses C0 C3
4232+ Domain C1 p0
4233+ p0 a0 a1
4234+
4235+
4236+ SELECT * WHERE {?a1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?C0 <http://www.w3.org/2002/07/owl#disjointWith> ?C3 . ?p0 <http://www.w3.org/2000/01/rdf-schema#range> ?C1 . ?a0 ?p0 ?a1 .}
4237+ New general inconsistency:
4238+ General graph number: 268
4239+ ClassAssertion C0 a1
4240+ SubClassOf C1 C2
4241+ SubClassOf C2 C3
4242+ DisjointClasses C0 C3
4243+ Range C1 p0
4244+ p0 a0 a1
4245+
4246+ SELECT * WHERE {?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?C0 <http://www.w3.org/2002/07/owl#disjointWith> ?C2 . ?p0 <http://www.w3.org/2000/01/rdf-schema#domain> ?C1 . ?a0 ?p0 ?a1 .}
4247+ New general inconsistency:
4248+ General graph number: 269
4249+ ClassAssertion C0 a0
4250+ SubClassOf C1 C2
4251+ DisjointClasses C0 C2
4252+ Domain C1 p0
4253+ p0 a0 a1
4254+
4255+ SELECT * WHERE {?a1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C1 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?C0 <http://www.w3.org/2002/07/owl#disjointWith> ?C2 . ?p0 <http://www.w3.org/2000/01/rdf-schema#range> ?C1 . ?a0 ?p0 ?a1 .}
4256+ New general inconsistency:
4257+ General graph number: 270
4258+ ClassAssertion C0 a1
4259+ SubClassOf C1 C2
4260+ DisjointClasses C0 C2
4261+ Range C1 p0
4262+ p0 a0 a1
4263+
4264+
4265+ SELECT * WHERE {?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C0 <http://www.w3.org/2002/07/owl#disjointWith> ?C1 . ?p0 <http://www.w3.org/2000/01/rdf-schema#domain> ?C1 . ?a0 ?p0 ?a1 .}
4266+ New general inconsistency:
4267+ General graph number: 271
4268+ ClassAssertion C0 a0
4269+ DisjointClasses C0 C1
4270+ Domain C1 p0
4271+ p0 a0 a1
4272+
4273+ SELECT * WHERE {?a1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C0 <http://www.w3.org/2002/07/owl#disjointWith> ?C1 . ?p0 <http://www.w3.org/2000/01/rdf-schema#range> ?C1 . ?a0 ?p0 ?a1 .}
4274+ New general inconsistency:
4275+ General graph number: 272
4276+ ClassAssertion C0 a1
4277+ DisjointClasses C0 C1
4278+ Range C1 p0
4279+ p0 a0 a1
4280+
4281+ SELECT * WHERE {?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C2 <http://www.w3.org/2002/07/owl#disjointWith> ?C1 . ?p0 <http://www.w3.org/2000/01/rdf-schema#domain> ?C1 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?a0 ?p0 ?a1 .}
4282+ New general inconsistency:
4283+ General graph number: 273
4284+ ClassAssertion C0 a0
4285+ DisjointClasses C2 C1
4286+ Domain C1 p0
4287+ SubClassOf C0 C2
4288+ p0 a0 a1
4289+
4290+ SELECT * WHERE {?a1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C2 <http://www.w3.org/2002/07/owl#disjointWith> ?C1 . ?p0 <http://www.w3.org/2000/01/rdf-schema#range> ?C1 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?a0 ?p0 ?a1 .}
4291+ New general inconsistency:
4292+ General graph number: 274
4293+ ClassAssertion C0 a1
4294+ DisjointClasses C2 C1
4295+ Range C1 p0
4296+ SubClassOf C0 C2
4297+ p0 a0 a1
4298+
4299+ SELECT * WHERE { ?a0 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?C0 . ?C3 <http://www.w3.org/2002/07/owl#disjointWith> ?C1 . ?p0 <http://www.w3.org/2000/01/rdf-schema#domain> ?C1 . ?C0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C2 . ?C2 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?C3 . ?a0 ?p0 ?a1 .}
4300+ New general inconsistency:
4301+ General graph number: 275
4302+ ClassAssertion C0 a0
4303+ DisjointClasses C3 C1
4304+ Domain C1 p0
4305+ SubClassOf C0 C2
4306+ SubClassOf C2 C3
4307+ p0 a0 a1
4308+
4309+
4310+
4311+
4312+
41404313Stopped
0 commit comments