Test:FULL

From OWL Test Cases

This page represents the OWL species OWL 2 Full of test cases, and thus it corresponds to the element test:FULL (Test case ontology). Together with Test:DL it is one of the possible values of the properties test case species.

[edit] Test cases in the OWL FULL species

All proper test cases should appear here. However, it is possible to enter test cases without specifying whether they belong to OWL DL or OWL Full, and those incomplete tests are excluded here. (refresh view)info.pngQuery results are cached with wiki pages for some time, even if the data changes. This link purges a page's cache to get the most recent results.

	author	description	QL	EL	RL	I	C	P	N
Bnode2somevaluesfrom	Bijan Parsia	Shows that a BNode is an existential variable.	0-	0-	0-	0	0	1X	0
Chain2trans	Bijan Parsia	A role chain can be a synonym for transitivity.	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.	0-	0-	0-	0	1X	0	0
Double-ranges	Birte Glimm	The data property dp has a restriction to doubles >= 5 (given as byte) and <= 7.2 (given as float) and a restriction to decimals >= 6.0 (given as float) and <= 6.8. The individual a is required to have a dp successor, but there are several double values that fulfil the restriction.	0-	0-	0-	0	1X	0	0
Numeric-restrictions-different-type	Birte Glimm	The data property dp has a restriction to bytes >= 5 (4.5 needs to be rounded up) and <= 7 and a restriction to decimals >= 6.0 and <= 6.8. The individual a is required to have a dp successor, but 6 is a value that fulfils both restrictions.	0-	0-	0-	0	1X	0	0
… further results