Formalization of RDF/OWL Semantics based on Denotational Semantics

Abstract

Suggested by Ramified Types by Bertrand Russell in his famous book "Principia Mathematica", we previously proposed the meta-modeling criteria in OWL Full descriptions in order to enable meta-modeling in RDF/OWL, but we did not address the formulation of RDF/OWL semantics yet according to the criteria. In this paper, we have introduced the orders of classes into RDF/OWL semantics and then re-formulated the RDF semantics and OWL semiFull semantics, which inhibits OWL inference on properties as resources. Thus, the ambiguous wording "punning" by W3C is fixed on the ground of meta-modeling theory by Ramified Types and it helps us to deeply understand the semantics and the mechanism of RDF/OWL systems that allow us ontological meta-modeling.