owl:equivalentProperty

From OWL Test Cases

Jump to:navigation, search

The syntactic element owl:equivalentProperty belongs to the RDF/XML 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 12 approved test cases that currently use this feature:

author description
Rdfbased-sem-eqdis-disprop-eqprop Michael Schneider
Kai Mainzer
Two non-empty properties cannot both be equivalent and disjoint.
Rdfbased-sem-eqdis-eqprop-inst Michael Schneider
Kai Mainzer
For two equivalent properties and any triple having one property as its predicate, the corresponding triple having the other property as its predicate also exists, and vice versa.
Rdfbased-sem-eqdis-eqprop-rflxv Michael Schneider
Kai Mainzer
Equivalence of two properties is reflexive.
Rdfbased-sem-eqdis-eqprop-subprop-1 Michael Schneider
Kai Mainzer
Two equivalent properties are sub properties of each other.
Rdfbased-sem-eqdis-eqprop-subprop-2 Michael Schneider
Kai Mainzer
Two properties that are sub properties of each other are equivalent properties.
… further results


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

author description
TestCase:WebOnt-equivalentProperty-005 Jeremy J. Carroll If p and q have the same property extension then p owl:equivalentProperty q.
TestCase:WebOnt-equivalentProperty-006 Jeremy J. Carroll hasLeader may be stated to be the owl:equivalentProperty of hasHead.


No newly submitted test cases currently use this feature.

Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox