Efficient Query Answering over Conceptual Schemas of Relational Databases : Technical Report - Mantas Simkus; Evaldas Taroza; Lina Lubyte; Daniel Trivellato; Zivile Norkunaite (CoRR, 2006)

mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. - Mantas Simkus; Thomas Eiter (LPAR, 2007)

Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. - Magdalena Ortiz 001; Mantas Simkus; Thomas Eiter (AAAI, 2008)

Conjunctive Query Answering in SH using Knots. - Magdalena Ortiz 001; Mantas Simkus; Thomas Eiter (Description Logics, 2008)

Query Answering in the Description Logic Horn-. - Thomas Eiter; Georg Gottlob; Magdalena Ortiz 001; Mantas Simkus (JELIA, 2008)

Reasoning Using Knots. - Thomas Eiter; Magdalena Ortiz 001; Mantas Simkus (LPAR, 2008)

Fusion of Logic Programming and Description Logics. - Mantas Simkus (ICLP, 2009)

Query Answering in Description Logics with Transitive Roles. - Thomas Eiter; Carsten Lutz; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2009)

Bidirectional Answer Set Programs with Function Symbols. - Thomas Eiter; Mantas Simkus (IJCAI, 2009)

Query Answering in Description Logics: The Knots Approach. - Thomas Eiter; Carsten Lutz; Magdalena Ortiz 001; Mantas Simkus (WoLLIC, 2009)

Query Answering in the Description Logic S. - Meghyn Bienvenu; Thomas Eiter; Carsten Lutz; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2010)

Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. - Magdalena Ortiz 001; Sebastian Rudolph; Mantas Simkus (KR, 2010)

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. - Thomas Eiter; Mantas Simkus (ACM Trans. Comput. Log., 2010)

The Complexity of Conjunctive Query Abduction in DL-Lite. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus; Giorgio Stefanoni (Description Logics, 2011)

Containment of Regular Path Queries under Description Logic Constraints. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2011)

Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. - Magdalena Ortiz 001; Sebastian Rudolph; Mantas Simkus (IJCAI, 2011)

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

Answering Expressive Path Queries over Lightweight DL Knowledge Bases. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2012)

Towards Practical Query Answering for Horn-SHIQ. - Thomas Eiter; Magdalena Ortiz 001; Mantas Simkus; Trung-Kien Tran; Guohui Xiao 001 (Description Logics, 2012)

The Complexity of Explaining Negative Query Answers in DL-Lite. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus; Giorgio Stefanoni (KR, 2012)

Datalog and Its Extensions for Semantic Web Databases. - Georg Gottlob; Giorgio Orsi 001; Andreas Pieris; Mantas Simkus (Reasoning Web, 2012)

Reasoning and Query Answering in Description Logics. - Magdalena Ortiz 001; Mantas Simkus (Reasoning Web, 2012)

Conjunctive query answering in the description logic SH using knots. - Thomas Eiter; Magdalena Ortiz 001; Mantas Simkus (J. Comput. Syst. Sci., 2012)

Tractability Guarantees for DL-Lite Query Answering. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus; Guohui Xiao 001 (Description Logics, 2013)

Evolving Graph Databases under Description Logic Constraints. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2013)

Conjunctive Regular Path Queries in Lightweight Description Logics. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2013)

Tractable Queries for Lightweight Description Logics. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus; Guohui Xiao 001 (IJCAI, 2013)

Reasoning about Explanations for Negative Query Answers in DL-Lite. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus; Giorgio Stefanoni (J. Artif. Intell. Res., 2013)

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

Planning and Change in Graph Structured Data under Description Logics Constraints. - Shqiponja Ahmetaj; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (AMW, 2014)

Nested Regular Path Queries in Description Logics (Extended Abstract). - Meghyn Bienvenu; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (AMW, 2014)

Planning Problems for Graph Structured Data in Description Logics. - Shqiponja Ahmetaj; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2014)

Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. - Diego Calvanese; Wolfgang Fischl; Reinhard Pichler; Emanuel Sallinger; Mantas Simkus (Description Logics, 2014)

