Property:Test case description
From OWL Test Cases
This property specifies a (possibly long) text description of an OWL test case. It thus corresponds to the property test:description (Test case ontology).
(previous 25) (next 25)
Pages using the property "Test case description"
Showing 25 pages using this property.
B | |
|---|---|
| Bnode2somevaluesfrom + | Shows that a BNode is an existential variable. |
C | |
| Chain2trans + | A role chain can be a synonym for transitivity. |
| Datatype-restrictions-different-types + | 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. |
| Double-ranges + | The data property dp has a restriction to … 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. double values that fulfil the restriction. |
| Numeric-restrictions-different-type + | 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. |
| Restrictions-different-type + | The individual a must have dp fillers that … The individual a must have dp fillers that are in the sets {3.0 (float), 4 (integer)} and {3.0 (decimal)} (different types are used, but 3.0 has the same value for floats and decimals). Furthermore, the dp filler must be an integer <= 3, but since 3.0 has the same value as 3 the ontology is consistent. ame value as 3 the ontology is consistent. |
| Owlreal-plus-oneOf + | The individual a must have either negative Infinity or 0 (-0 as integer is 0) as dp fillers and all dp successors must be from owl:real, which excludes negative infinity, but allows 0. |
| Consistent-but-all-unsat + | An ontology that is consistent, but all named classes are unsatisfiable. Ideas by Alan Ruttenberg |
| Consistent-dataproperty-disjointness + | The datatype properties dp1 and dp2 are disjoint, but the individual a can have 10 as a filler for dp1 and 18 as filler for dp2, which satisfies the disjointness. |
| Consistent-dateTime + | The datatype restrictions leave exactly one dateTime value as dp filler for the individual a, so the ontology is consistent. |
| Consistent-integer-filler + | The individual a is in the extension of the class A, which implies that it has a hasAge filler of 18 as integer, which is consistent with the all values from integer assertion for a. |
| Contradicting-datatype-restrictions + | The individual a is in A and thus must have a dp filler that is an integer >= 4. Furthermore the dp fillers must be in the set {3, 4} and in the set {2, 3}. Although 3 is in both sets, 3 is not >= 4, which causes the inconsistency. |
| Contradicting-dateTime-restrictions + | The individual a must have a dp filler that is a date from 2007, but the restrictions on dp allow only values from 2008, which makes the ontology inconsistent. |
D | |
| Datatype-DataComplementOf-001 + | Demonstrates that the complement of a datatype contains literals from other datatypes. |
| Datatype-Float-Discrete-001 + | The value space of xsd:float is discrete, shown with range defined on 0x00000000 and 0x00000001 |
| Datatype-Float-Discrete-002 + | The value space of owl:real is continuous, in contrast with xsd:float |
| Datatype-restriction-min-max-inconsistency + | The individual a is supposed to have an integer dp-successor >= 18, but all dp-successors must be <= 10, which is impossible. |
| Different-types-plus-complement + | 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), but at the same time 3 is not allowed as a dp filler for a, which causes the inconsistency. |
| Different-types + | The individual a must have dp fillers that … The individual a must have dp fillers that are in the sets {3.0 (double), 4 (integer)} and {2 (integer, 3.0 (decimal)}. The value 3 is the only one that fulfils these constraints, but since a must also have a dp filler that is not 3, the ontology is inconsistent. at is not 3, the ontology is inconsistent. |
| Direct Semantics Literal disjoint from Thing + | A test demonstrating that literals are dis … A test demonstrating that literals are disjoint from Thing in the direct semantics. See thread at http://lists.w3.org/Archives/Public/semantic-web/2010Oct/0116.html. The following ontology, which is consistent according to the Direct Semantics, demonstrates that literals are not OWL things. In it, owl:Thing is an enumerated class containing at most 2 individuals. One of those individuals has three data property literal values 42,43,44 ^xsd:integer. If the literals were instance of owl:Thing, this ontology would be inconsistent as there can be only two distinct members of owl:Thing, but there are three distinct literals. On the date this test was entered, Pellet and Fact+ correctly determined that the ontology is consistent and Hermit acknowledged that while it found the ontology inconsistent, this was a bug. the ontology inconsistent, this was a bug. |
| Disjoint Props via Disjoint Domains + | Two properties having disjoint domains are necessarily disjoint themselves. |
| Disjoint Props via Disjoint Ranges + | Two properties having disjoint domains are necessarily disjoint themselves. |
| DisjointClasses-001 + | Demonstrates a binary disjoint classes axiom based on example in the Structural Specification and Functional-Style Syntax document. |
| DisjointClasses-002 + | Demonstrates a binary disjoint classes axiom and class assertions causing an inconsistency based on example in the Structural Specification and Functional-Style Syntax document. |
| DisjointClasses-003 + | A modification of test DisjointClasses-001 to demonstrate a ternary disjoint classes axiom. |
