Loop formulas for description logic programs

Theory and Practice of Logic Programming

Volumn 10, Issue 4-6, 2010, Pages 531-545

  Wang, Yisong ^a,b   You, Jia Huai ^b   Yuan, Li Yan ^b   Shen, Yi Dong ^c  

^a GUIZHOU UNIVERSITY   (China)

^b UNIVERSITY OF ALBERTA   (Canada)

^c INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

answer sets; description logic programs; loop formulas; semantic web

Indexed keywords

ANSWER SET; ANSWER SET PROGRAMMING; ANSWER SET SEMANTICS; DESCRIPTION LOGIC; DESCRIPTION LOGIC PROGRAMS; LOGIC PROGRAMS; LOOP FORMULAS;

DATA DESCRIPTION; LOGIC PROGRAMMING; SEMANTIC WEB;

STRUCTURED PROGRAMMING;

EID: 77957229984     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068410000268     Document Type: Conference Paper

References (19)

1. BAADER, F., CALVANESE, D., MCGUINNESS, D. L., NARDI, D., and PATEL-SCHNEIDER, P. F. 2007. The Description Logic Handbook: Theory, Implementation, and Applications, 2nd ed. Cambridge University Press, New York.
2. BERNERS-LEE, T., HENDLER, J., and LASSILA, O. 2001. The semantic web. Scientific American Magazine 284, 5, 34-43. (Pubitemid 43964318)
3. BREWKA, G. and EITER, T. 2007. Equilibria in heterogeneous nonmonotonic multi-context systems. In Proceedings of AAAI 2007. AAAI Press, Vancouver, BC, Canada, 385-390. (Pubitemid 350153474)
4. BRUIJN, J., EITER, T., POLLERES, A., and TOMPITS, H. 2007. Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In Proceedings of 20th International Conference on Artificial Intelligence. Morgan Kaufman, 304-309.
5. CALIMERI, F., FABER, W., LEONE, N., and PERRI, S. 2005. Declarative and computational properties of logic programs with aggregates. In Proceedings of IJCAI 2005. Edinburgh, Scotland, UK, 406-411.
6. CHEN, Y., LIN, F., WANG, Y., and ZHANG, M. 2006. First-order loop formulas for normal logic programs. In Proceedings of KR 2006. AAAI Press, Lake District, UK, 298-307.
7. DE BRUIJN, J., PEARCE, D., POLLERES, A., and VALVERDE, A. 2007. Quantified equilibrium logic and hybrid rules. In Proceedings of Web Reasoning and Rule Systems, First International Conference. Lecture Notes in Computer Science, vol. 4524. Springer, Innsbruck, Austria.
8. EITER, T., IANNI, G., LUKASIEWICZ, T., SCHINDLAUER, R., and TOMPITS, H. 2008. Combining answer set programming with description logics for the semantic web. Artificial Intelligence 172, 12-13, 1495-1539.
9. HORROCKS, I. and PATEL-SCHNEIDER, P. F. 2004. A proposal for an OWL rules language. In Proceedings of WWW 2004. ACM, New York, 723-731. (Pubitemid 40752807)
10. LEE, J. and MENG, Y. 2008. On loop formulas with variables. In Proceedings of KR 2008. AAAI Press, Sydney, 444-453.
11. LIN, F. and ZHAO, Y. 2004. ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence 157, 1-2, 115-137.
12. LIU, G. and YOU, J.-H. 2008. Lparse programs revisited: Semantics and representation of aggregates. In Proceedings of ICLP 2008. Lecture Notes in Computer Science, vol. 5366. Springer, Udine, Italy, 347-361.
13. MAREK, V. W. and TRUSZCZYNSKI, M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: A 25-Year Perspective, K. Apt, V. Marek, M. Truszczynski, and D. Warren, Eds. Springer, Berlin, 375-398.
14. MOTIK, B. and ROSATI, R. 2010. Reconciling description logics and rules. Journal of the ACM 36, 165-228.
15. NIEMELä, I. 1999. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, 3-4, 241-273.
16. ROSATI, R. 2005. On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics 3, 1, 61-73. (Pubitemid 40891659)
17. ROSATI, R. 2006. DL+log: Tight integration of description logics and disjunctive datalog. In Proceedings of KR 2006. AAAI Press, Lake District, UK, 68-78.
18. VAN GELDER, A., ROSS, K. A., and SCHLIPF, J. S. 1991. The well-founded semantics for general logic programs. Journal of the ACM 38, 3, 620-650.
19. W3C OWL WORKING GROUP. 2009. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation, Available at http://www.w3.org/TR/owl2-overview/.