| Query rewriting for Horn-SHIQ plus rules T Eiter, M Ortiz, M Simkus, TK Tran, G Xiao Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 726-733, 2012 | 194 | 2012 |
| Ontology-mediated query answering with data-tractable description logics M Bienvenu, M Ortiz Reasoning Web. Web Logic Rules: 11th International Summer School 2015 …, 2015 | 169 | 2015 |
| Data complexity of query answering in expressive description logics via tableaux M Ortiz, D Calvanese, T Eiter Journal of Automated Reasoning 41 (1), 61-98, 2008 | 127 | 2008 |
| Query answering in the Horn fragments of the description logics SHOIQ and SROIQ M Ortiz, S Rudolph, M Simkus IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011 | 117 | 2011 |
| Regular path queries in expressive description logics with nominals D Calvanese, T Eiter, M Ortiz Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 106 | 2009 |
| Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2 M Ortiz, S Rudolph, M Simkus Twelfth International Conference on the Principles of Knowledge …, 2010 | 104 | 2010 |
| Characterizing data complexity for conjunctive query answering in expressive description logics M Ortiz, D Calvanese, T Eiter PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (1), 275, 2006 | 95 | 2006 |
| Reasoning about explanations for negative query answers in DL-Lite D Calvanese, M Ortiz, M Simkus, G Stefanoni Journal of Artificial Intelligence Research 48, 635-669, 2013 | 87 | 2013 |
| Query answering in the description logic horn T Eiter, G Gottlob, M Ortiz, M Šimkus European Workshop on Logics in Artificial Intelligence, 166-179, 2008 | 84 | 2008 |
| Research directions for principles of data management (dagstuhl perspectives workshop 16151) S Abiteboul, M Arenas, P Barceló, M Bienvenu, D Calvanese, C David, ... Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2018 | 73* | 2018 |
| Reasoning and query answering in description logics M Ortiz, M Šimkus Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012 | 72 | 2012 |
| Query Answering in Description Logics with Transitive Roles. T Eiter, C Lutz, M Ortiz, M Simkus IJCAI 9, 759-764, 2009 | 71 | 2009 |
| Answering regular path queries in expressive description logics: An automata-theoretic approach D Calvanese, T Eiter, M Ortiz AAAI 7, 391-396, 2007 | 71 | 2007 |
| Closed predicates in description logics: Results on combined complexity N Ngo, M Ortiz, M Simkus Fifteenth International Conference on the Principles of Knowledge …, 2016 | 58 | 2016 |
| Tractable Queries for Lightweight Description Logics. M Bienvenu, M Ortiz, M Simkus, G Xiao IJCAI 13, 768-774, 2013 | 57 | 2013 |
| Nested regular path queries in description logics M Bienvenu, D Calvanese, M Ortiz, M Simkus Fourteenth International Conference on the Principles of Knowledge …, 2014 | 53 | 2014 |
| Answering regular path queries in expressive description logics via alternating tree-automata D Calvanese, T Eiter, M Ortiz Information and Computation 237, 12-55, 2014 | 51 | 2014 |
| Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. S Ahmetaj, M Ortiz, M Simkus IJCAI, 878-885, 2016 | 45* | 2016 |
| Managing change in graph-structured data using description logics S Ahmetaj, D Calvanese, M Ortiz, M Šimkus ACM transactions on computational logic (TOCL) 18 (4), 1-35, 2017 | 44 | 2017 |
| Conjunctive query answering in the description logic SH using knots T Eiter, M Ortiz, M Šimkus Journal of Computer and System Sciences 78 (1), 47-85, 2012 | 42 | 2012 |
Mantas ŠimkusTU Wien, Austriadbai.tuwien.ac.at의 이메일 확인됨