Equality-Friendly Well-Founded Semantics and Applications to Description Logics

Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012

Volumn , Issue , 2012, Pages 757-764

  Gottlob, Georg ^a,b   Hernich, André ^c   Kupke, Clemens ^a   Lukasiewicz, Thomas ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; ONTOLOGY;

COMPLEXITY RESULTS; DATALOG; DESCRIPTION LOGIC; FIXED-POINT LOGIC; GENERALISATION; NON-MONOTONIC NEGATION; ONTOLOGY LANGUAGE; PRECISE DEFINITION; QUERY ANSWERING; WELL-FOUNDED SEMANTICS;

SEMANTICS;

EID: 84892408371     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (36)

1. Alsaç, G., and Baral, C. 2001. Reasoning in description logics using declarative logic programming. Technical report, Department of Computer Science and Engineering, Arizona State University.
2. Angele, J.; Boley, H.; de Bruijn, J.; Fensel, D.; Hitzler, P.; Kifer, M.; Krummenacher, R.; Lausen, H.; Polleres, A.; and Studer, R. 2005. Web Rule Language (WRL). W3C Member Submission. Available at http://www.w3.org/Submission/WRL/.
3. Antoniou, G. 2002. Nonmonotonic rule systems on top of ontology layers. In Proc. ISWC-2002, volume 2342 of LNCS, 394-398. Springer.
4. Baader, F.; Brandt, S.; and Lutz, C. 2005. Pushing the EL envelope. In Proc. IJCAI-2005, 364-369. Professional Book Center.
5. Baral, C., and Subrahmanian, V. S. 1993. Dualities between alternative semantics for logic programming and nonmonotonic reasoning. J. Autom. Reasoning 10(3):399-420.
6. Bárány, V.; Gottlob, G.; and Otto, M. 2010. Querying the guarded fragment. In Proc. LICS-2010, 1-10. IEEE Computer Society.
7. Beeri, C., and Vardi, M. Y. 1981. The implication problem for data dependencies. In Proc. ICALP-1981, volume 115 of LNCS, 73-85. Springer.
8. Bonatti, P. A.; Lutz, C.; and Wolter, F. 2009. The complexity of circumscription in DLs. J. Artif. Intell. Res. 35:717-773.
9. Calì, A.; Gottlob, G.; and Kifer, M. 2008. Taming the infinite chase: Query answering under expressive relational constraints. In Proc. KR-2008, 70-80. AAAI Press. Revised version: http://www.dbai.tuwien.ac.at/staff/gottlob/CGK.pdf.
10. Calì, A.; Gottlob, G.; and Lukasiewicz, T. 2012. A general Datalog-based framework for tractable query answering over ontologies. In J. Web Sem. In press.
11. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. Autom. Reasoning 39(3):385-429.
12. Donini, F. M.; Lenzerini, M.; Nardi, D.; and Schaerf, A. 1998. AL-log: Integrating Datalog and description logics. J. Intell. Inf. Syst. 10(3):227-252.
13. Drabent, W., and Małuszyński, J. 2007. Well-founded semantics for hybrid rules. In Proc. RR-2007, volume 4524 of LNCS, 1-15. Springer.
14. Eiter, T., and Simkus, M. 2010. FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. ACM Trans. Comput. Log. 11(2).
15. Eiter, T.; Lukasiewicz, T.; Schindlauer, R.; and Tompits, H. 2004. Well-founded semantics for description logic programs in the Semantic Web. In Proc. RuleML-2004, volume 3323 of LNCS, 81-97. Springer.
16. Eiter, T.; Ianni, G.; Schindlauer, R.; and Tompits, H. 2005. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In Proc. IJCAI-2005, 90-96. Professional Book Center.
17. Eiter, T.; Ianni, G.; Lukasiewicz, T.; Schindlauer, R.; and Tompits, H. 2008. Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12/13):1495-1539.
18. Grädel, E., and Walukiewicz, I. 1999. Guarded fixed point logic. In Proc. LICS-1999, 45-54. IEEE Computer Society.
19. Grädel, E. 1999. On the restraining power of guards. J. Symb. Log. 64(4):1719-1742.
20. Grosof, B. N.; Horrocks, I.; Volz, R.; and Decker, S. 2003. Description logic programs: Combining logic programs with description logics. In Proc. WWW-2003, 48-57. ACM Press.
21. Heymans, S., and Vermeir, D. 2003. Integrating semantic web reasoning and answer set programming. In Proc. ASP-2003, volume 78 of CEUR Workshop Proceedings, 194-208. CEUR-WS.org.
22. Heymans, S.; Nieuwenborgh, D. V.; and Vermeir, D. 2005. Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs. In Proc. ESWC-2005, volume 3532 of LNCS, 392-407. Springer.
23. Horrocks, I.; Patel-Schneider, P. F.; Boley, H.; Tabet, S.; Grosof, B.; and Dean, M. 2004. SWRL: A Semantic Web rule language combining OWL and RuleML. W3C Member Submission. Available at http://www.w3.org/Submission/SWRL/.
24. Hustadt, U.; Motik, B.; and Sattler, U. 2004. Reducing SHIQ-description logic to disjunctive Datalog programs. In Proc. KR-2004, 152-162. AAAI Press.
25. Knorr, M.; Alferes, J. J.; and Hitzler, P. 2011. Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9/10):1528-1554.
26. Levy, A. Y., and Rousset, M.-C. 1998. Combining Horn rules and description logics in CARIN. Artif. Intell. 104(1/2):165-209.
27. Motik, B., and Rosati, R. 2007. A faithful integration of description logics with logic programming. In Proc. IJCAI-2007, 477-482. AAAI Press/IJCAI.
28. Motik, B.; Horrocks, I.; Rosati, R.; and Sattler, U. 2006. Can OWL and logic programming live together happily ever after? In Proc. ISWC-2006, volume 4273 of LNCS, 501-514. Springer.
29. Motik, B.; Sattler, U.; and Studer, R. 2005. Query answering for OWL-DL with rules. J. Web Sem. 3(1):41-60.
30. Poggi, A.; Lembo, D.; Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Rosati, R. 2008. Linking data to ontologies. J. Data Semantics 10:133-173.
31. Rosati, R. 2005. On the decidability and complexity of integrating ontologies and rules. J. Web Sem. 3(1):61-73.
32. Rosati, R. 2006. DL+log: Tight integration of description logics and disjunctive Datalog. In Proc. KR-2006, 68-78. AAAI Press.
33. Sintek, M., and Decker, S. 2002. TRIPLE - A query, inference, and transformation language for the Semantic Web. In Proc. ISWC-2002, volume 2342 of LNCS, 364-378. Springer.
34. Swift, T. 2004. Deduction in ontologies via ASP. In Proc. LPNMR-2004, volume 2923 of LNCS, 275-288. Springer.
35. ten Cate, B., and Franceschet, M. 2005. Guarded fragments with constants. J Logic Lang. Inform. 14(3):281-288.
36. van Gelder, A.; Ross, K. A.; and Schlipf, J. S. 1991. The well-founded semantics for general logic programs. J. ACM 38(3):620-650.