Guarded hybrid knowledge bases

Theory and Practice of Logic Programming

Volumn 8, Issue 3, 2008, Pages 411-429

  Heymans, Stijn ^a   De Bruijn, Jos ^b   Predoiu, Livia ^c   Feier, Cristina ^a   Van Niewenborgh, Davy ^d  

^a UNIVERSITY OF INNSBRUCK   (Austria)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^c UNIVERSITY OF MANNHEIM   (Germany)

^d VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

Description logics; g hybrid knowledge bases; Guarded logic programs; Open answer set programming

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; LOGIC PROGRAMMING; SEMANTIC WEB;

DESCRIPTION LOGICS; GUARDED LOGIC PROGRAMS; OPEN ANSWER SET PROGRAMMING;

KNOWLEDGE BASED SYSTEMS;

EID: 42949162880     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068407003201     Document Type: Article

References (27)

1. BAADER, F., CALVANESE, D., MCGUINNESS, D., NARDI, D. AND PATEL-SCHNEIDER, P. 2003. The Description Logic Handbook. Cambridge University Press, New York.
2. CALVANESE, D., DE GIACOMO, G. AND LENZERINI, M. 1997. Conjunctive query containment in description logics with n-ary relations. In Proc. of the 1997 Description Logic Workshop (DL'97). 5-9.
3. DE BRUIJN, J., EITER, T., POLLERES, A. AND TOMPITS, H. 2006a. On representational issues about combinations of classical theories with nonmonotonic rules. In Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM'06). Lecture Notes in Artificial Intelligence, vol. 4092. Guilin, China. Springer-Verlag, Berlin.
4. DE 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 the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07). Hyderabad, India. AAAI Press, Menlo Park, CA.
5. DE BRUIJN, J., PEARCE, D., POLLERES, A. AND VALVERDE, A. 2006b. A logic for hybrid rules. In Proceedings of the Ontology and Rule Integration Workshop at the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web, Athens, GA.
6. DEAN, M. AND SCHREIBER, G. (Eds). 2004. OWL Web Ontology Language Reference. W3C Recommendation 10 February 2004.
7. DONINI, F. M., LENZERINI, M.., NARDI, D. AND SCHAERF, A. 1998. AL-log: Integrating Datalog and Description Logics. Journal of Intelligence and Cooperative Information Systems 10, 227-252.
8. EITER, T., LUKASIEWICZ, T., SCHINDLAUER, R. AND TOMPITS, H. 2004. Combining Answer Set Programming with DLs for the Semantic Web. In Proc. of KR 2004. 141-151.
9. GELFOND, M. AND LIFSCHITZ, V. 1988. The stable model semantics for logic programming. In Proc. of ICLP'88. MIT Press, Cambridge, MA, 1070-1080.
10. GRÄDEL, E. AND WALUKIEWICZ, I. 1999. Guarded fixed point logic. In Proc. of LICS '99. IEEE Computer Society, Los Alamitos, CA, 45-54.
11. -{≤} using Bound Guarded Programs. In Proc. of Reasoning on the Web Workshop (RoW 2006), Edinburgh, UK.
12. HEYMANS, S., VAN NIEUWENBORGH, D. AND VERMEIR, D. 2005a. Guarded Open Answer Set Programming. In LPNMR 2005. LNAI, vol. 3662. Springer-Verlag, Berlin, 92-104.
13. HEYMANS, S., VAN NIEUWENBORGH, D. AND VERMEIR, D. 2005b. Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs. In Proc. of ESWC 2005. LNCS, vol. 3532. Springer-Verlag Berlin, 392-407.
14. HEYMANS, S., VAN NIEUWENBORGH, D. AND VERMEIR, D. 2006b. Conceptual logic programs. Annals of Mathematics and Artificial Intelligence. Special Issue on Answer Set Programming 47, 1/2,103-137.
15. HEYMANS, S., VAN NIEUWENBORGH, D. AND VERMEIR, D. 2006c. Open answer set programming with guarded programs. ACM Transactions on Computational Logic (TOCL). In press.
16. HORROCKS, I. AND PATEL-SCHNEIDER, P. 2004a. Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics 1, 4, 345-357.
17. HORROCKS, I. AND PATEL-SCHNEIDER, P. F. 2004b. A proposal for an OWL rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004). ACM, New York, 723-731.
18. HUSTADT, U., MOTIK, B. AND SATTLER, U. 2004. Reducing SHIQ- description logic to disjunctive logic programs. In Proceedings of the 9th International Conference on Knowledge Representation and Reasoning KR2004, Whistler, Canada, 152-162.
19. INOUE, K. AND SAKAMA, C. 1998. Negation as failure in the head. Journal of Logic Programming 35, 1, 39-78.
20. LEVY, A. Y. AND ROUSSET, M. 1.996. CARIN: A representation language combining horn rules and description logics. In Proc. of ECAI'96. 323-327.
21. LIFSCHITZ, V., PEARCE, D. AND VALVERDE, A. 2001. Strongly equivalent logic programs. ACM Transactions on Computational Logic 2, 4, 526-541.
22. MOTIK, B. AND ROSATI, R. 2007. A faithful integration of description logics with logic programming. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India.
23. MOTIK, B., SATTLER, U. AND STUDER, R. 2004. Query answering for OWL-DL with rules. In Proc. of ISWC 2004. LNCS, vol. 3298. Springer-Verlag, Berlin, 549-563.
24. ROSATI, R. 2005a. On the decidability and complexity of integrating ontologies and rules. Web Semantics 3, 1, 41-60.
25. ROSATI, R. 2005b. Semantic and computational advantages of the safe integration of ontologies and rules. In Proc. of the Third International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005). LNCS, vol. 3703. Springer-Verlag, Berlin, 50-64.
26. ROSATI, R. 2006. DL+log: Tight integration of description logics and disjunctive datalog. In Proc. of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006). AAAI Press, Menlo Park, CA, 68-78.
27. SWIFT, T. 2004. Deduction in ontologies via answer set programming. In LPNMR, V. Lifschitz and I. Niemelä, Eds. LNCS, vol. 2923. Springer-Verlag, Berlin, 275-288.