A faithful integration of description logics with logic programming

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 477-482

  Motik, Boris ^a   Rosati, Riccardo ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA COMPLEXITY; DESCRIPTION LOGIC; KNOWLEDGE BASIS; NEGATION AS FAILURES; REASONING ALGORITHMS; SEAMLESS INTEGRATION;

ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; FORMAL LANGUAGES; LOGIC PROGRAMMING;

FORMAL LOGIC;

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

References (16)

1. F. Baader and B. Hollunder. Embedding Defaults into Terminological Knowledge Representation Formalisms. Journal of Automated Reasoning, 14(1):149-180, 1995.
2. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, January 2003.
3. P. Bonatti, C. Lutz, and F. Wolter. Description Logics with Circumscription. In Proc. KR 2006, pages 400-410, Lake District, UK, 2006.
4. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Data Complexity of Query Answering in Description Logics. In Proc. KR 2006, pages 260-270, Lake District, UK, 2006.
5. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and expressive power of logic programming. ACM Computing Surveys, 33(3):374-425, 2001. (Pubitemid 33768487)
6. F. M. Donini, D. Nardi, and R. Rosati. Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic, 3(2):177-225, 2002.
7. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining Answer Set Programming with Description Logics for the Semantic Web. In Proc. KR 2004, pages 141-151,Whistler, Canada, 2004.
8. M. Fitting. First-Order Logic and Automated Theorem Proving, 2nd Edition. Texts in Computer Science. Springer, 1996.
9. G. Gottlob. NP Trees and Carnap's Modal Logic. Journal of the ACM, 42(2):421-457, 1995.
10. U. Hustadt, B. Motik, and U. Sattler. Data Complexity of Reasoning in Very Expressive Description Logics. In Proc. IJCAI 2005, pages 466-471, Edinburgh, UK, 2005.
11. V. Lifschitz. Nonmonotonic Databases and Epistemic Queries. In Proc. IJCAI '91, pages 381-386, Sydney, Australia, 1991.
12. B. Motik and R. Rosati. Closing Semantic Web Ontologies. Technical report, University of Manchester, UK, 2006.
13. B. Motik, U. Sattler, and R. Studer. Query Answering for OWL-DL with rules. Journal of Web Semantics, 3(1):41-60, 2005. (Pubitemid 40891658)
14. R. Reiter. What Should a Database Know? Journal of Logic Programming, 14(1-2):127-153, 1992.
15. R. Rosati. Reasoning about Minimal Belief and Negation as Failure. Journal of Artificial Intelligence Research, 11:277-300, 1999. (Pubitemid 129628766)
16. R. Rosati. DL + log : A Tight Integration of Description Logics and Disjunctive Datalog. In Proc. KR 2006, pages 68-78, Lake District, UK, 2006.