Advertisement

Quantified Equilibrium Logic and Hybrid Rules

  • Jos de Bruijn
  • David Pearce
  • Axel Polleres
  • Agustín Valverde
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4524)

Abstract

In the ongoing discussion about combining rules and Ontologies on the Semantic Web a recurring issue is how to combine first-order classical logic with nonmonotonic rule languages. Whereas several modular approaches to define a combined semantics for such hybrid knowledge bases focus mainly on decidability issues, we tackle the matter from a more general point of view. In this paper we show how Quantified Equilibrium Logic (QEL) can function as a unified framework which embraces classical logic as well as disjunctive logic programs under the (open) answer set semantics. In the proposed variant of QEL we relax the unique names assumption, which was present in earlier versions of QEL. Moreover, we show that this framework elegantly captures the existing modular approaches for hybrid knowledge bases in a unified way.

Keywords

Logic Program Classical Logic Description Logic Intuitionistic Logic Predicate Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. CUP, Cambridge (2002)Google Scholar
  2. de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. IJCAI (2007)Google Scholar
  3. de 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, Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. IJCAI (2005)Google Scholar
  5. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. KR (2004)Google Scholar
  6. Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. IJCAI (2007)Google Scholar
  7. Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology: A Case for Conservative Extensions of Description Logics. KR (2006)Google Scholar
  8. Heymans, S., van Nieuwenborgh, D., Vermeir, D.: Open answer set programming with guarded programs. ACM Transactions on Computational Logic. Accepted for PublicationGoogle Scholar
  9. Heymans, S., Predoiu, L., Feier, C., de Bruijn, J., van Nieuwenborgh, D.: G-hybrid Knowledge Bases. ALPSWS (2006)Google Scholar
  10. Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transactions on Computational Logic 2, 526–541 (2001)CrossRefMathSciNetGoogle Scholar
  11. Lifschitz, V., Pearce, D., Valverde, A.: A Characterization of Strong Equivalence for Logic Programs with Variables. In: Proceedings LPNMR 2007, Springer, Heidelberg (to appear)Google Scholar
  12. Lifschitz, V., Woo, T.: Answer Sets in General Nonmonotonic Reasoning (preliminary report) KR (1992)Google Scholar
  13. Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. IJCAI (2007)Google Scholar
  14. Pearce, D.: A new Logical Characterization of Stable Models and Answer Sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol. 1216, Springer, Heidelberg (1997)CrossRefGoogle Scholar
  15. Pearce, D.: Equilibrium logic. Annals of Mathematics and Artificial Intelligence, 2006, available at http://dx.doi.org/10.1007/s10472-006-9028-z (in press)
  16. Pearce, D., Valverde, A.: A First-Order Nonmonotonic Extension of Constructive Logic. Studia Logica, 80 (2005)Google Scholar
  17. Pearce, D., Valverde, A.: Quantified Equilibrium Logic. Tech. report, Univ. Rey Juan Carlos (2006), http://www.satd.uma.es/matap/investig/tr/ma06_02.pdf
  18. Rosati, R.: On the Decidability and Complexity of Integrating Ontologies and Rules. Journal of Web Semantics, 3(1) (2005)Google Scholar
  19. 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, Springer, Heidelberg (2005)CrossRefGoogle Scholar
  20. Rosati, R.: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. KR (2006)Google Scholar
  21. Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML-2004 (2004)Google Scholar
  22. van Dalen, D.: Logic and Structure. Springer, Heidelberg (1983)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Jos de Bruijn
    • 3
  • David Pearce
    • 1
  • Axel Polleres
    • 1
    • 4
  • Agustín Valverde
    • 2
  1. 1.Universidad Rey Juan Carlos, MadridSpain
  2. 2.Universidad de Málaga, MálagaSpain
  3. 3.DERI Innsbruck, InnsbruckAustria
  4. 4.DERI Galway, National University of Ireland, Galway 

Personalised recommendations