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

  • Thomas Eiter
  • Giovambattista Ianni
  • Roman Schindlauer
  • Hans Tompits
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4011)

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.

References

  1. 1.
    Antoniou, G., Damásio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining Rules and Ontologies. A Survey. Technical Report IST506779/Linkoeping/I3-D3/D/PU/a1, Linköping University (2005)Google Scholar
  2. 2.
    Bonatti, P.A.: Reasoning with Infinite Stable Models. Artificial Intelligence 156(1), 75–111 (2004)CrossRefMathSciNetMATHGoogle Scholar
  3. 3.
    Cabibbo, L.: The Expressive Power of Stratified Logic Programs with Value Invention. Information and Computation 147(1), 22–56 (1998)CrossRefMathSciNetMATHGoogle Scholar
  4. 4.
    Calimeri, F., Ianni, G.: External Sources of Computation for Answer Set Solvers. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS, vol. 3662, pp. 105–118. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10(3), 227–252 (1998)CrossRefGoogle Scholar
  6. 6.
    Eiter, T., Gottlob, G., Veith, H.: Modular Logic Programming and Generalized Quantifiers. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 290–309. Springer, Heidelberg (1997)Google Scholar
  7. 7.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Nonmonotonic Description Logic Programs: Implementation and Experiments. In: Baader, F., Voronkov, A. (eds.) LPAR 2004. LNCS, vol. 3452, pp. 511–527. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-order Reasoning and External Evaluations in Answer Set Programming. In: Proc. IJCAI 2005 (2005)Google Scholar
  9. 9.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In: Proc. WLP 2006, pp. 206–210 (2006)Google Scholar
  10. 10.
    Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Proc. KR 2004, pp. 141–151 (2004)Google Scholar
  11. 11.
    Faber, W., Leone, N., Pfeifer, G.: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 200–212. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  12. 12.
    Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)CrossRefGoogle Scholar
  13. 13.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logics. In: Proc. WWW 2003, pp. 48–57 (2003)Google Scholar
  14. 14.
    Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Nonmonotonic Ontological and Rule-based Reasoning with Extended Conceptual Logic Programs. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 392–407. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Preferential Reasoning on a Web of Trust. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 368–382. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  16. 16.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission (2004)Google Scholar
  17. 17.
    Lifschitz, V., Turner, H.: Splitting a Logic Program. In: Proc. ICLP 1994, pp. 23–38 (1994)Google Scholar
  18. 18.
    Przymusinski, T.: On the Declarative Semantics of Deductive Databases and Logic Programs. In: Foundations of Deductive Databases and Logic Programming, pp. 193–216 (1988)Google Scholar
  19. 19.
    Rosati, R.: Towards Expressive KR Systems Integrating Datalog and Description Logics: Preliminary Report. In: Proceedings DL 1999, pp. 160–164 (1999)Google Scholar
  20. 20.
    Ross, K.A.: Modular Stratification and Magic Sets for Datalog Programs with Negation. J. ACM 41(6), 1216–1266 (1994)CrossRefMATHGoogle Scholar
  21. 21.
    Ross, K.A.: On Negation in HiLog. Journal of Logic Programming 18(1), 27–53 (1994)CrossRefMathSciNetMATHGoogle Scholar
  22. 22.
    Sintek, M., Decker, S.: Triple - a Query, Inference, and Transformation Language for the Semantic Web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 364–378. Springer, Heidelberg (2004)Google Scholar
  23. 23.
    Syrjänen, T.: Omega-restricted Logic Programs. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 267–279. Springer, Heidelberg (2001)Google Scholar
  24. 24.
    Wang, K., Antoniou, G., Topor, R.W., Sattar, A.: Merging and Aligning Ontologies in dl-Programs. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 160–171. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  25. 25.
    Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 170–181. Springer, Heidelberg (2004)CrossRefGoogle Scholar

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