Hybrid reasoning with forest logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5554 LNCS, Issue , 2009, Pages 338-352

  Feier, Cristina ^a   Heymans, Stijn ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATIVE APPROACH; ANSWER SET PROGRAMMING; HYBRID FRAMEWORK; KNOWLEDGE BASIS; LOGIC PROGRAMS; ONTOLOGIES AND RULES; REASONING PROCEDURES; SATISFIABILITY CHECKING;

LOGIC PROGRAMMING; ONTOLOGY; SEMANTIC WEB; SEMANTICS; WORLD WIDE WEB;

COMPUTABILITY AND DECIDABILITY;

EID: 69849105348     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02121-3_27     Document Type: Conference Paper

References (24)

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The DL Handbook: Theory, Implementation, and Applications (2003)
2. Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. J. of Intelligent and Cooperative Information Systems 10, 227-252 (1998)
3. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artificial Intelligence 172(12-13), 1495-1539 (2008)
4. Feier, C, Heymans, S.: Hybrid reasoning with forest logic programs. Technical Report Infsys Research Report 184-08-14, KBS Group, Vienna University of Technology, Austria (December 2008), www.kr.tuwien.ac.at/staff/heymans/priv/ projects/fwf-doasp/eswc2009-tr.pdf
5. Feier, C, Heymans, S.: A sound and complete algorithm for simple conceptual logic programs. In: Proc. of ALPSWS 2008 (2008)
6. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. of ICLP 1988, pp. 1070-1080 (1988)
7. Grosof, B.N., Horrocks, I., Volz, R,., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proc. of the World Wide Web Conference (WWW), pp. 48-57 (2003)
8. Heymans, S., de Bruijn, J., Predoiu, L., Feier, C., Van Nieuwenborgh, D.: Guarded hybrid knowledge bases. TPLP 8(3), 411-429 (2008)
9. Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Conceptual logic programs. Annals of Mathematics and Artificial Intelligence (Special Issue on Answer Set Programming) 47(1-2), 103-137 (2006)
10. Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Open answer set programming for the semantic web. J. of Applied Logic 5(1), 144-169 (2007)
11. Heymans, S., Van Nieuwenborgh, D., Vermeir, D.: Open answer set programming with guarded programs. ACM Trans, on Comp. Logic 9(4) (October 2008)
12. Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proc. of the World Wide Web Conference (WWW), pp. 723-731. ACM, New York (2004)
13. Krotzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: Proc. 18th European Conf. on Artificial Intelligence (ECAI 2008), pp. 80-84 (2008)
14. Levy, A.Y., Rousset, M.: CARIN: A Representation Language Combining Horn Rules and Description Logics. In: Proc. of ECAI 1996, pp. 323-327 (1996)
15. Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C, Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.4273, pp. 501-514. Springer, Heidelberg (2006)
16. Motik, B., Rosati, R.: Closing Semantic Web Ontologies. Technical report (2006)
17. Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. Journal of Web Semantics 3(1), 41-60 (2005)
18. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Web Semantics 3(1), 41-60 (2005)
19. Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proc. of the Int. Conf. on Principles of KR, and R.eas (KR), pp. 68-78 (2006)
20. Rosat, R.: On combining description logic ontologies and nonrecursive datalog rules. In: Proc. of the 2nd Int. Conf. on Web Reasoning and Rule Systems (2008)
21. Smith, M., Welty, C, McGuinness, D.: OWL Web Ontology Language Guide (2004), http://www.w3.org/TR/owl-guide/
22. Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH-Aachen (2001)
23. Vardi, M.Y.: Reasoning about the past with two-way automata. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.1443, p. 628. Springer, Heidelberg (1998)
24. Simkus, M., Eiter, T.: FDNC: Decidable non-monotonic disjunctive logic programs with function symbols. In: Dershowitz, N., Voronkov, A. (eds.) LPAR, 2007. LNCS, vol.4790, pp. 514-530. Springer, Heidelberg (2007)