Test:DIRECT

From OWL Test Cases

Jump to:navigation, search

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

[edit] Test cases for the OWL 2 Direct Semantics

The following test cases for OWL direct 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