| Title: | A Logical Interpretation of RDF. |
| Authors: | Wolfram Conen and Reinhold Klapsing |
| Series: | Linköping Electronic Articles in Computer and Information Science ISSN 1401-9841 |
| Issue: | Vol. 5 (2000): nr 013 |
| URL: | http://www.ep.liu.se/ea/cis/2000/013/ |
| Abstract: | The Resource Description Framework (RDF) is intended to be used to capture and express the conceptual structure of information offered in the Web. Interoperability is considered to be an important enabler of future 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 same way. Important aspects of the RDF model are, however, expressed in prose which may lead to misunderstandings. To avoid this, capturing the intended semantics of RDF in first-order logic might be a valuable contribution and may provide RDF with a formalization allowing its full exploitation as a key ingredient of the evolving Semantic Web. This paper seeks to express the concepts and constraints of the RDF model in first-order logic. |
|---|---|
| Keywords: |
| First posting 2000-10-27 | In ETAI Area of the Semantic Web |
|---|---|
|
Original publication 2000-12-21 |
Postscript part I --
Checksum Postscript part II -- Checksum II |
| Info from authors | |
| Third-party information |
This article was first posted on the Internet as specified under "First posting", and appeared on the E-press server on the date specified under "Original publication".
|
Editor-in-chief: editor@ep.liu.se Webmaster: webmaster@ep.liu.se |