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 | 189 | 2012 |
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 | 114 | 2011 |
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 | 102 | 2010 |
The biggest business process management problems to solve before we die I Beerepoot, C Di Ciccio, HA Reijers, S Rinderle-Ma, W Bandara, ... Computers in Industry 146, 103837, 2023 | 88 | 2023 |
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 | 85 | 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 | 83 | 2008 |
Query Answering in Description Logics with Transitive Roles. T Eiter, C Lutz, M Ortiz, M Simkus IJCAI 9, 759-764, 2009 | 70 | 2009 |
Reasoning and query answering in description logics M Ortiz, M Šimkus Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th …, 2012 | 66 | 2012 |
Tractable Queries for Lightweight Description Logics. M Bienvenu, M Ortiz, M Simkus, G Xiao IJCAI 13, 768-774, 2013 | 55 | 2013 |
Closed predicates in description logics: Results on combined complexity N Ngo, M Ortiz, M Simkus Fifteenth International Conference on the Principles of Knowledge …, 2016 | 53 | 2016 |
Expressiveness of guarded existential rule languages G Gottlob, S Rudolph, M Simkus Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of …, 2014 | 51 | 2014 |
Nested regular path queries in description logics M Bienvenu, D Calvanese, M Ortiz, M Simkus Fourteenth International Conference on the Principles of Knowledge …, 2014 | 51 | 2014 |
Answer set programming P Bonatti, F Calimeri, N Leone, F Ricca A 25-Year Perspective on Logic Programming: Achievements of the Italian …, 2010 | 51 | 2010 |
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols T Eiter, M Šimkus ACM Transactions on Computational Logic (TOCL) 11 (2), 1-50, 2010 | 50 | 2010 |
: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols M Šimkus, T Eiter International Conference on Logic for Programming Artificial Intelligence …, 2007 | 48 | 2007 |
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 |
Capturing relational schemas and functional dependencies in RDFS D Calvanese, W Fischl, R Pichler, E Sallinger, M Simkus Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 44 | 2014 |
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 | 41 | 2012 |
Ontologies and data management: a brief survey T Schneider, M Šimkus KI-Künstliche Intelligenz 34 (3), 329-353, 2020 | 37 | 2020 |
Stable model semantics for recursive SHACL M Andresel, J Corman, M Ortiz, JL Reutter, O Savkovic, M Simkus Proceedings of The Web Conference 2020, 1570-1580, 2020 | 37 | 2020 |