From OWL Test Cases

Jump to:navigation, search

The syntactic element DataPropertyAssertion 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 17 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.
Datatype-DataComplementOf-001 Mike Smith Demonstrates that the complement of a datatype contains literals from other datatypes.
Inconsistent-disjoint-dataproperties Birte Glimm The data properties dp1 and dp2 are disjoint, but the individual a must have 10 as dp1 filler and 10 as dp2 filler (since 10 is the only integer satisfying >= 10 and <= 10), which causes the inconsistency.
Minus-inf-not-owlreal 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. Since 0 is excluded by the negative property assertion, the ontology is inconsistent.
New-Feature-DataQCR-001 Mike Smith Demonstrates a qualified minimum cardinality data property restriction based on example in the Structural Specification and Functional-Style Syntax document.
… 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.

There are 2 newly submitted test cases that currently use this feature:

author description
Direct Semantics Literal disjoint from Thing Alan Ruttenberg A test demonstrating that literals are disjoint from Thing in the direct semantics. See thread at 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.
FS2RDF-negative-property-assertion-ar Alan Ruttenberg Functional syntax to RDFXML for negative property assertions, some with annotations and annotations on their annotations
OWL 2 Informative
OWL 2 Normative