Mantas Simkus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
52
Venues
15
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
52 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Common Foundations for Recursive Shape Languages. | Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Maxime Jakubowski, Jos Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk |
| 2026 | KR | Static Analysis of Recursive SHACL. | Anouk Michelle Oudshoorn, Magdalena Ortiz, Mantas Simkus |
| 2025 | JELIA | Towards Practicable Defeasible Reasoning for ABoxes. | Jonas Haldimann, Magdalena Ortiz, Mantas Simkus |
| 2025 | KR | Expressive Description Logics with Rich Yet Affordable Numeric Constraints. | Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2025 | KR | Minimal Model Reasoning in Description Logics: Don't Try This at Home! | Federica Di Stefano, Quentin Manire, Magdalena Ortiz, Mantas Simkus |
| 2025 | WWW | Common Foundations for SHACL, ShEx, and PG-Schema. | Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, Jos Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Axel Polleres, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk |
| 2024 | AAAI | Stable Model Semantics for Description Logic Terminologies. | Federica Di Stefano, Mantas Simkus |
| 2024 | KR | Equilibrium Description Logics: Results on Complexity and Relations to Circumscription. | Federica Di Stefano, Mantas Simkus |
| 2024 | KR | SHACL Validation under the Well-founded Semantics. | Cem Okulmus, Mantas Simkus |
| 2023 | ECAI | Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. | Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus |
| 2023 | IJCAI | Description Logics with Pointwise Circumscription. | Federica Di Stefano, Magdalena Ortiz, Mantas Simkus |
| 2021 | BPM | Process Mining with Common Sense. | Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus |
| 2021 | IJCAI | Bounded Predicates in Description Logics with Counting. | Sanja Lukumbuzya, Mantas Simkus |
| 2021 | KR | Reasoning about Explanations for Non-validation in SHACL. | Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus |
| 2020 | AAAI | Query Rewriting for Ontology-Mediated Conditional Answers. | Medina Andresel, Magdalena Ortiz, Mantas Simkus |
| 2020 | AAAI | Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. | Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2020 | ECAI | Ontology Focusing: Knowledge-Enriched Databases on Demand. | Tomasz Gogacz, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca, Filip Murlak, Magdalena Ortiz, Mantas Simkus |
| 2020 | KR | Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. | Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2020 | KR | An ExpTime Upper Bound for ALC with Integers. | Nadia Labai, Magdalena Ortiz, Mantas Simkus |
| 2020 | WWW | Stable Model Semantics for Recursive SHACL. | Medina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus |
| 2019 | AAAI | Relaxing and Restraining Queries for OBDA. | Medina Andresel, Yazmn Ibez-Garca, Magdalena Ortiz, Mantas Simkus |
| 2018 | AAAI | Combining Rules and Ontologies into Clopen Knowledge Bases. | Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus |
| 2018 | ICDT | Rewriting Guarded Existential Rules into Small Datalog Programs. | Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus |
| 2018 | IJCAI | Compiling Model Representations for Querying Large ABoxes in Expressive DLs. | Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus |
| 2018 | KR | Relaxing and Restraining Queries for OBDA - Extended Abstract. | Medina Andresel, Yazmn Anglica Ibez-Garca, Magdalena Ortiz, Mantas Simkus |
| 2018 | LPAR | The Triguarded Fragment of First-Order Logic. | Sebastian Rudolph, Mantas Simkus |
| 2016 | ICDT | Verification of Evolving Graph-structured Data under Expressive Path Constraints. | Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2016 | IJCAI | Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. | Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus |
| 2016 | KR | Closed Predicates in Description Logics: Results on Combined Complexity. | Nhung Ngo, Magdalena Ortiz, Mantas Simkus |
| 2015 | LICS | Extending ALCQIO with Trees. | Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
| 2015 | LPNMR | Linking Open-World Knowledge Bases Using Nonmonotonic Rules. | Thomas Eiter, Mantas Simkus |
| 2015 | WWW | Towards Reconciling SPARQL and Certain Answers. | Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek |
| 2014 | AAAI | Managing Change in Graph-Structured Data Using Description Logics. | Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2014 | AAAI | Capturing Relational Schemas and Functional Dependencies in RDFS. | Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus |
| 2014 | IFM | Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. | Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
| 2014 | KR | Nested Regular Path Queries in Description Logics. | Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2014 | PODS | Expressiveness of guarded existential rule languages. | Georg Gottlob, Sebastian Rudolph, Mantas Simkus |
| 2013 | IJCAI | Conjunctive Regular Path Queries in Lightweight Description Logics. | Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus |
| 2013 | IJCAI | Tractable Queries for Lightweight Description Logics. | Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao |
| 2012 | AAAI | Query Rewriting for Horn-SHIQ Plus Rules. | Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao |
| 2012 | KR | The Complexity of Explaining Negative Query Answers in DL-Lite. | Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni |
| 2011 | IJCAI | Containment of Regular Path Queries under Description Logic Constraints. | Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2011 | IJCAI | Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. | Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus |
| 2010 | KR | Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. | Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus |
| 2009 | ICLP | Fusion of Logic Programming and Description Logics. | Mantas Simkus |
| 2009 | IJCAI | Query Answering in Description Logics with Transitive Roles. | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| 2009 | IJCAI | Bidirectional Answer Set Programs with Function Symbols. | Thomas Eiter, Mantas Simkus |
| 2009 | WoLLIC | Query Answering in Description Logics: The Knots Approach. | Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus |
| 2008 | AAAI | Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. | Magdalena Ortiz, Mantas Simkus, Thomas Eiter |
| 2008 | JELIA | Query Answering in the Description Logic Horn-. | Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus |
| 2008 | LPAR | Reasoning Using Knots. | Thomas Eiter, Magdalena Ortiz, Mantas Simkus |
| 2007 | LPAR | \mathbb | Mantas Simkus, Thomas Eiter |