Embedding approaches to combining rules and ontologies into autoepistemic logic

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 485-495

  De Bruijn, Jos ^a   Eiter, Thomas ^b   Tompits, Hans ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDINGS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; ONTOLOGY;

COMBINING RULES; COMMON BASIS; FIRST ORDER; HYBRID KNOWLEDGE; KNOWLEDGE BASIS;

COMPUTER CIRCUITS;

EID: 84858018868     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Chen, J. 1993. Minimal knowledge + negation as failure = only knowing (sometimes). In Proc. LPNMR'93, 132-150.
2. Chen, J. 1994. The logic of only knowing as a unified framework for non-monotonic reasoning. Fund. Inf. 21:205-220.
3. de Bruijn, J.; Eiter, T.; Polleres, A.; and Tompits, H. 2006. On representational issues about combinations of classical theories with non-monotonic rules. In Proc. KSEM'06, LNCS 4092, 1-22.
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 Proc. IJCAI'07, 304-309.
5. de Bruijn, J.; Pearce, D.; Polleres, A.; and Valverde, A. 2007b. Quantified equilibrium logic and hybrid rules. In Proc. RR'07, LNCS 4524, 58-72. Springer.
6. Denecker, M.; Marek, V. W.; and Truszczynski, M. 2003. Uniform semantic treatment of default and autoepistemic logics. Artificial Intelligence 143(1):79-122.
7. Eiter, T.; Ianni, G.; Krennwallner, T.; and Schindlauer, R. 2007. Exploiting conjunctive queries in description logic programs. In Proc. DL'07, 259-266. Also ISAIM'08.
8. Eiter, T.; Lukasiewicz, T.; Schindlauer, R.; and Tompits, H. 2004. Combining answer set programming with description logics for the semantic web. In Proc. KR'04, 141-151.
9. Gelfond, M., and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3-4):365-386.
10. Gottlob, G. 1995. Translating default logic into standard autoepistemic logic. Journal of the ACM 42(4):711-740.
11. Horrocks, I.; Patel-Schneider, P. F.; Bechhofer, S.; and Tsarkov, D. 2005. OWL rules: A proposal and prototype implementation. Journal of Web Semantics 3(1):23-40.
12. Janhunen, T. 1999. On the intertranslatability of non-monotonic logics. Ann. Math. & Art. Int. 27(1-4):79-128.
13. Konolige, K. 1991. Quantification in autoepistemic logic. Fundamenta Informaticae 15(3-4):275-300.
14. Levesque, H. J. 1990. All I know: A study in autoepistemic logic. Artificial Intelligence 42(2-3):263-309.
15. Lifschitz, V., and Schwarz, G. 1993. Extended logic programs as autoepistemic theories. In Proc. LPNMR'93, 101-114.
16. Lifschitz, V. 1991. Non-monotonic databases and epistemic queries. In Proc. IJCAI 03, 381-386. Morgan Kaufmann.
17. Marek, V.W., and Truszczýnski, M. 1993. Non-monotonic logic: Context-dependent reasoning. Springer.
18. Moore, R. C. 1985. Semantical considerations on non-monotonic logic. Artificial Intelligence 25(1):75-94.
19. Motik, B., and Rosati, R. 2007a. A faithful integration of description logics with logic programming. In Proc. IJCAI'07, 477-482.
20. Motik, B., and Rosati, R. 2007b. Closing semantic web ontologies. Tech. Rep., Univ. Manchester.
21. Reiter, R. 1987. A logic for default reasoning. Artificial Intelligence 13:81-132.
22. Rosati, R. 1997. Embedding minimal knowledge into autoepistemic logic. In Proc. AI*IA'97, LNCS 1321, 231-241.
23. Rosati, R. 2005. On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics 3(1):61-73.
24. Rosati, R. 2006. DL+log: Tight integration of description logics and disjunctive datalog. In Proc. KR'06, 68-78.
25. Schwarz, G. 1996. On embedding default logic into Moore's autoepistemic logic. Artificial Intelligence 80(1-2):349-359.