Taking the RDF Model Theory Out for a Spin

Taking the RDF Model Theory Out for a Spin

Ora Lassila
Nokia Research Center
5 Wayside Road
Burlington MA 01803
USA

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

Abstract

Entailment, as defined by RDF's model-theoretical semantics, is a basicrequirement for processing RDF, and represents the kind of "semanticinteroperability" that RDF-based systems have been anticipated to have torealize 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.