Mantas Šimkus
Technische Universität Wien
H-index: 26
Europe-Austria
Top articles of Mantas Šimkus
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Stable Model Semantics for Description Logic Terminologies | Proceedings of the AAAI Conference on Artificial Intelligence | Federica Di Stefano Mantas Šimkus | 2024/3/24 |
Datalog Rewritability and Data Complexity of ALCHOIQ with Closed Predicates | Artificial Intelligence | Sanja Lukumbuzya Magdalena Ortiz Mantas Šimkus | 2024/2/23 |
On the expressive power of ontology-mediated queries: capturing coNP | Sanja Lukumbuzya Magdalena Ortiz Mantas Šimkus | 2023 | |
Circumscription in DL-Lite: progress report | Piero Bonatti Federica Di Stefano Magdalena Ortiz Mantas Šimkus | 2023 | |
Reconciling SHACL and ontologies: semantics and validation via rewriting | Shqiponja Ahmetaj Magdalena Ortiz Anouk Oudshoorn Mantas Šimkus | 2023 | |
Semantic querying of integrated raster and relational data: a virtual knowledge graph approach | Arka Ghosh Mantas Šimkus Diego Calvanese | 2023 | |
Description logics with pointwise circumscription | Federica Di Stefano Magdalena Ortiz Mantas Šimkus | 2023 | |
Towards techniques for updating virtual knowledge graphs | Romuald Esdras Wandji Mantas Šimkus Diego Calvanese | 2023 | |
The biggest business process management problems to solve before we die | Computers in Industry | Iris Beerepoot Claudio Di Ciccio Hajo A Reijers Stefanie Rinderle-Ma Wasana Bandara | 2023/4/1 |
On the way to temporal OBDA systems | Diego Calvanese Cem Okulmus Magdalena Ortiz Mantas Šimkus | 2023 | |
Repairing SHACL constraint violations using answer set programming | Shqiponja Ahmetaj Robert David Axel Polleres Mantas Šimkus | 2022/10/16 | |
Reasoning Web. Declarative Artificial Intelligence: 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures | Mantas Šimkus Ivan Varzinczak | 2022/1/31 | |
Pointwise circumscription in description logics | Federica Di Stefano Magdalena Ortiz Mantas Šimkus | 2022 | |
Well-founded semantics for recursive SHACL | Adrian Chmurovic Mantas Šimkus | 2022 | |
Magic shapes for SHACL validation | Shqiponja Ahmetaj Bianca Löhnert Magdalena Ortiz Mantas Šimkus | 2022 | |
Reasoning about explanations for non-validation in SHACL | Shqiponja Ahmetaj Robert David Magdalena Ortiz Axel Polleres Bojken Shehu | 2021/9/30 | |
Bounded Predicates in Description Logics with Counting | Sanja Lukumbuzya Mantas Simkus | 2021 | |
Explanations for Non-validation in SHACL. | Shqiponja Ahmetaj Robert David Magdalena Ortiz Axel Polleres Bojken Shehu | 2021 | |
Magic Shapes for Validation in SHACL. | Shqiponja Ahmetaj Bianca Löhnert Magdalena Ortiz Mantas Simkus | 2021 | |
Process mining with common sense | Diego Calvanese Sanja Lukumbuzya Marco Montali Mantas Simkus | 2021 |
Co-Authors
