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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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