Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits:
Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning.
Abstract
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.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-072
@inproceedings{REWERSE-RP-2006-072, author = {Thomas Eiter and Giovambattista Ianni and Roman Schindlauer and Hans Tompits}, title = {Effective Integration of Declarative Rules with External Evaluations for Semantic Web Reasoning}, booktitle = {Proceedings of 3rd European Semantic Web Conference, Budva, Montenegro (11th--14th June 2006)}, year = {2006}, volume = {4011}, series = {LNCS}, pages = {273--287}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-072} }