Test Wrangler Notes

Test Cases Needing Review

Tests Needing Proposal

The test cases listed in the following list contain all required metadata and need review and proposal.

Review and Propose List

Produced from the 2009-06-30 test export

20 test cases match filter.

• FS2RDF-different-individuals-2-annotation-ar
• FS2RDF-different-individuals-3-annotation-ar
• FS2RDF-disjoint-classes-2-annotation-ar
• FS2RDF-disjoint-classes-2-ar
• FS2RDF-disjoint-classes-3-annotation-ar
• FS2RDF-disjoint-classes-3-ar
• FS2RDF-domain-range-expression-ar
• FS2RDF-domain-range-simple-ar
• FS2RDF-equivalent-classes-2-annotation-ar
• FS2RDF-equivalent-classes-2-ar
• FS2RDF-equivalent-classes-3-annotation-ar
• FS2RDF-equivalent-classes-3-ar
• FS2RDF-literals-ar
• FS2RDF-negative-property-assertion-ar
• FS2RDF-ontology-annotation-annotation-ar
• FS2RDF-property-attributes-ar
• FS2RDF-propertychain-2-annotated-ar
• FS2RDF-propertychain-2-ar
• FS2RDF-same-individual-2-annotation-ar
• FS2RDF-same-individual-3-annotation-ar

Tests Missing Species Assertions

The test cases listed in the following list are missing a DL assertion.

Missing DL List

Produced from the 2009-06-10 test export

0 test cases matched filter:

Tests Missing Profile Assertions

The test cases listed in the following table are asserted to be syntactically DL, but are missing one or more profile assertions. The OWLAPI profile check results are included in the table.

Missing Profile Table

Produced from 2009-06-29 test export

Test	EL		QL		RL
	Asserted	OWLAPI	Asserted	OWLAPI	Asserted	OWLAPI
Contradicting datatype Restrictions	?	?(Parse error)	?	?(Parse error)	?	?(Parse error)
WebOnt-backwardCompatibleWith-001	?	y	?	y	?	y
WebOnt-imports-011	?	y	?	y	?	y
WebOnt-imports-012	?	y	?	y	?	y
consistent-dataproperty-disjointness	?	?(Parse error)	?	?(Parse error)	?	?(Parse error)
datatype-restriction-min-max-inconsistency	?	?(Parse error)	?	?(Parse error)	?	?(Parse error)

Cases Needing Some Eyeballs

Datatypes

• WebOnt-miscellaneous-204
• WebOnt-miscellaneous-205

Entailment Definition

• WebOnt-Class-005: See thread

Annotations

• WebOnt-I4.6-005: Are comments acceptable in conclusion ontology? Does this hold under both DL and RDF Semantics?

Parsing Corner Cases

• WebOnt-I5.5-006: Parsing of cyclic list (see related comment email).
• WebOnt-disjointWith-010: unary disjoint classes
• WebOnt-imports-012

General (Misleading / Intent)

• WebOnt-I5.26-010: There is only a declaration axiom in the conclusion ontology.
• WebOnt-I5.5-005: There is only a declaration axiom in the conclusion ontology.

Ontology Typing Triples

• WebOnt-backwardCompatibleWith-001
• WebOnt-backwardCompatibleWith-002

New Feature Test Cases

F1. Disjoint Union

• New-Feature-DisjointUnion-001 (positive entailment)

F2. Disjoint Classes

F3. Negative Property Assertions

Negative Object Property Assertions

• New-Feature-NegativeObjectPropertyAssertion-001 (inconsistency)

Negative Data Property Assertions

• New-Feature-NegativeDataPropertyAssertion-001 (inconsistency)

F4. Self Restriction

• New-Feature-SelfRestriction-001 (positive entailment)
• New-Feature-SelfRestriction-002 (positive entailment)

F5. Qualified Cardinality Restrictions

Object Property Cardinality Restrictions

• New-Feature-ObjectQCR-001 (min cardinality, positive entailment)
• New-Feature-ObjectQCR-002 (max cardinality, positive entailment)

Data Property Cardinality Restrictions

• New-Feature-DataQCR-001 (min cardinality, positive entailment)

F6.

F6.1 Reflexive Properties

• New-Feature-ReflexiveProperty-001 (positive entailment)

