|
Knowledge Systems Laboratory
Stanford University
|
Abstract: "An Axiomatic Semantics for RDF, RDF Schema, and DAML-ONT"
Richard Fikes and
Deborah L. McGuinness.
``An Axiomatic Semantics for RDF, RDF Schema, and DAML-ONT''
KSL Technical Report (number forthcoming), 2001.
This document provides an axiomatization for the Resource Description Framework (RDF), RDF Schema, and DAML-ONT by specifying a mapping of a set of descriptions in any one of these languages into a logical theory expressed in first-order predicate calculus. The basic claim of this paper is that the logical theory produced by the mapping specified herein of a set of such descriptions is logically equivalent to the intended meaning of that set of descriptions.
The mapping consists of a simple rule for translating
RDF
statements into first-order relational sentences and a set of first-order logic
axioms that restrict the allowable interpretations of the non-logical
symbols (i.e., relations, functions, and constants) in each language.
Since
RDF Schema
and
DAML-ONT
are both vocabularies of non-logical symbols added to RDF, the translation of
RDF statements is sufficient for translating RDF Schema and DAML-ONT as well.
The axioms are written in ANSI Knowledge Interchange Format (
KIF)), which is a proposed ANSI standard.
The full paper is available in
word,
html,
and
text forms.
Return to
Selected Papers of Deborah L. McGuinness.
