Test:RDF-BASED

From OWL Test Cases

Jump to:navigation, search

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
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox