WebOnt Errata

From OWL
Jump to: navigation, search

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