KSL-02-01 + redirect page
A First-Order Logic Semantics for Semantic Web Markup Languages + Has identifier
A First-Order Logic Semantics for Semantic Web Markup Languages + Ksl tr id
A First-Order Logic Semantics for Semantic Web Markup Languages + Number
| A First-Order Logic Semantics for Semantic Web Markup Languages |
Bibtype
techreport
Has publishing details
January,2002
Has title
A First-Order Logic Semantics for Semantic Web Markup Languages
Has where published
KSL-02-01
Has year
2002
Title
A First-Order Logic Semantics for Semantic Web Markup Languages
Year
2002
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 +
Has author
Richard Fikes and Deborah L. McGuinness and Richard J. Waldinger +
Has identifier
A First-Order Logic Semantics for Semantic Web Markup Languages +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
A First-Order Logic Semantics for Semantic Web Markup Languages +
Month
January +
Number
A First-Order Logic Semantics for Semantic Web Markup Languages +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
