Vilas Wuwongse

Topic

Reasoning about RDF Elements

Abstract

This paper proposes a theoretical framework for reasoning about RDF elements by employment of the theory of Declarative Programs. With reasoning capability, rules can be defined in order to explicitly and formally state semantic relationships between RDF elements, which will enable inference or derivation of new RDF elements from existing ones. Hence, in addition to computation by pattern matching, the proposed framework can formulate and handle complicated computations with RDF elements. Application of this framework to Web-based resource discovery problems is presented with an example.