OWL Species Validation Report
URI:
http://oaei.inrialpes.fr/tests/101/onto.rdf
OWL Full
Untyped Individual: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf
Untyped Individual: http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid126 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid148 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid144 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid156 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid158 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid169 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid153 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid136 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid146 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid134 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid163 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid153 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid134 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid156 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid146 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid169 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid144 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid163 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid158 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid126 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid136 Not an intersection/union/oneof
Bad list first/rest subject: http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#genid148 Not an intersection/union/oneof
Redefinition of: http://www.w3.org/1999/02/22-rdf-syntax-ns#List
Redefinition of: http://www.w3.org/1999/02/22-rdf-syntax-ns#nil
Redefinition of: http://www.w3.org/1999/02/22-rdf-syntax-ns#rest
Redefinition of: http://www.w3.org/1999/02/22-rdf-syntax-ns#first
Complex property http://oaei.inrialpes.fr/2005/benchmark/101/onto.rdf#isPartOf asserted to be transitive.
Conclusion
DL
:
NO
Why?
RDF:
URL:
None
OWL Lite
OWL DL
OWL Full
Show Constructs Used
Show Abstract Form
OWL Validator running on phoebus [130.88.192.230] under Apache Tomcat/4.1.24-LE-jdk14
© University of Manchester, 2003, © University of Karlsruhe, 2003