From OWL Test Cases
[Edit query] | Show embed code
| 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-001 | Mike Smith | Demonstrates a binary disjoint classes axiom based on example in the Structural Specification and Functional-Style Syntax document. | Test:FUNCTIONAL | 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 |
| DisjointClasses-003 | Mike Smith | A modification of test DisjointClasses-001 to demonstrate a ternary disjoint classes axiom. | Test:FUNCTIONAL | 0 | 0 | 1X | 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 |
| Functionality-clash | Birte Glimm | The property hasAge is functional, but the individual a has two distinct hasAge fillers. | Test:FUNCTIONAL | 1X | 0 | 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-AsymmetricProperty-001 | Mike Smith | Demonstrates use of an asymmetric object property axiom to cause a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document. | Test:FUNCTIONAL | 1X | 0 | 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-DisjointDataProperties-001 | Mike Smith | Demonstrates use of a disjoint data properties axiom to create a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document. | Test:FUNCTIONAL | 1X | 0 | 0 | 0 |
| New-Feature-DisjointDataProperties-002 | Mike Smith | Demonstrates use of a ternary disjoint data properties axiom to infer different individuals. Adapted from test New-Feature-DisjointDataProperties-001. | Test:FUNCTIONAL | 0 | 0 | 1X | 0 |
| New-Feature-DisjointObjectProperties-001 | Mike Smith | Demonstrates use of a disjoint object properties axiom to infer that two individuals are different based on the example in the Structural Specification and Functional-Style Syntax document. | Test:FUNCTIONAL | 0 | 0 | 1X | 0 |
| New-Feature-DisjointObjectProperties-002 | Mike Smith | A modification of test New-Feature-DisjointObjectProperties-001 to demonstrate a ternary disjoint object properties axiom. | Test:FUNCTIONAL | 0 | 0 | 1X | 0 |
| New-Feature-IrreflexiveProperty-001 | Mike Smith | Demonstrates use of an irreflexive object property axiom to cause a trivial inconsistency based on the 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 |
