Tractable reasoning with DL-programs over datalog-rewritable description logics

Frontiers in Artificial Intelligence and Applications

Volumn 215, Issue , 2010, Pages 35-40

  Heymans, Stijn ^a   Eiter, Thomas ^a   Xiao, Guohui ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SEMANTICS;

DATALOG; DESCRIPTION LOGIC; DESCRIPTION LOGIC PROGRAMS; HETEROGENEOUS KNOWLEDGE; LOGIC-PROGRAMMING; NONMONOTONIC; ONTOLOGY'S; REASONERS; REWRITABLE; TRACTABLE REASONING;

ONTOLOGY;

EID: 77956033201     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-606-5-35     Document Type: Conference Paper

References (24)

1. F. Baader, S. Brandt, and C. Lutz, 'Pushing the EL envelope', in Proc. IJCAI, pp. 364-369. Morgan-Kaufmann Publishers, (2005).
2. F. Baader, S. Brandt, and C. Lutz, 'Pushing the EL envelope further', in Proc. OWLED08DC, (2008). http://ceur-ws.org/Vol-496.
3. The Description Logic Handbook, eds., F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, CUP, 2003.
4. F. Baader and U. Sattler, 'Number restrictions on complex roles in DLs: A preliminary report', in Proc. KR, pp. 328-339, (1996).
5. C. Baral and V. S. Subrahmanian, 'Dualities between alternative semantics for logic programming and nonmonotonic reasoning', JAR, 10(3), 399-420, (1993).
6. D. Calvanese, G. de Giacomo, D. Lembo, M. Lenzerini, and Riccardo Rosati, 'Tractable reasoning and efficient query answering in description logics: The DL-Lite family', JAR, 39(3), 385-429, (2007).
7. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov, 'Complexity and expressive power of logic programming', ACM Computing Surveys, 33(3), 374-425, (2001).
8. T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits, 'Combining answer set programming with description logics for the Semantic Web', Artificial Intelligence, 172(12-13), 1495-1539, (2008).
9. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits, 'Well-founded semantics for description logic programs in the Semantic Web', in Proc. RuleML, pp. 81-97, (2004). Full paper ACM TOCL, (to appear).
10. A. Van Gelder, K. Ross, and J. S. Schlipf, 'The well-founded semantics for general logic programs', JACM, 38(3), 620-650, (1991).
11. M. Gelfond and V. Lifschitz, 'The stable model semantics for logic programming', in Proc. ICLP, pp. 1070-1080. The MIT Press, (1988).
12. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker, 'Description logic programs: Combining logic programs with description logic', in Proc. WWW 2003, pp. 48-57. ACM, (2003).
13. S. Heymans, D. Van Nieuwenborgh, and D. Vermeir, 'Open answer set programming with guarded programs', ToCL, 9(4), 1-53, (2008).
14. U. Hustadt, B. Motik, and U. Sattler, 'Reducing SHIQ? description logic to disjunctive datalog programs', in Proc. of KR, pp. 152-162. AAAI Press, (2004).
15. M. Krötzsch, S. Rudolph, and P. Hitzler, 'Description logic rules', in Proc. ECAI, pp. 80-84. IOS Press, (2008).
16. M. Krötzsch, S. Rudolph, and P. Hitzler, 'ELP: Tractable rules for OWL 2', in Proc. ISWC 2008, pp. 649-664, (2008).
17. OWL 2 Web Ontology Profiles, eds., B. Motik, B. Cuenca Grau, I. Horrocks, Z. Wu, A. Fokoue, and C. Lutz, 2008. W3C Rec. 27 Oct. 2009.
18. OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax, eds., B. Motik, P. F. Patel-Schneider, and B. Parsia, 2008. W3C Working Draft April 2009.
19. B. Motik and R. Rosati, 'A faithful integration of description logics with logic programming', in Proc. IJCAI, pp. 477-482, (2007).
20. B. Motik, U. Sattler, and R. Studer, 'Query answering for OWL-DL with rules', Journal of Web Semantics, 3(1), 41-60, (July 2005).
21. R. Rosati, 'On the decidability and complexity of integrating ontologies and rules', Journal of Web Semantics, 3(1), 41-60, (2005).
22. R. Rosati, 'DL+log: Tight integration of description logics and disjunctive datalog', in Proc. KR, pp. 68-78, (2006).
23. T. Swift, 'Deduction in ontologies via ASP', in Proc. of LPNMR, pp. 275-288, (2004).
24. A. Tarski, 'A lattice-theoretical fixpoint theorem and its applications', Pacific Journal of Mathematics, 5, 285-309, (1955).