From OWL Test Cases

[Edit query] | Show embed codeHide embed code

	author	description	species	QL	EL	RL	I	C	P	N
Bnode2somevaluesfrom	Bijan Parsia	Shows that a BNode is an existential variable.	Test:DL Test:FULL	0-	0-	0-	0	0	1X	0
Chain2trans	Bijan Parsia	A role chain can be a synonym for transitivity.	Test:DL Test:FULL	0-	1EL	1RL	0	0	1X	0
Datatype-restrictions-different-types	Birte Glimm	The individual a must have dp fillers that are in the sets {3, 4} and {2, 3} (different types are used, but shorts and ints are integers). Furthermore, the dp filler must be 3, but since 3 is in both sets, the ontology is consistent.	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Owlreal-plus-oneOf	Birte Glimm	The individual a must have either negative Infinity or 0 (-0 as integer is 0) as dp fillers and all dp successors must be from owl:real, which excludes negative infinity, but allows 0.	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Consistent-but-all-unsat	Uli Sattler	An ontology that is consistent, but all named classes are unsatisfiable. Ideas by Alan Ruttenberg	Test:DL Test:FULL	0-	0-	0-	0	0	1X	0
Consistent-dataproperty-disjointness	Birte Glimm	The datatype properties dp1 and dp2 are disjoint, but the individual a can have 10 as a filler for dp1 and 18 as filler for dp2, which satisfies the disjointness.	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Consistent-dateTime	Birte Glimm	The datatype restrictions leave exactly one dateTime value as dp filler for the individual a, so the ontology is consistent.	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Consistent-integer-filler	Birte Glimm	The individual a is in the extension of the class A, which implies that it has a hasAge filler of 18 as integer, which is consistent with the all values from integer assertion for a.	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Contradicting-datatype-restrictions	Birte Glimm	The individual a is in A and thus must have a dp filler that is an integer >= 4. Furthermore the dp fillers must be in the set {3, 4} and in the set {2, 3}. Although 3 is in both sets, 3 is not >= 4, which causes the inconsistency.	Test:DL Test:FULL	0-	0-	0-	1X	0	0	0
Contradicting-dateTime-restrictions	Birte Glimm	The individual a must have a dp filler that is a date from 2007, but the restrictions on dp allow only values from 2008, which makes the ontology inconsistent.	Test:DL Test:FULL	0-	0-	0-	1X	0	0	0
Datatype-DataComplementOf-001	Mike Smith	Demonstrates that the complement of a datatype contains literals from other datatypes.	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Datatype-Float-Discrete-001	Mike Smith	The value space of xsd:float is discrete, shown with range defined on 0x00000000 and 0x00000001	Test:DL Test:FULL	0-	0-	0-	1X	0	0	0
Datatype-restriction-min-max-inconsistency	Birte Glimm	The individual a is supposed to have an integer dp-successor >= 18, but all dp-successors must be <= 10, which is impossible.	Test:DL Test:FULL	0-	0-	0-	1X	0	0	0
Different-types-plus-complement	Birte Glimm	The individual a must have dp fillers that are in the sets {3, 4} and {2, 3} (different types are used, but shorts and ints are integers), but at the same time 3 is not allowed as a dp filler for a, which causes the inconsistency.	Test:DL Test:FULL	0-	0-	0-	1X	0	0	0
DisjointClasses-001	Mike Smith	Demonstrates a binary disjoint classes axiom based on example in the Structural Specification and Functional-Style Syntax document.	Test:DL Test:FULL	0-	0-	1RL	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:DL Test:FULL	1QL	1EL	1RL	1X	0	0	0
DisjointClasses-003	Mike Smith	A modification of test DisjointClasses-001 to demonstrate a ternary disjoint classes axiom.	Test:DL Test:FULL	0-	0-	1RL	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:DL Test:FULL	1QL	1EL	1RL	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:DL Test:FULL	1QL	1EL	1RL	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:DL Test:FULL	0-	1EL	1RL	0	1X	0	0