Simkus, Mantas

21 publications

AAAI 2024 Stable Model Semantics for Description Logic Terminologies Federica Di Stefano, Mantas Simkus

IJCAI 2023 Description Logics with Pointwise Circumscription Federica Di Stefano, Magdalena Ortiz, Mantas Simkus

IJCAI 2021 Bounded Predicates in Description Logics with Counting Sanja Lukumbuzya, Mantas Simkus

AAAI 2020 Query Rewriting for Ontology-Mediated Conditional Answers Medina Andresel, Magdalena Ortiz, Mantas Simkus

AAAI 2020 Resilient Logic Programs: Answer Set Programs Challenged by Ontologies Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus

AAAI 2019 Relaxing and Restraining Queries for OBDA Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz, Mantas Simkus

AAAI 2018 Combining Rules and Ontologies into Clopen Knowledge Bases Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus

IJCAI 2018 Compiling Model Representations for Querying Large ABoxes in Expressive DLs Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus

IJCAI 2016 Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus

JAIR 2015 Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus

AAAI 2014 Capturing Relational Schemas and Functional Dependencies in RDFS Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus

AAAI 2014 Managing Change in Graph-Structured Data Using Description Logics Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus

IJCAI 2013 Conjunctive Regular Path Queries in Lightweight Description Logics Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus

JAIR 2013 Reasoning About Explanations for Negative Query Answers in DL-Lite Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni

IJCAI 2013 Tractable Queries for Lightweight Description Logics Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao

AAAI 2012 Query Rewriting for Horn-SHIQ Plus Rules Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao

IJCAI 2011 Containment of Regular Path Queries Under Description Logic Constraints Diego Calvanese, Magdalena Ortiz, Mantas Simkus

IJCAI 2011 Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus

IJCAI 2009 Bidirectional Answer Set Programs with Function Symbols Thomas Eiter, Mantas Simkus

IJCAI 2009 Query Answering in Description Logics with Transitive Roles Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus

AAAI 2008 Worst-Case Optimal Conjunctive Query Answering for an Expressive Description Logic Without Inverses Magdalena Ortiz, Mantas Simkus, Thomas Eiter