F6.2 Irreflexive Properties

• New-Feature-IrreflexiveProperty-001 (inconsistency)

F6.3 Asymmetric Properties

• New-Feature-AsymmetricProperty-001 (inconsistency)

F7. Disjoint Properties

Disjoint Object Properties

• New-Feature-DisjointObjectProperties-001 (positive entailment, binary disjoint)

Disjoint Data Properties

• New-Feature-DisjointDataProperties-001 (inconsistency, binary disjoint)

F8. Property chain inclusion

• New-Feature-ObjectPropertyChain-001 (positive entailment)

F9. Keys

• New-Feature-Keys-001
• New-Feature-Keys-002
• New-Feature-Keys-003
• New-Feature-Keys-004
• New-Feature-Keys-005
• New-Feature-Keys-006
• New-Feature-Keys-007

F10. Unary Datatype

F11. N-ary Datatype

F12. Punning

F13. Annotation

F14. Declarations

F15. Profiles

Test Cases Changed Since WebOnt

• WebOnt-AnnotationProperty-004: Full->DL
• WebOnt-backwardCompatibleWith-001: DL->Full (single ontology typing triple)
• WebOnt-imports-012: DL->Full (single ontology typing triple)

Rejected

• WebOnt-miscellaneous-205: rdf:XMLLiteral not optional
• WebOnt-AnnotationProperty-001

Punning

• WebOnt-I4.6-003
• WebOnt-I4.6-004
• WebOnt-I5.3-010: Class/instance punning causes the causes a named individual to be in the model, but DL constraints are not violated.
• WebOnt-sameAs-001

Structure Sharing in RDF

• WebOnt-I5.26-001
• WebOnt-I5.26-002
• WebOnt-I5.26-003
• WebOnt-I5.26-004
• WebOnt-I5.26-005
• WebOnt-Restriction-002
• WebOnt-Restriction-003

Implicit Property Typing

Some unary property axioms imply object property declarations, changing these tests to DL.

• WebOnt-InverseFunctionalProperty-001

Individual Typing Not Required

• WebOnt-differentFrom-001
• WebOnt-maxCardinality-001
• WebOnt-oneOf-001

Cycles in disjointWith

• WebOnt-disjointWith-004: was Full, now DL
• WebOnt-disjointWith-006
• WebOnt-disjointWith-008
• WebOnt-disjointWith-010

Imports Handling

• WebOnt-imports-013: missing ontology typing triple makes it an include

Test Cases Showing Semantic Differences

Direct Semantics	RDF Semantics
WebOnt-AnnotationProperty-001	WebOnt-AnnotationProperty-002
WebOnt-I4.6-005-Direct	WebOnt-I4.6-005
WebOnt-Thing-004	WebOnt-Thing-005
WebOnt-equivalentClasses-008-Direct	WebOnt-equivalentClasses-008
WebOnt-miscellaneous-302-Direct	WebOnt-miscellaneous-302
?	WebOnt-I4.6-003

Test Cases That Were "Extra Credit"

The following test cases were "extra credit" in WebOnt. This status has been removed and these test cases will be approved or rejected in OWL WG.

Description Logic

• WebOnt-description-logic-501
• WebOnt-description-logic-502
• WebOnt-description-logic-905
• WebOnt-description-logic-906
• WebOnt-description-logic-907
• WebOnt-description-logic-910

WebOnt Issues

• WebOnt-I4.6-004
• WebOnt-I5.1-010
• WebOnt-I5.26-001
• WebOnt-I5.26-002
• WebOnt-I5.26-003
• WebOnt-I5.26-004
• WebOnt-I5.26-005
• WebOnt-I5.26-006
• WebOnt-I5.26-007
• WebOnt-I5.3-005
• WebOnt-I5.3-007
• WebOnt-I5.3-009
• WebOnt-I5.3-010
• WebOnt-I5.5-006
• WebOnt-I5.5-007
• WebOnt-I5.8-001
• WebOnt-I5.8-003
• WebOnt-I5.8-004
• WebOnt-I5.8-006
• WebOnt-I5.8-008
• WebOnt-I5.8-009
• WebOnt-I5.8-010
• WebOnt-I5.8-014
• WebOnt-I5.8-016
• WebOnt-I6.1-001