Integrating Rules and Description Logics with Circumscription for the Semantic Web

  • Fangkai Yang
  • Xiaoping Chen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4824)

Abstract

In this paper, we propose \(\mathcal{DL}clog\), a new hybrid formalism combining Description Logics(DL) and Logic Programming(LP) for Semantic Web serving as an extension to \(\mathcal{DL}+log\)[17]. By \(\mathcal{DL}clog\), users can reason nonmonotonically with DL ontology. We introduce negative dl-atoms to the bodies of the rules, and extend Nonmonotonic Semantics (NM-Semantics) of \(\mathcal{DL}+log\) to evaluate dl-atoms with circumscriptive models of DL ontology in the sense of parallel circumscription. In this way, negative dl-atoms are treated nonmonotonically, while the formalism still remains faithful to NM-Semantics, DL and LP. We also present a decision procedure for the extended semantics based on a restricted form of \(\mathcal{DL}clog\), in which DL ontologies are written with \(\mathcal{ALCIO}\) or \(\mathcal{ALCQO}\) and roles are not allowed to occur in negative dl-atoms.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  2. 2.
    Bonatti, P., Lutz, C., Wolter, F.: Description Logics with Circumscription. In: KR 2006 (2006)Google Scholar
  3. 3.
    Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. In: Proc of IJCAI 2007 (2007)Google Scholar
  4. 4.
    Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol. 4092, pp. 1–22. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Donini, F., Lenzerini, M., Nardi, D., Schaerf, W.: \(\mathcal{AL}\)-log: Integrating Datalog and Description Logics. Artificial Intelligence 100(1-2), 225–247 (1998)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Moore, R.: Semantical considerations on nonmonotonic logic. Artificial Intelligence 25(1), 75–94 (1985)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Gelfond, M., Przymusinska, H., Przymusinki, T.: On the Relationship between Circumscription and Negation as Failure. Artificial Intelligence 38, 75–94 (1989)MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generaltion Computing 9, 365–385 (1991)Google Scholar
  9. 9.
    McCarthy, J.: Applications of circumscription in formalizing common sense knowledge. Artificial Intelligence 28, 89–116 (1986)CrossRefMathSciNetGoogle Scholar
  10. 10.
    Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, Springer, Heidelberg (2004)Google Scholar
  11. 11.
    Motik, B., Rosati, R.: A Faithful Integration of Description Logics with Logic Programming. In: Proc. of IJCAI 2007 (2007)Google Scholar
  12. 12.
    Lifschitz, V.: Nonmonotonic Databases and Epistemic Queries. In: Proc. IJCAI 1991 (1991)Google Scholar
  13. 13.
    Reiter, R.: On Closed-world Data Bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 55–76. Plenum Press, New York (1978)Google Scholar
  14. 14.
    Rosati, R.: Towards expressive KR systems integrating Datalog and description logics: Preliminary report. In: Proc. of DL 1999 (1999)Google Scholar
  15. 15.
    Rosati, R.: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 50–64. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  16. 16.
    Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Semantics 3(1), 61–73 (2005)Google Scholar
  17. 17.
    Rosati, R.: \(\mathcal{DL}+log\): Tight integration of description logics and disjunctive datalog. In: Proc. of KR 2006 (2006)Google Scholar
  18. 18.
    Yang, F., Chen, X.: Integrating Rules and Description Logics with Circumscription for Semantic Web (Techinical Report), in http://mail.ustc.edu.cn/~fkyang/dlclog-full.pdf

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Fangkai Yang
    • 1
  • Xiaoping Chen
    • 1
  1. 1.Multi-Agent System Lab University of Science and Technology of China, HefeiChina

Personalised recommendations