Shape and Content: Incorporating Domain Knowledge into Shape Analysis. - Diego Calvanese; Tomer Kotek; Mantas Simkus; Helmut Veith; Florian Zuleger (Description Logics, 2014)

Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability. - Tomer Kotek; Mantas Simkus; Helmut Veith; Florian Zuleger (Description Logics, 2014)

Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. - Diego Calvanese; Tomer Kotek; Mantas Simkus; Helmut Veith; Florian Zuleger (IFM, 2014)

Nested Regular Path Queries in Description Logics. - Meghyn Bienvenu; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (KR, 2014)

Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. - Thomas Eiter; Patrik Schneider; Mantas Simkus; Guohui Xiao 001 (ORE, 2014)

Expressiveness of guarded existential rule languages. - Georg Gottlob; Sebastian Rudolph; Mantas Simkus (PODS, 2014)

Revisiting the Hardness of Query Answering in Expressive Description Logics. - Magdalena Ortiz 001; Mantas Simkus (RR, 2014)

Managing Change in Graph-structured Data Using Description Logics (long version with appendix). - Shqiponja Ahmetaj; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (CoRR, 2014)

Extending ALCQIO with reachability. - Tomer Kotek; Mantas Simkus; Helmut Veith; Florian Zuleger (CoRR, 2014)

Towards Reconciling SPARQL and Certain Answers (Extended Abstract). - Shqiponja Ahmetaj; Wolfgang Fischl; Reinhard Pichler; Mantas Simkus; Sebastian Skritek (AMW, 2015)

Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus (AMW, 2015)

DL-Lite and Conjunctive Queries Extended by Optional Matching. - Shqiponja Ahmetaj; Wolfgang Fischl; Reinhard Pichler; Mantas Simkus; Sebastian Skritek (Description Logics, 2015)

The Combined Complexity of Reasoning with Closed Predicates in Description Logics. - Nhung Ngo; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2015)

Extending ALCQIO with Trees. - Tomer Kotek; Mantas Simkus; Helmut Veith; Florian Zuleger (LICS, 2015)

Linking Open-World Knowledge Bases Using Nonmonotonic Rules. - Thomas Eiter; Mantas Simkus (LPNMR, 2015)

A Rule-based Framework for Creating Instance Data from OpenStreetMap. - Thomas Eiter; Jeff Z. Pan; Patrik Schneider; Mantas Simkus; Guohui Xiao 001 (RR, 2015)

Binary Frontier-Guarded ASP with Function Symbols. - Mantas Simkus (RuleML, 2015)

Towards Reconciling SPARQL and Certain Answers. - Shqiponja Ahmetaj; Wolfgang Fischl; Reinhard Pichler; Mantas Simkus; Sebastian Skritek (WWW, 2015)

Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. - Meghyn Bienvenu; Magdalena Ortiz 001; Mantas Simkus (J. Artif. Intell. Res., 2015)

Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (AMW, 2016)

Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2016)

A Compilation Technique for Interactive Ontology-mediated Data Exploration. - Medina Andresel; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2016)

The Challenge of Optional Matching in SPARQL. - Shqiponja Ahmetaj; Wolfgang Fischl; Markus Kröll; Reinhard Pichler; Mantas Simkus; Sebastian Skritek (FoIKS, 2016)

Verification of Evolving Graph-structured Data under Expressive Path Constraints. - Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (ICDT, 2016)

Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2016)

Closed Predicates in Description Logics: Results on Combined Complexity. - Nhung Ngo; Magdalena Ortiz 001; Mantas Simkus (KR, 2016)

Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. - Labinot Bajraktari; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2017)

Managing Change in Graph-Structured Data Using Description Logics. - Shqiponja Ahmetaj; Diego Calvanese; Magdalena Ortiz 001; Mantas Simkus (ACM Trans. Comput. Log., 2017)

Combining Rules and Ontologies into Clopen Knowledge Bases. - Labinot Bajraktari; Magdalena Ortiz 001; Mantas Simkus (AAAI, 2018)

