Test:RDF-BASED

From OWL Test Cases

This page represents the RDF-Based Semantics which may be applicable to test cases, and thus it corresponds to the element test:RDF-BASED (Test case ontology). Together with Test:DIRECT it is one of the possible values of the properties test case semantics.

[edit] Test cases for the OWL 2 RDF-based semantics

The following test cases for OWL RDF-based semantics exist on this site (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