Warning:
This wiki has been archived and is now read-only.
WebOnt Errata
Errata against Test Cases
Missing Ontology Headers in Test Cases
In order to satisfy the definition of an "OWL DL ontology in RDF graph form" presented in Test Cases, Section 4.1.1 Syntactic Conformance an RDF graph must contain an ontology header (i.e., triple of the form x rdf:type owl:Ontology). The same requirement is holds for an "OWL lite ontology in RDF graph form". Many of the test cases approved by the WebOnt working group contained RDF graphs marked as OWL DL and OWL Lite, but which did not contain such a triple. These graphs should have been marked as OWL Full. The lists below documents the specific test cases impacted by this error.
The following tests contained a single RDF graph which did not contain an ontology header and was incorrectly marked as OWL Lite:
- AnnotationProperty-003
- I5.2-001
- I5.2-003
- I5.2-005
- I5.3-006
- I5.3-008
- I5.3-011
- I5.8-013
- I5.8-015
- Nothing-001
- Restriction-001
- Restriction-004
- Thing-003
- miscellaneous-202
- miscellaneous-203
- miscellaneous-204
- miscellaneous-205
- miscellaneous-303
The following tests contained a single RDF graph which did not contain an ontology header and was incorrectly marked as OWL DL:
- I4.5-002
- I5.8-001
- I5.8-002
- I5.8-003
- I5.8-012
- Thing-004
- description-logic-501
- description-logic-502
- description-logic-503
- description-logic-504
- description-logic-905
- description-logic-906
- description-logic-907
- description-logic-908
- description-logic-909
- description-logic-910
- disjointWith-003
- disjointWith-005
- disjointWith-007
- disjointWith-009
- equivalentClass-009
- miscellaneous-102
- miscellaneous-103
The following entailment and non-entailment tests contained a premise RDF graph which did not contain an ontology header and was incorrectly marked as OWL Lite:
- AnnotationProperty-001
- AnnotationProperty-002
- Class-005
- I4.6-004
- I4.6-005
- I5.2-002
- I5.2-004
- I5.2-006
- I5.24-003
- I5.24-004
- I5.26-009
- I5.26-010
- I5.8-006
- I5.8-007
- I5.8-008
- I5.8-009
- I5.8-010
- Restriction-005
- SymmetricProperty-003
- allValuesFrom-001
- allValuesFrom-002
- cardinality-001
- cardinality-002
- equivalentClass-001
- equivalentClass-002
- equivalentClass-003
- equivalentClass-004
- equivalentClass-005
- equivalentClass-006
- equivalentClass-008
- equivalentProperty-001
- equivalentProperty-002
- equivalentProperty-003
- miscellaneous-302
- someValuesFrom-003
The following entailment and non-entailment tests contained a premise RDF graph which did not contain an ontology header and was incorrectly marked as OWL DL:
- I4.5-001
- I5.21-002
- I5.8-004
- I5.8-005
- SymmetricProperty-002
- TransitiveProperty-002
- cardinality-003
- cardinality-004
- description-logic-901
- description-logic-902
- description-logic-903
- description-logic-904
- disjointWith-001
- equivalentProperty-004
- oneOf-004
- unionOf-003
- unionOf-004
The following entailment and non-entailment tests contained a conclusion RDF graph which did not contain an ontology header and was incorrectly marked as OWL Lite:
- AnnotationProperty-001
- AnnotationProperty-002
- I4.5-001
- I4.6-003
- I4.6-005
- I5.2-002
- I5.24-003
- I5.24-004
- I5.8-004
- I5.8-005
- I5.8-006
- I5.8-007
- I5.8-008
- I5.8-009
- I5.8-010
- I5.8-011
- Restriction-005
- SymmetricProperty-003
- TransitiveProperty-002
- allValuesFrom-001
- allValuesFrom-002
- cardinality-001
- cardinality-002
- description-logic-201
- description-logic-202
- description-logic-203
- description-logic-204
- description-logic-205
- description-logic-206
- description-logic-207
- description-logic-208
- description-logic-209
- description-logic-661
- description-logic-662
- description-logic-664
- description-logic-665
- description-logic-667
- disjointWith-001
- equivalentClass-001
- equivalentClass-002
- equivalentClass-003
- equivalentClass-004
- equivalentClass-005
- equivalentClass-008
- equivalentProperty-001
- equivalentProperty-002
- equivalentProperty-003
- equivalentProperty-004
- imports-011
- miscellaneous-011
- miscellaneous-302
- oneOf-004
- sameAs-001
- someValuesFrom-003
The following entailment and non-entailment tests contained a conclusion RDF graph which did not contain an ontology header and was incorrectly marked as OWL DL:
- Class-005
- I5.2-004
- I5.2-006
- I5.21-002
- I5.26-009
- I5.26-010
- Nothing-002
- SymmetricProperty-002
- cardinality-003
- cardinality-004
- description-logic-901
- description-logic-902
- description-logic-903
- description-logic-904
- equivalentClass-006
- miscellaneous-010
- unionOf-003
- unionOf-004