Semantic Web Dog Food

Presented at: 3rd European Semantic Web Conference (ESWC2006)

by Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits

Towards providing a suitable tool for building the Rule Layer of the Semantic Web, hex-programs have been introduced as a special kind of logic programs featuring capabilities for higher-order reasoning, interfacing with external sources of computation, and default negation. Their semantics is based on the notion of answer sets, providing a transparent interoperability with the Ontology Layer of the Semantic Web and full declarativity. In this paper, we identify classes of hex-programs feasible for implementation yet keeping the desirable advantages of the full language. A general method for combining and evaluating sub-programs belonging to arbitrary classes is introduced, thus enlarging the variety of programs whose execution is practicable. Implementation activity on the current prototype is also reported.

Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning was presented at this event.

Keywords: Semantic Web Rules and Logic

Resource URI on the dog food server: http://data.semanticweb.org/conference/eswc/2006/paper/eiter-ianni
Same as: http://www.eswc2006.org/full-papers/#eiter-ianni

Explore this resource elsewhere:

• on Snorql
• on Sindice
• on dotAC Explorer