From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 20     Next        (20 | 50 | 100)
author description syntax I C P N
Chain2trans Bijan Parsia A role chain can be a synonym for transitivity. Test:RDFXML 0 0 1X 0
DisjointClasses-002 Mike Smith Demonstrates a binary disjoint classes axiom and class assertions causing an inconsistency based on example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
FS2RDF-different-individuals-2-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 2 argument DifferentIndividuals Test:FUNCTIONAL 0 1X 0 0
FS2RDF-different-individuals-3-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 3 argument DifferentIndividuals Test:FUNCTIONAL 0 1X 0 0
FS2RDF-no-builtin-prefixes-ar Alan Ruttenberg Functional syntax to RDFXML checking that there aren't builtin prefixes for xsd, rdf, rdfs, owl Test:FUNCTIONAL 0 1X 0 0
FS2RDF-same-individual-2-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 2 argument SameIndividual Test:FUNCTIONAL 0 1X 0 0
New-Feature-AnnotationAnnotations-001 Mike Smith Demonstrates annotation of an annotation. Adapted from an example in the Mapping to RDF Graphs document. Test:FUNCTIONAL 0 1X 0 0
New-Feature-AxiomAnnotations-001 Mike Smith Demonstrates axiom annotation based on an example in the Mapping to RDF Graphs document. The axiom being annotated here generates a main triple when mapped to RDF. Test:FUNCTIONAL 0 1X 0 0
New-Feature-BottomDataProperty-001 Mike Smith Demonstrates use of the bottom data property to create an inconsistency. Test:FUNCTIONAL 1X 0 0 0
New-Feature-BottomObjectProperty-001 Mike Smith Demonstrates use of the bottom object property to create an inconsistency. Test:FUNCTIONAL 1X 0 0 0
New-Feature-Keys-001 Mike Smith Demonstrates use of a key axiom to merge individuals based on an example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 0 0 1X 0
New-Feature-Keys-002 Mike Smith Demonstrates use of a key axiom to cause a trivial inconsistency based on an example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
New-Feature-Keys-003 Mike Smith Demonstrates use of a "localized" key axiom to merge individuals based on an example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 0 0 1X 0
New-Feature-Keys-004 Mike Smith Demonstrates that use of a "localized" key axiom only merges individuals that are instances of the given class expression. Based on an example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 0 0 0 1X
New-Feature-Keys-005 Mike Smith Demonstrates that a key axiom does not make all properties used in it functional. Based on an example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 0 1X 0 0
New-Feature-Keys-006 Mike Smith Demonstrates that a key axiom does not make all properties used in it functional, but these properties may be made functional with other axioms. Based on an example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
New-Feature-Keys-007 Mike Smith Demonstrates that a key axiom only applies to named individuals. Based on an example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 0 0 0 1X
New-Feature-NegativeDataPropertyAssertion-001 Mike Smith Demonstrates use of a negative data property assertion to create a trivial inconsistency based on an example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
New-Feature-NegativeObjectPropertyAssertion-001 Mike Smith Demonstrates use of a negative object property assertion to create a trivial inconsistency based on an example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 1X 0 0 0
New-Feature-ObjectPropertyChain-001 Mike Smith Demonstrates an object property chain in a subproperty axiom based on the example in the Structural Specification and Functional-Style Syntax document. Test:FUNCTIONAL 0 0 1X 0
Previous     Results 1– 20     Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox