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.
This research has been partially supported by the Spanish MEC under the projects TIC-2003-9001, TIN2006-15455-CO3 and the Acción Integrada “Formal Techniques for Reasoning about Ontologies in E-Science”, and by the European Commission under the projects Knowledge Web (IST-2004-507482) and DIP (FP6-507483).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. CUP, Cambridge (2002)
de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. IJCAI (2007)
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)
Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. IJCAI (2005)
Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. KR (2004)
Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. IJCAI (2007)
Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology: A Case for Conservative Extensions of Description Logics. KR (2006)
Heymans, S., van Nieuwenborgh, D., Vermeir, D.: Open answer set programming with guarded programs. ACM Transactions on Computational Logic. Accepted for Publication
Heymans, S., Predoiu, L., Feier, C., de Bruijn, J., van Nieuwenborgh, D.: G-hybrid Knowledge Bases. ALPSWS (2006)
Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Transactions on Computational Logic 2, 526–541 (2001)
Lifschitz, V., Pearce, D., Valverde, A.: A Characterization of Strong Equivalence for Logic Programs with Variables. In: Proceedings LPNMR 2007, Springer, Heidelberg (to appear)
Lifschitz, V., Woo, T.: Answer Sets in General Nonmonotonic Reasoning (preliminary report) KR (1992)
Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. IJCAI (2007)
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)
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)
Pearce, D., Valverde, A.: A First-Order Nonmonotonic Extension of Constructive Logic. Studia Logica, 80 (2005)
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
Rosati, R.: On the Decidability and Complexity of Integrating Ontologies and Rules. Journal of Web Semantics, 3(1) (2005)
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)
Rosati, R.: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. KR (2006)
Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML-2004 (2004)
van Dalen, D.: Logic and Structure. Springer, Heidelberg (1983)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
de Bruijn, J., Pearce, D., Polleres, A., Valverde, A. (2007). Quantified Equilibrium Logic and Hybrid Rules. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-72982-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72981-5
Online ISBN: 978-3-540-72982-2
eBook Packages: Computer ScienceComputer Science (R0)