OBSOLETE: THERE IS NO TYPED VOCABULARY ANYMORE
The OWL 2 Full semantics of Property Characteristics 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 Property characteristics. The effected axioms are those for functional properties.