Optimising resolution-based rewriting algorithms for DL ontologies

CEUR Workshop Proceedings

Volumn 1014, Issue , 2013, Pages 464-476

  Trivela, Despoina ^a   Stoilos, Giorgos ^a   Chortaras, Alexandros ^a   Stamou, Giorgos ^a  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

DATALOG; DISJUNCTIVE DATALOG; DL-LITE; EXPERIMENTAL EVALUATION; HYPER-RESOLUTION; INFERENCE RULES; REWRITING ALGORITHM;

ALGORITHMS; DATA DESCRIPTION; FORMAL LANGUAGES; COMPUTATION THEORY; INFERENCE ENGINES;

INFERENCE ENGINES; ALGORITHMS;

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

References (24)

1. Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, and Riccardo Rosati. Quonto: Querying ontologies. In AAAI, pages 1670-1671, 2005.
2. Leo Bachmair and Harald Ganzinger. Resolution theorem proving. In Handbook of Automated Reasoning, pages 19-99. Elsevier and MIT Press, 2001.
3. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3):385-429, 2007.
4. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Data complexity of query answering in description logics. Artificial Intelligence, 195:335-360, 2013.
5. Diego Calvanese, Evgeny Kharlamov, Werner Nutt, and Dmitriy Zheleznyakov. Evolution of dl-lite knowledge bases. In International Semantic Web Conference (1), pages 112-128, 2010.
6. Chin-Liang Chang and Richard C. T. Lee. Symbolic logic and mechanical theorem proving. Computer science classics. Academic Press, 1973.
7. A. Chortaras, D. Trivela, and G. Stamou. Optimized query rewriting in OWL 2 QL. In Proc. of CADE 23, pages 192-206, 2011.
8. Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, and Guohui Xiao. Query rewriting for Horn-SHIQ plus rules. In AAAI, 2012.
9. Christian G Fermüller, Alexander Leitsch, Ullrich Hustadt, and Tanel Tammet. Resolution decision procedures. In Handbook of Automated Reasoning, pages 1791-1849. Elsevier Science Publishers BV, 2001.
10. Giorgos Flouris, Dimitris Manakanatas, Haridimos Kondylakis, Dimitris Plexousakis, and Grigoris Antoniou. Ontology change: classification and survey. Knowledge Eng. Review, 23(2):117-152, 2008.
11. Rafael S. Gonçalves, Bijan Parsia, and Ulrike Sattler. Analysing the evolution of the nci thesaurus. In CBMS, pages 1-6, 2011.
12. Ullrich Hustadt, Boris Motik, and Ulrike Sattler. Deciding Expressive Description Logics in the Framework of Resolution. Information & Computation, 206(5):579-601, 2008.
13. Ullrich Hustadt and Renate A Schmidt. Issues of decidability for description logics in the framework of resolution. In Automated Deduction in Classical and Non-Classical Logics, pages 191-205. Springer, 2000.
14. Martha Imprialou, Giorgos Stoilos, and Bernardo Cuenca Grau. Benchmarking ontology-based query rewriting systems. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012). AAAI Press, 2012.
15. Boris Motik. Description Logics and Disjunctive Datalog-More Than just a Fleeting Resemblance? In Proc. of the 4th Workshop on Methods for Modalities (M4M-4), volume 194, pages 246-265, 2005.
16. Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWL-DL with rules. J. Web Sem., 3(1):41-60, 2005.
17. Giorgio Orsi and Andreas Pieris. Optimizing query answering under ontological constraints. VLDB Endowment, 4(11):1004-1015, 2011.
18. Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks. Rewriting Conjunctive Queries under Description Logic Constraints. In Andrea Cal'i, Georg Gottlob, Laks V.S. Lakshmanan, and Davide Martinenghi, editors, Proc. of the Int. Work-shop on Logic in Databases (LID 2008), Rome, Italy, May 19-20 2008.
19. Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks. Tractable query answering and rewriting under description logic constraints. Journal of Applied Logic, 8(2):186-209, 2010.
20. Mariano Rodriguez-Muro and Diego Calvanese. High performance query answering over DL-Lite ontologies. In KR, 2012.
21. Riccardo Rosati and Alessandro Almatelli. Improving query answering over DLLite ontologies. In Proc. of KR-10, 2010.
22. Frantisek Simancik, Yevgeny Kazakov, and Ian Horrocks. Consequence-based reasoning beyond horn ontologies. In IJCAI, pages 1093-1098, 2011.
23. Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, and Ian Horrocks. Repairing ontologies for incomplete reasoners. In Proceedings of the 10th International Semantic Web Conference (ISWC-11), Bonn, Germany, pages 681-696, 2011.
24. Tassos Venetis, Giorgos Stoilos, and Giorgos Stamou. Query extensions and incremental query rewriting for OWL 2 QL ontologies. Journal on Data Semantics, Accepted, 2013.