Integrating ontologies and rules: Semantic and computational issues

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

Volumn 4126 LNCS, Issue , 2006, Pages 128-151

  Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATA STRUCTURES; FORMAL LOGIC; LOGIC PROGRAMMING; SEMANTICS;

FORMAL SYSTEMS; LOGIC-BASED SYSTEMS; ONTOLOGIES; OPEN-WORLD SEMANTICS;

INFORMATION ANALYSIS;

EID: 33749985726     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11837787_5     Document Type: Conference Paper

References (38)

1. Rule interchange format working group charter, http://www.w3.org/2005/ rules/wg/charter.
2. Grigoris Antoniou. A nonmonotonic rule system using ontologies. In Proc. of the First International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2002), volume 60 of CEUR Workshop Proceedings, 2002.
3. Grigoris Antoniou. Nonmonotonic rule systems on top of ontology layers. In Proc. of the 2002 International Semantic Web Conference (ISWC 2002), pages 394-398, 2002.
4. Grigoris Antoniou, A. Bikakis, and Gerd Wagner. A system for nonmonotonic rules on the web. In Proc. of the Third International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), pages 23-36, 2004.
5. Grigoris Antoniou, Carlos Viegas Damsio, Benjamin Grosof, Ian Horrocks, Michael Kifer, Jan Maluszynski, and Peter F. Patel-Schneider. Combining rules and ontologies. A survey. REWERSE Deliverable, http://rewerse.net/ publications#REWERSE-DEL-2005-I3-D3.
6. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
7. Chitta Baral and Michael Gelfond. Logic programming and knowledge representation. J. of Logic Programming, 19-20:73-148, 1994.
8. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. DL-Lite: Tractable description logics for ontologies. In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pages 602-607, 2005.
9. Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. On the decidability of query containment under constraints. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'98), pages 149-158, 1998.
10. Diego Calvanese and Riccardo Rosati. Answering recursive queries under keys and foreign keys is undecidable. In Proc. of the 10th Int. Workshop on Knowledge Representation meets Databases (KRDB 2003). CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-79/, 2003.
11. Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov. Complexity and expressive power of logic programming. ACM Computing Surveys, 33(3):374-425, 2001.
12. Jos de Bruijn, Ruben Lara, Axel Polleres, and Dieter Fensel. OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic web. In Proc. of the 14th international conference on World Wide Web (WWW 2005), pages 623-632, 2005.
13. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. Aℒ-log: Integrating Datalog and description logics. J. of Intelligent Information Systems, 10(3):227-252, 1998.
14. Thomas Eiter, Georg Gottlob, and Heikki Mannilla. Disjunctive Datalog. ACM Trans. on Database Systems, 22(3):364-418, 1997.
15. Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, and Hans Tompits. Reasoning with rules and ontologies. In Pedro Barahona, François Bry, Enrico Franconi, Ulrike Sattler, and Nicola Henze, editors. Reasoning Web, Second International Summer School 2005, Tutorial Lectures, Lecture Notes in Computer Science. Springer, 2006.
16. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The KR system dlv: Progress report, comparison and benchmarks. In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 636-647, 1998.
17. Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. Combining answer set programming with description logics for the semantic web. In Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2004), pages 141-151, 2004.
18. Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. Well-founded semantics for description logic programs in the semantic web. In Proc. of the Third International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), pages 81-97, 2004.
19. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
20. Birte Glimm, Ian Horrocks, and Ulrike Sattler. Conjunctive query answering for description logics with transitive roles. In Proc. of the 2006 Description Logic Workshop (DL 2006), 2006.
21. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: Combining logic programs with description logic. In Proc. of the 12th Int. World Wide Web Conf. (WWW 2003), pages 48-57, 2003.
22. Stijn Heymans, Davy Van Nieuwenborgh, and Dirk Vermeir. Semantic web reasoning with conceptual logic programs. In Proc. of the Third International Workshop. on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), pages 113-127, 2004.
23. Stijn Heymans and Dirk Vermeir. Integrating description logics and answer set programming. In Proc. of the 2003 International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2003), pages 146-159, 2003.
24. Ian Horrocks and Peter F. Patel-Schneider. A proposal for an OWL rules language. In Proc. of the 13th international conference on World Wide Web (WWW 2004), pages 723-731, 2004.
25. Ian Horrocks and Ulrike Sattler. Decidability of SHIQ with complex role inclusion axioms. Artificial Intelligence, 160(1-2):79-104, 2004.
26. Alon Y. Levy and Marie-Christine Rousset. CARIN: A representation language combining Horn rules and description logics. In Proc. of the 12th Eur. Conf. on Artificial Intelligence (ECAI'96), pages 323-327, 1996.
27. Alon Y. Levy and Marie-Christine Rousset. The limits on combining recursive Horn rules with description logics. In Proc. of the 13th Nat. Conf. on Artificial Intelligence (AAAI'96), pages 577-584, 1996.
28. Alon Y. Levy and Marie-Christine Rousset. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104(1-2):165-209, 1998.
29. Jing Mei, Shengping Liu, Anbu Yue, and Zuoquan Lin. An extension to OWL with general rules. In Proc. of the Third International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), pages 155-169, 2004.
30. Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWL-DL with rules. In Proc. of the 2004 International Semantic Web Conference (ISWC 2004), pages 549-563, 2004.
31. Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWL-DL with rules. Web Semantics, 3(1):41-60, 2005.
32. Maria Magdalena Ortiz, Diego Calvanese, and Thomas Eiter. Characterizing data complexity for conjunctive query answering in expressive description logics. In Proc. of the 21th Nat. Conf. on Artificial Intelligence (AAAI 2006), 2006.
33. Peter F. Patel-Schneider. Patrick J. Hayes, Ian Horrocks, and Frank van Harmelen. OWL web ontology language; semantics and abstract syntax. W3C candidate recommendation, http://www.w3.org/tr/owl-semantics/, november 2002.
34. Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
35. Riccardo Rosati. Towards expressive KR systems integrating Datalog and description logics: Preliminary report. In Proc. of the 1999 Description Logic Workshop (DL'99), pages 160-164. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-22/, 1999.
36. Riccardo Rosati. On the decidability and complexity of integrating ontologies and rules. Web Semantics, 3(1):61-73, 2005.
37. Riccardo Rosati. Semantic and computational advantages of the safe integration of ontologies and rules. In Proc. of the 2005 International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005), volume 3703 of Lecture Notes in Computer Science, pages 50-64. Springer. 2005.
38. Riccardo Rosati. Dℒ+log: Tight integration of description logics and disjunctive datalog. In Proc. of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), 2006. To appear.