A First-Order Logic Semantics for Semantic Web Markup Languages

From Tetherless World Wiki

Jump to: navigation, search

Citation: Richard Fikes and Deborah L. McGuinness and Richard J. Waldinger. (2002) A First-Order Logic Semantics for Semantic Web Markup Languages. In , January,2002.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Richard Fikes and Deborah L. McGuinness and Richard J. Waldinger
title A First-Order Logic Semantics for Semantic Web Markup Languages
number KSL-02-01
institution Knowledge Systems, AI Laboratory
address Stanford, CA, USA
year 2002
month January
Bibtex more
Access Paper
abstract We present a case study in providing a declarative semantics for three semantic markup languages being developed as ontology representation languages for the Semantic Web by specifying for each language an equivalence-preserving translation into first-order logic (FOL). The translation includes for each language a set of axioms that are included in the resulting FOL theories and that thereby constrain the possible interpretations of those theories. An important advantage of this form of semantics specification is that the axioms can be tested for logical inconsistencies or redundancies, and for whether they entail intended consequences. We describe such tests that we have made on these axioms using existing FOL reasoners. Also, we include a set of theorems that express intended consequences of the axioms and that a FOL reasoner can use to facilitate finding inconsistencies in and answering queries from Semantic Web ontologies.

KSL Technical Report ID: KSL-02-01
Facts about A First-Order Logic Semantics for Semantic Web Markup LanguagesRDF feed
Abstract We present a case study in providing a dec … We present a case study in providing a declarative semantics for three semantic markup languages being developed as ontology representation languages for the Semantic Web by specifying for each language an equivalence-preserving translation into first-order logic (FOL). The translation includes for each language a set of axioms that are included in the resulting FOL theories and that thereby constrain the possible interpretations of those theories. An important advantage of this form of semantics specification is that the axioms can be tested for logical inconsistencies or redundancies, and for whether they entail intended consequences. We describe such tests that we have made on these axioms using existing FOL reasoners. Also, we include a set of theorems that express intended consequences of the axioms and that a FOL reasoner can use to facilitate finding inconsistencies in and answering queries from Semantic Web ontologies. ring queries from Semantic Web ontologies.
Address Stanford, CA, USA  +
Author Richard Fikes and Deborah L. McGuinness and Richard J. Waldinger  +
Bibtype techreport  +
Has author Richard Fikes and Deborah L. McGuinness and Richard J. Waldinger  +
Has identifier KSL-02-01  +
Has publishing details January,2002  +
Has title A First-Order Logic Semantics for Semantic Web Markup Languages  +
Has year 2002  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-02-01  +
Month January  +
Number KSL-02-01  +
Process note NO  +
Title A First-Order Logic Semantics for Semantic Web Markup Languages  +
Year 2002  +
Retrieved from "http://tw.rpi.edu/wiki/A_First-Order_Logic_Semantics_for_Semantic_Web_Markup_Languages"
Personal tools