Taming Complex Role Inclusions for DL-Lite. - Medina Andresel; Yazmín Angélica Ibáñez-García; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2018)

Satisfiability in the Triguarded Fragment of First-Order Logic. - Sebastian Rudolph; Mantas Simkus (Description Logics, 2018)

Rewriting Guarded Existential Rules into Small Datalog Programs. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (ICDT, 2018)

Compiling Model Representations for Querying Large ABoxes in Expressive DLs. - Labinot Bajraktari; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2018)

Relaxing and Restraining Queries for OBDA - Extended Abstract. - Medina Andresel; Yazmín Angélica Ibáñez-García; Magdalena Ortiz 001; Mantas Simkus (KR, 2018)

The Triguarded Fragment of First-Order Logic. - Sebastian Rudolph; Mantas Simkus (LPAR, 2018)

The Impact of Active Domain Predicates on Guarded Existential Rules. - Georg Gottlob; Andreas Pieris; Mantas Simkus (Fundam. Informaticae, 2018)

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

Answer Set Programs Challenged by Ontologies. - Magdalena Ortiz 001; Sanja Pavlovic; Mantas Simkus (Description Logics, 2019)

Query Rewriting for Ontology-Mediated Conditional Answers. - Medina Andresel; Magdalena Ortiz 001; Mantas Simkus (AAAI, 2020)

Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. - Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (AAAI, 2020)

Ontology Focusing: Knowledge-Enriched Databases on Demand. - Tomasz Gogacz; Víctor Gutiérrez-Basulto; Yazmín Ibáñez-García; Filip Murlak; Magdalena Ortiz 001; Mantas Simkus (ECAI, 2020)

Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. - Tomasz Gogacz; Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (KR, 2020)

An ExpTime Upper Bound for ALC with Integers. - Nadia Labai; Magdalena Ortiz 001; Mantas Simkus (KR, 2020)

Stable Model Semantics for Recursive SHACL. - Medina Andresel; Julien Corman; Magdalena Ortiz 001; Juan L. Reutter; Ognjen Savkovic; Mantas Simkus (WWW, 2020)

Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (Artif. Intell., 2020)

An ExpTime Upper Bound for ALC with Integers (Extended Version). - Nadia Labai; Magdalena Ortiz 001; Mantas Simkus (CoRR, 2020)

Interview with Diego Calvanese. - Diego Calvanese; Mantas Simkus (Künstliche Intell., 2020)

Special Issue on Ontologies and Data Management: Part I. - Thomas Schneider 002; Mantas Simkus (Künstliche Intell., 2020)

Ontologies and Data Management: A Brief Survey. - Thomas Schneider 002; Mantas Simkus (Künstliche Intell., 2020)

Special Issue on Ontologies and Data Management: Part II. - Thomas Schneider 002; Mantas Simkus (Künstliche Intell., 2020)

Process Mining with Common Sense. - Diego Calvanese; Sanja Lukumbuzya; Marco Montali; Mantas Simkus (Problems@BPM, 2021)

Reasoning about Explanations for Non-validation in SHACL (Extended Abstract). - Shqiponja Ahmetaj; Robert David 001; Magdalena Ortiz 001; Axel Polleres; Bojken Shehu; Mantas Simkus (Description Logics, 2021)

Bounded Predicates in Description Logics with Counting. - Sanja Lukumbuzya; Mantas Simkus (IJCAI, 2021)

Reasoning about Explanations for Non-validation in SHACL. - Shqiponja Ahmetaj; Robert David 001; Magdalena Ortiz 001; Axel Polleres; Bojken Shehu; Mantas Simkus (KR, 2021)

Explanations for Non-validation in SHACL. - Shqiponja Ahmetaj; Robert David 001; Magdalena Ortiz 001; Axel Polleres; Bojken Shehu; Mantas Simkus (ISWC (Posters/Demos/Industry), 2021)

