Abstract

In this document, then, for each of the languages RDF, RDF Schema, and OWL I will first lay out its basic syntax – its basic lexicon and reserved vocabulary, and its grammar – and its basic formal model theory, comporting as closely as possible with the syntactic and semantic specifications of these languages provided by the appropriate W3C documents. Then I will provide a mapping of each language into the Common Logic (CL) framework; specifically, I will “embed” the intended semantics of each language into CL in the form of a logical theory, i.e., a set of axioms whose interpretations should (provably) correspond in a meaning-preserving way to the intended interpretations of the source languages relative to their semantics.