Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning

  • Thomas Eiter
  • Giovambattista Ianni
  • Roman Schindlauer
  • Hans Tompits
Conference paper

DOI: 10.1007/11762256_22

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4011)
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

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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Thomas Eiter
    • 1
  • Giovambattista Ianni
    • 1
  • Roman Schindlauer
    • 1
  • Hans Tompits
    • 1
  1. 1.Institut für InformationssystemeTechnische Universität WienViennaAustria

Personalised recommendations