From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 20     Next        (20 | 50 | 100)
author description syntax species semantics I C P N
Chain2trans Bijan Parsia A role chain can be a synonym for transitivity. Test:RDFXML Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 0 1X 0
Datatype-Float-Discrete-002 Mike Smith The value space of owl:real is continuous, in contrast with xsd:float Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
Disjoint Props via Disjoint Domains Sebastian Rudolph Two properties having disjoint domains are necessarily disjoint themselves. Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 0 1X 0
Disjoint Props via Disjoint Ranges Sebastian Rudolph Two properties having disjoint domains are necessarily disjoint themselves. Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
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 Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
1X 0 0 0
FS2RDF-different-individuals-2-annotation-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 2 argument DifferentIndividuals with annotation Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-different-individuals-2-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 2 argument DifferentIndividuals Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-different-individuals-3-annotation-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 3 argument DifferentIndividuals with annotation Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
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 Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-disjoint-classes-2-annotation-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 2 argument DisjointClasses with annotation Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-disjoint-classes-2-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 2 argument DisjointClasses Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-disjoint-classes-3-annotation-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 3 argument DisjointClasses with annotation Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-disjoint-classes-3-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 3 argument DisjointClasses Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-domain-range-simple-ar Alan Ruttenberg Functional syntax to RDFXML for simple domain and range Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-equivalent-classes-2-annotation-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 2 argument EquivalentClasses with an annotation on the axiom Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-equivalent-classes-2-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 2 argument EquivalentClasses Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-equivalent-classes-3-annotation-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 3 argument EquivalentClasses with an annotation on the axiom Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-equivalent-classes-3-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology consisting of a 3 argument EquivalentClasses Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
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 Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
FS2RDF-ontology-annotation-annotation-ar Alan Ruttenberg Functional syntax to RDFXML translation of ontology with annotation and annotation on that annotation Test:FUNCTIONAL Test:DL
Test:FULL
Test:DIRECT
Test:RDF-BASED
0 1X 0 0
Previous     Results 1– 20     Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox