Mantas Šimkus

Query Rewriting for Horn-SHIQ Plus Rules

Thomas Eiter, Magdalena Ortiz, Mantas Šimkus et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 148 citations · Full text

Engineering, Ontology Engineering, Horn-shiq Plus Rules +18

The biggest business process management problems to solve before we die

Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers et al. · Computers in Industry · 2023 · 145 citations · Full text

Query answering in the horn fragments of the description logics SHOIQ and SROIQ

Magdalena Ortiz, Sebastian Rudolph, Mantas Šimkus · International Joint Conference on Artificial Intelligence · 2011 · 83 citations

Engineering, Higher-order Logic, Semantics +21

Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2

Magdalena Ortiz, Sebastian Rudolph, Mantas Šimkus · 2010 · 70 citations

Query answering in description logics with transitive roles

Thomas Eiter, Carsten Lutz, Magdalena Ortiz et al. · International Joint Conference on Artificial Intelligence · 2009 · 59 citations