- From: Reinhold Klapsing <Reinhold.Klapsing@uni-essen.de>
- Date: Sat, 26 Aug 2000 12:39:32 +0200
- To:www-rdf-interest@w3.org
- Message-ID: <39A79E64.FAD8CDE6@uni-essen.de>
In order to capture the precise meaning of RDF we tried to expressthe concepts and constraints of the RDF model in first-order logic (FOL).The discussion paper: "A Logical Interpretation of RDF" Wolfram Conenand Reinhold Klapsing can be accessed at:http://nestroy.wi-inf.uni-essen.de/rdf/logical_interpretation.ps(Postscript-Format)http://nestroy.wi-inf.uni-essen.de/rdf/logical_interpretation.pdf(PDF-Format)http://nestroy.wi-inf.uni-essen.de/rdf/logical_interpretation/index.html(HTML-Format)and contains the facts and rules we found. A SiLRI-conform datalogformulation of the rules and facts is also contained. Our approach tries to separate clearly between the level ofrepresentation (triples) and the level of knowledge (instanceOf,Resource, statements, predicates to express constraint violationsetc.), avoids asserting negated facts, and discusses a way to utilizethe rules in applications. A summary of motivation and key aspects is included on the titlepage of the paper. We really invite interested readers to have a lookat it and to send us their comments.With the hope for lively discussions, Reinhold and WolframAbstract:The Resource Description Framework (RDF) is intended to be used tocapture and express the conceptual structure of information offered inthe Web. Interoperability is considered to be an important enabler offuture web applications. While XML supports syntactic interoperability, RDF is aimed at semantic interoperability. Interoperability is only given if different users/agents interpret an RDF data model in the sameway. Important aspects of the RDF model are, however, expressed in prosewhich may lead to misunderstandings. To avoid this, capturing the intendedsemantics of RDF in first-order logic might be a valuable contribution andmay provide RDF with a formalization allowing its full exploitation as akey ingredient of the evolving semantic Web. This paper tries to expressthe concepts and constraints of the RDF model in first-order logic.
Received on Saturday, 26 August 2000 06:28:07 UTC