Rules and queries with ontologies: A unifying logical framework

CEUR Workshop Proceedings

Volumn 147, Issue , 2005, Pages

  Franconi, Enrico ^a   Tessaris, Sergio ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; LOGICAL FRAMEWORKS;

FORMAL LANGUAGES;

DATA DESCRIPTION;

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

References (25)

1. [Baget and Mugnier, 2002] Jean-Francois Baget and Marie-Laure Mugnier. Extensions of simple conceptual graphs: the complexity of rules and constraints. Journal of Artificial Intelli- gence research (JAIR), 16:425-465, 2002.
2. [Calvanese and Rosati, 2003] 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), pages 3-14. CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol- 79/2003.
3. [Calvanese et al., 2000] Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. An- swering queries using views over description logics knowledge bases. In Proc. of the 16th Nat. Conf. on Artificial Intelligence (AAAI 2000), pages 386-391, 2000.
4. [Calvanese et al., 2004] Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. What to ask to a peer: Ontology-based query reformulation. In Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004), 2004.
5. [Chen et al., 1993] Weidong Chen, Michael Kifer, and David Warren. HILOG: a foundation for higher-order logic programming. Journal of Logic Programming, 15(3):187-230, February 1993.
6. [Donini et al., 1998a] F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt, and A. Schaerf. An epistemic operator for description logics. Artificial Intelligence, 100(1-2):225-274, April 1998.
7. [Donini et al., 1998b] Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. AL-log: integrating datalog and description logics. Journal of Intelligent Informa tion Systems, 10(3):227-252, 1998.
8. [Eiter et al., 2004] Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tom- pits. Combining answer set programming with description logics for the semantic web. In Proc. of the International Conference of Knowledge Representation and Reasoning (KR'04), 2004.
9. [Fikes et al., 2003] Richard Fikes, Patrick Hayes, and Ian Horrocks. OWL-QL - A Language for Deductive Query Answering on the Semantic Web. Technical report, Knowledge Systems Laboratory, Stanford University, Stanford, CA, KSL-03-14, 2003.
10. [Franconi and Tessaris, 2004] Enrico Franconi and Sergio Tessaris. Rules and queries with ontologies: a unified logical framework. In Proc. of the Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), 2004.
11. [Franconi et al., 2003] Enrico Franconi, Gabriel Kuper, A. Lopatenko, and L. Serafini. A robust logical and computational characterisation of peer-to-peer database systems. In Inter- national VLDB Workshop On Databases, Information Systems and Peer-to-Peer Computing (DBISP2P'03), 2003.
12. [Franconi et al., 2004] Enrico Franconi, Ian Horrocks, Birte Glimm, Lei Li, Jeff Z. Pan, Wolf Siberski, Giorgos Stamou, Sergio Tessaris, Vassilis Tzouvaras, and Holger Wache. D2.5.2: Report on query language design and standarization. Technical report, EU-IST Network of Excellence (NoE) IST-2004-507482 KWEB, 2004. Available at http://knowledgeweb.semanticweb.org/.
13. [Gabbay et al., 2003] D.M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. many- Dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
14. [Ghidini and Serafini, 1998] Chiara Ghidini and Luciano Serafini. Distributed first order logics. In Franz Baader and Klaus Ulrich Schulz, editors, Frontiers of Combining Systems 2, Berlin, 1998. Research Studies Press.
15. [Grosof et al., 2003] Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. De- scription logic programs: Combining logic programs with description logic. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pages 48-57. ACM, 2003.
16. [Hayes, 2004] Patrick Hayes. RDF semantics. Technical report, W3C, February 2004. W3C recommendation, URL http://www.w3.org/TR/rdf-mt/.
17. [Horrocks and Patel-Schneider, 2004] Ian Horrocks and Peter F. Patel-Schneider. A proposal for an owl rules language. In Proc. of the Thirteenth International World Wide Web Con- ference (WWW 2004), 2004.
18. [Horrocks and Tessaris, 2002] Ian Horrocks and Sergio Tessaris. Querying the semantic web: A formal approach. In Proc. International Semantic Web Conference 2002 (ISWC-02), pages 177-191, 2002.
19. [Levy and Rousset, 1998] Alon Y. Levy and Marie-Christine Rousset. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104(1-2):165-209, 1998.
20. [Marx, 1999] Maarten Marx. Complexity of products of modal logics. J. Log. Comput., 9(2):197-214, 1999.
21. [Motik et al., 2004a] Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for owl-dl with rules. In International Semantic Web Conference, pages 549-563, 2004.
22. [Motik et al., 2004b] Boris Motik, Ulrike Stattler, and Ullrich Hustadt. Reducing SHIQ de- scription logic to disjunctive datalog programs. In Proc. of the International Conference of Knowledge Representation and Reasoning (KR'04), 2004.
23. [Reiter, 1992] Raymond Reiter. What should a database know? Journal of Logic Programming, 14(2, 3), 1992.
24. [Rosati, 1999] Riccardo Rosati. Towards expressive KR systems integrating datalog and de- scription logics: a preliminary report. In Proc. of the 1999 International Description Logics workshop (DL'99), pages 160-164, 1999.
25. [Swift, 2004] Terrance Swift. Deduction in ontologies via ASP. In Proc. of LPNMR 2004, pages 275-288, 2004.