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
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
Footnote-not-about-self	Alan Ruttenberg	Test checking of local irreflexivity	Test:DL Test:FULL	0-	0-	0-	1X	0	0	0
New-Feature-ObjectPropertyChain-BJP-003	Bijan Parsia	A simple test of role chains and role hierarchy.	Test:DL Test:FULL	0-	1EL	1RL	0	0	1X	0
New-Feature-ObjectPropertyChain-BJP-004	Bijan Parsia	A test of an interaction between a role chain +hierarchy and transitivity axioms.	Test:DL Test:FULL	0-	1EL	1RL	0	0	0	1X
One equals two	Alan Ruttenberg	Start with 3 classes, a,b,c and relate them so instances have to be in a 1:1 relationship with each other. The class b-and-c is the union of b and c. Therefore there have to be 2 instances of b-and-c for every instance of a. Relate the class 2a to b-and-c so that *their* instances are in 1:1 relationship. Now relate 2a to a so that *their* instances are in a 1:1 relationship. This should lead to a situation in which every instance of 2a is 1:1 with an instance of a, and at the same time 2:1 with an instance of a. Unless all the classes have an infinite number of members or are empty this doesn't work. This example has a is the enumerated class {i,j,k} (i,j,k all different individuals). So it should be inconsistent.	Test:DL Test:FULL	0-	0-	0-	1X	0	0	0
Owl2-rl-anonymous-individual	Zhe Wu	OWL 2 RL allows anonymous individual.	Test:DL Test:FULL	0-	0-	1RL	0	1X	0	0
Owl2-rl-invalid-leftside-allvaluesfrom	Zhe Wu	OWL 2 RL does not allow left side allValuesFrom in a subClassOf axiom.	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Owl2-rl-invalid-leftside-maxcard	Zhe Wu	Invalid OWL 2 RL due to maxCardinality usage.	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Owl2-rl-invalid-oneof	Zhe Wu	OWL 2 RL does not permit owl:oneOf to define a named class (it can be used as a subclass expression).	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Owl2-rl-invalid-owlreal	Zhe Wu	Invalid OWL 2 RL because owl:real is used.	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Owl2-rl-invalid-rightside-somevaluesfrom	Zhe Wu	This is not a valid OWL 2 RL because someValuesFrom shows up on the right hand side of a SubClassOf axiom.	Test:DL Test:FULL	1QL	1EL	0-	0	1X	0	0
Owl2-rl-invalid-rightside-unionof	Zhe Wu	Incorrect OWL 2 RL syntax. unionOf shows up at the right hand side of a SubClassOf axiom.	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Owl2-rl-invalid-unionof	Zhe Wu	OWL 2 RL does not allow owl:unionOf to define a named class (it can be used as a subclass expression).	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Owl2-rl-rules-fp-differentFrom	Zhe Wu	This test checks the interaction between an OWL functional property and differentFrom assertions.	Test:DL Test:FULL	0-	0-	1RL	0	0	1X	0
Owl2-rl-rules-ifp-askey	Zhe Wu	Use inverse functional property as key.	Test:FULL	0-	0-	0-	0	0	1X	0
Owl2-rl-rules-ifp-differentFrom	Zhe Wu	This test checks the interaction between inverse functional property and differentFrom assertions.	Test:DL Test:FULL	0-	0-	1RL	0	0	1X	0
Owl2-rl-invalid-mincard	Zhe Wu	OWL 2 RL does not allow min cardinality	Test:DL Test:FULL	0-	0-	0-	0	1X	0	0
Owl2-rl-valid-oneof	Zhe Wu	A valid usage of oneOf in OWL 2 RL	Test:DL Test:FULL	0-	0-	1RL	0	1X	0	0