From OWL Test Cases

[Edit query] | Show embed codeHide embed code

	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