A SiLRI-conform datalog formulation of the rules and facts is also contained. A summary of motivation and key aspects is included on the title page of the paper. We really invite interested readers to have a look at it and to send us their comments.
Interoperability is considered to be an important enabler of future web applications.
While XML supports syntactic interoperability, RDF is aimed at semantic interoperability. 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 tries to express the concepts and constraints of the RDF model in first-order logic.