DatatypeRestriction

From OWL Test Cases

Jump to:navigation, search

The syntactic element DatatypeRestriction belongs to the functional style serialization of OWL 2.

Tests using this feature

This section lists test that are using this feature (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.

There are 7 approved test cases that currently use this feature:

author description
Consistent-dataproperty-disjointness Birte Glimm 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 Birte Glimm The datatype restrictions leave exactly one dateTime value as dp filler for the individual a, so the ontology is consistent.
Contradicting-datatype-restrictions Birte Glimm 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 Birte Glimm 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.
Datatype-Float-Discrete-001 Mike Smith The value space of xsd:float is discrete, shown with range defined on 0x00000000 and 0x00000001
… further results


There are 2 proposed test cases that currently use this feature:

author description
Inconsistent-pattern-disjointness Birte Glimm The data properties dp1 and dp2 are disjoint. The strings ab and ac are dp1 fillers for the individual a and can, thus, not be used as dp2 fillers for a. The pattern a(b|c), however, admits only ab and ac as values, which makes the ontology inconsistent.
Qualified-cardinality-restricted-int Evren Sirin The cardinality restriction states there are exactly 3 dp values where the allowed values should be greater than or equal to 1 and less then or equal to 3. Obviously there are only 3 such values so we can conclude that the individual a should have dp values 1, 2, and 3.


No newly submitted test cases currently use this feature.

Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox