Taking the RDF Model Theory Out for a Spin

Ora Lassila
Nokia Research Center
5 Wayside Road
Burlington MA 01803

First International Semantic Web Conference (ISWC 2002),Sardinia (Italy), June 2002


Entailment, as defined by RDF's model-theoretical semantics, is a basic requirement for processing RDF, and represents the kind of "semantic interoperability" that RDF-based systems have been anticipated to have to realize the vision of the ``Semantic Web''. In this paper we give some resultsin our investigation of a practical implementation of the entailment rules, based on the graph-walking query mechanism of theWilbur RDF toolkit.