rdfs:subPropertyOf

From OWL Test Cases

Jump to:navigation, search

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

author description
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.
Rdfbased-sem-eqdis-eqprop-subst Michael Schneider
Kai Mainzer
Equivalence of two properties allows for substituting one property for the other in a sub property axiom.
Rdfbased-sem-rdfs-subprop-cond Michael Schneider
Kai Mainzer
The extensions of two properties related by rdfs:subPropertyOf are in a subsumption relationship.
Rdfbased-sem-rdfs-subprop-trans Michael Schneider
Kai Mainzer
The property rdfs:subPropertyOf is transitive.
… further results


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

author description
TestCase:WebOnt-I5.3-015 Jeremy J. Carroll This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL.


No newly submitted test cases currently use this feature.

Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox