Rules and queries with ontologies: A unified logical framework

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

Volumn 3208, Issue , 2004, Pages 50-60

  Franconi, Enrico ^a   Tessaris, Sergio ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION;

DESCRIPTION LOGIC; LOGICAL FRAMEWORKS;

SEMANTIC WEB;

EID: 33744819911     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30122-6_4     Document Type: Article

References (21)

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 Intelligence 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 £003), 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. Answering 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. [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.
6. [Donini et al., 1998b] Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. ,A∠-log: integrating datalog and description logics. Journal of Intelligent Information Systems, 10(3): 227-252, 1998.
7. [Eiter et al., 2004] Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. 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.
8. [Fikes et al., 2003] Richard Fikes, Patrick Hayes, and lan 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.
9. [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 International VLDB Workshop On Databases, Information Systems and Peer-to-Peer Computing (DBISP2P'03), 2003.
10. [Gabbay et al., 2003] D.M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. many-Dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
11. [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.
12. [Grosof et al., 2003] Benjamin N. Grosof, lan Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: combining logic programs with description logic. In Proc. of the Twenlth International World Wide Web Conference (WWW 2003), pages 48-57. ACM, 2003.
13. [Horrocks and Peter F. Patel-Schneider, 2004] lan Horrocks and Peter F. Patel-Schneider. A proposal for an owl rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), 2004.
14. [Horrocks and Tessaris, 2002] lan Horrocks and Sergio Tessaris. Querying the semantic web: a formal approach. In Proc. International Semantic Web Conference 2002 (ISWC-02), pages 177-191, 2002.
15. [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.
16. [Marx, 1999] Maarten Marx. Complexity of products of modal logics. J. Log. Comput., 9(2):197-214, 1999.
17. [Motik et al., 2004] Boris Motik, Ulrike Stattler, and Ullrich Hustadt. Reducing SHIQ description logic to disjunctive datalog programs. In Proc. of the International Conference of Knowledge Representation and Reasoning (KR'04), 2004.
18. [Reiter, 1992] Raymond Reiter. What should a database know? Journal of Logic Programming, 14(2,3), 1992.
19. [Rosati, 1999] Riccardo Rosati. Towards expressive KR systems integrating datalog and description logics: a preliminary report. In Proc. of the 1999 International Description Logics workshop (DL'99), pages 160-164, 1999.
20. [Swift, 2004] Terrance Swift. Deduction in ontologies via ASP. In Proc. of LPNMR S004, pages 275-288, 2004.
21. [Tessaris et al., 2002] Sergio Tessaris, lan Horrocks, and Graham Gough. Evaluating a modular abox algorithm. In Proc. of the International Conference of Knowledge Representation and Reasoning (KR'02), pages 227-238, 2002.