Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning
- Cite this paper as:
- Eiter T., Ianni G., Schindlauer R., Tompits H. (2006) Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. In: Sure Y., Domingue J. (eds) The Semantic Web: Research and Applications. ESWC 2006. Lecture Notes in Computer Science, vol 4011. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.