DataOneOf

From OWL Test Cases

Jump to:navigation, search

The syntactic element DataOneOf 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 10 approved test cases that currently use this feature:

author description
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.
Owlreal-plus-oneOf Birte Glimm 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.
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.
Different-types-plus-complement 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), but at the same time 3 is not allowed as a dp filler for a, which causes the inconsistency.
Inconsistent-byte-filler Birte Glimm The individual a must have the integer 6542145 as dp filler, but all fillers must also be bytes. Since 6542145 is not byte, the ontology is inconsistent.
… further results


No proposed test cases currently use this feature.

No newly submitted test cases currently use this feature.

Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox