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-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
Previous     Results 1– 20     Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox