An Axiomatic Semantics for RDF, RDF Schema, and DAML+OIL

From Tetherless World Wiki

Jump to: navigation, search

Citation: Richard Fikes and Deborah L. McGuinness. (2001) An Axiomatic Semantics for RDF, RDF Schema, and DAML+OIL. In KSL-01-01, January,2001.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Richard Fikes and Deborah L. McGuinness
title An Axiomatic Semantics for RDF, RDF Schema, and DAML+OIL
number KSL-01-01
institution Knowledge Systems, AI Laboratory
address Stanford, CA, USA
year 2001
month January
Bibtex more
Access Paper
abstract This document provides an axiomatization for the Resource Description Framework (RDF), RDF Schema (RDF-S), and DAML+OIL 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. Providing a means of translating RDF, RDF-S, and DAML+OIL descriptions into a first-order predicate calculus logical theory not only specifies the intended meaning of the descriptions, but also produces a representation of the descriptions from which inferences can automatically be made using traditional automatic theorem provers and problem solvers. For example, the DAML+OIL axioms enable a reasoner to infer from the two statements "Class Male and class Female are disjoint With." and "John is type Male." that the statement "John is type Female." is false. The mapping into predicate calculus 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+OIL are both vocabularies of non-logical symbols added to RDF, the translation of RDF statements is sufficient for translating RDF Schema and DAML+OIL as well. The axioms are written in ANSI Knowledge Interchange Format ( KIF)), which is a proposed ANSI standard.

KSL Technical Report ID: KSL-01-01
Facts about An Axiomatic Semantics for RDF, RDF Schema, and DAML+OILRDF feed
Abstract This document provides an axiomatization f … This document provides an axiomatization for the Resource Description Framework (RDF), RDF Schema (RDF-S), and DAML+OIL 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. Providing a means of translating RDF, RDF-S, and DAML+OIL descriptions into a first-order predicate calculus logical theory not only specifies the intended meaning of the descriptions, but also produces a representation of the descriptions from which inferences can automatically be made using traditional automatic theorem provers and problem solvers. For example, the DAML+OIL axioms enable a reasoner to infer from the two statements "Class Male and class Female are disjoint With." and "John is type Male." that the statement "John is type Female." is false. The mapping into predicate calculus 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+OIL are both vocabularies of non-logical symbols added to RDF, the translation of RDF statements is sufficient for translating RDF Schema and DAML+OIL as well. The axioms are written in ANSI Knowledge Interchange Format ( KIF)), which is a proposed ANSI standard. KIF)), which is a proposed ANSI standard.
Address Stanford, CA, USA  +
Author Richard Fikes and Deborah L. McGuinness  +
Bibtype techreport  +
Has author Richard Fikes and Deborah L. McGuinness  +
Has identifier KSL-01-01  +
Has publishing details January,2001  +
Has title An Axiomatic Semantics for RDF, RDF Schema, and DAML+OIL  +
Has where published KSL-01-01  +
Has year 2001  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-01-01  +
Month January  +
Number KSL-01-01  +
Process note NO  +
Title An Axiomatic Semantics for RDF, RDF Schema, and DAML+OIL  +
Year 2001  +
Retrieved from "http://tw.rpi.edu/wiki/An_Axiomatic_Semantics_for_RDF%2C_RDF_Schema%2C_and_DAML%2BOIL"
Personal tools