Magic Shapes for Validation in SHACL. - Shqiponja Ahmetaj; Bianca Loehnert; Magdalena Ortiz 001; Mantas Simkus (ISWC (Posters/Demos/Industry), 2021)

Well-founded Semantics for Recursive SHACL. - Adrian Chmurovic; Mantas Simkus (Datalog, 2022)

Pointwise Circumscription in Description Logics. - Federica Di Stefano 001; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2022)

Repairing SHACL Constraint Violations Using Answer Set Programming. - Shqiponja Ahmetaj; Robert David 001; Axel Polleres; Mantas Simkus (ISWC, 2022)

Magic Shapes for SHACL Validation. - Shqiponja Ahmetaj; Bianca Löhnert; Magdalena Ortiz 001; Mantas Simkus (Proc. VLDB Endow., 2022)

On the Way to Temporal OBDA Systems (short paper). - Diego Calvanese; Cem Okulmus; Magdalena Ortiz 001; Mantas Simkus (AMW, 2023)

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). - Shqiponja Ahmetaj; Magdalena Ortiz 001; Anouk Michelle Oudshoorn; Mantas Simkus (Description Logics, 2023)

Circumscription in DL-Lite: Progress Report. - Piero A. Bonatti; Federica Di Stefano 001; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2023)

On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. - Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2023)

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Anouk Oudshoorn; Mantas Simkus (ECAI, 2023)

Description Logics with Pointwise Circumscription. - Federica Di Stefano 001; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2023)

Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach. - Arka Ghosh 003; Mantas Simkus; Diego Calvanese (RuleML+RR (Companion), 2023)

Towards Techniques for Updating Virtual Knowledge Graphs. - Romuald Esdras Wandji; Mantas Simkus; Diego Calvanese (RuleML+RR (Companion), 2023)

The biggest business process management problems to solve before we die. - Iris Beerepoot; Claudio Di Ciccio; Hajo A. Reijers; Stefanie Rinderle-Ma; Wasana Bandara; Andrea Burattin; Diego Calvanese; Tianwa Chen; Izack Cohen; Benoît Depaire; Gemma Di Federico; Marlon Dumas; et al. (Comput. Ind., 2023)

Stable Model Semantics for Description Logic Terminologies. - Federica Di Stefano 001; Mantas Simkus (AAAI, 2024)

Towards SHACL Validation of Evolving Graphs. - Shqiponja Ahmetaj; Magdalena Ortiz 001; Mantas Simkus (AMW, 2024)

Translating Equilibrium Description Logics into Circumscription. - Federica Di Stefano 001; Mantas Simkus (Description Logics, 2024)

Stable Model Semantics for Description Logic Terminologies (Extended Abstract). - Federica Di Stefano 001; Mantas Simkus (Description Logics, 2024)

Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. - Anouk Oudshoorn; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2024)

Equilibrium Description Logics: Results on Complexity and Relations to Circumscription. - Federica Di Stefano 001; Mantas Simkus (KR, 2024)

SHACL Validation under the Well-founded Semantics. - Cem Okulmus; Mantas Simkus (KR, 2024)

Datalog rewritability and data complexity of ALCHOIQ with closed predicates. - Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (Artif. Intell., 2024)

Towards Practicable Defeasible Reasoning for ABoxes. - Jonas Haldimann; Magdalena Ortiz 001; Mantas Simkus (JELIA (1), 2025)

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; et al. (WWW, 2025)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques. - Anouk Oudshoorn; Magdalena Ortiz 001; Mantas Simkus (CoRR, 2025)

SHACL Validation under Graph Updates (Extended Paper). - Shqiponja Ahmetaj; George Konstantinidis 001; Magdalena Ortiz 001; Paolo Pareti; Mantas Simkus (CoRR, 2025)

Minimal Model Reasoning in Description Logics: Don't Try This at Home! - Federica Di Stefano 001; Quentin Manière; Magdalena Ortiz 001; Mantas Simkus (CoRR, 2025)

Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Magdalena Ortiz 001; Matias Selin; Mantas Simkus (CoRR, 2025)