FullSemanticsDataObjectRdfsAxioms

Goto OWL 2 Full Semantics Page

OBSOLETE: THERE IS NO TYPED VOCABULARY ANYMORE

The OWL 2 Full semantics of RDFS axioms with the new "Object" and "Data" vocabulary.

OWL 2 introduces a kind of "typed vocabulary" for axioms which deal with object and data properties. This page deals with the effects of this new vocabulary on the OWL Full semantics of the RDFS vocabulary. The effected axioms are "subProperty", "equivalentProperty", "domain" and "range" axioms.

Sub Object Property Axioms

Sub Data Property Axioms

Equivalent Object Property Axioms

Equivalent Data Property Axioms

Object Domain Axioms

Data Domain Axioms

Object Range Axioms

Data Range Axioms

Considerations

Goto OWL 2 Full Semantics Page