Mantas Simkus

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 61

Top Venues

Publications

Federica Di Stefano, Mantas Simkus
Translating Equilibrium Description Logics into Circumscription. Description Logics (2024)
Federica Di Stefano, Mantas Simkus
Stable Model Semantics for Description Logic Terminologies (Extended Abstract). Description Logics (2024)
Federica Di Stefano, Mantas Simkus
Stable Model Semantics for Description Logic Terminologies. AAAI (2024)
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Datalog rewritability and data complexity of ALCHOIQ with closed predicates. Artif. Intell. 330 (2024)
Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases. Description Logics (2024)
Arka Ghosh, Mantas Simkus, Diego Calvanese
Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach. RuleML+RR (Companion) (2023)
Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ISWC (Posters/Demos/Industry) (2023)
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, Christopher G. J. van Dun, Tobias Fehrer, Dominik Andreas Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo A. López, Sanja Lukumbuzya, Jan Mendling, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq, Ronny Seiger, Tijs Slaats, Mantas Simkus, Ida Asadi Someh, Barbara Weber, Ingo Weber, Mathias Weske, Francesca Zerbato
The biggest business process management problems to solve before we die. Comput. Ind. 146 (2023)
Piero Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Circumscription in DL-Lite: Progress Report. Description Logics (2023)
Romuald Esdras Wandji, Mantas Simkus, Diego Calvanese
Towards Techniques for Updating Virtual Knowledge Graphs. RuleML+RR (Companion) (2023)
Diego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus
On the Way to Temporal OBDA Systems (short paper). AMW (2023)
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
On the Expressive Power of Ontology-Mediated Queries: Capturing coNP. Description Logics (2023)
Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting. ECAI (2023)
Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Michelle Oudshoorn, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract). Description Logics (2023)
Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Description Logics with Pointwise Circumscription. IJCAI (2023)
Shqiponja Ahmetaj, Bianca Löhnert, Magdalena Ortiz, Mantas Simkus
Magic Shapes for SHACL Validation. Proc. VLDB Endow. 15 (10) (2022)
Adrian Chmurovic, Mantas Simkus
Well-founded Semantics for Recursive SHACL. Datalog (2022)
Shqiponja Ahmetaj, Robert David, Axel Polleres, Mantas Simkus
Repairing SHACL Constraint Violations Using Answer Set Programming. ISWC (2022)
Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Pointwise Circumscription in Description Logics. Description Logics (2022)
Sanja Lukumbuzya, Mantas Simkus
Bounded Predicates in Description Logics with Counting. IJCAI (2021)
Shqiponja Ahmetaj, Bianca Loehnert, Magdalena Ortiz, Mantas Simkus
Magic Shapes for Validation in SHACL. ISWC (Posters/Demos/Industry) (2021)
Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Explanations for Non-validation in SHACL. ISWC (Posters/Demos/Industry) (2021)
Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus
Process Mining with Common Sense. Problems@BPM (2021)
Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Reasoning about Explanations for Non-validation in SHACL. KR (2021)
Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Reasoning about Explanations for Non-validation in SHACL (Extended Abstract). Description Logics (2021)
Medina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus
Stable Model Semantics for Recursive SHACL. WWW (2020)
Diego Calvanese, Mantas Simkus
Interview with Diego Calvanese. Künstliche Intell. 34 (4) (2020)
Thomas Schneider, Mantas Simkus
Ontologies and Data Management: A Brief Survey. Künstliche Intell. 34 (3) (2020)
Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. KR (2020)
Thomas Schneider, Mantas Simkus
Special Issue on Ontologies and Data Management: Part II. Künstliche Intell. 34 (4) (2020)
Medina Andresel, Magdalena Ortiz, Mantas Simkus
Query Rewriting for Ontology-Mediated Conditional Answers. AAAI (2020)
Nadia Labai, Magdalena Ortiz, Mantas Simkus
An ExpTime Upper Bound for ALC with Integers (Extended Version). CoRR (2020)
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies. AAAI (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-Enriched Databases on Demand. ECAI (2020)
Nadia Labai, Magdalena Ortiz, Mantas Simkus
An ExpTime Upper Bound for ALC with Integers. KR (2020)
Thomas Schneider, Mantas Simkus
Special Issue on Ontologies and Data Management: Part I. Künstliche Intell. 34 (3) (2020)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. Artif. Intell. 280 (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-enriched Databases on Demand. CoRR (2019)
Medina Andresel, Yazmín Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA. AAAI (2019)
Magdalena Ortiz, Sanja Pavlovic, Mantas Simkus
Answer Set Programs Challenged by Ontologies. Description Logics (2019)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog. CoRR (2019)
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA. CoRR (2018)
Georg Gottlob, Andreas Pieris, Mantas Simkus
The Impact of Active Domain Predicates on Guarded Existential Rules. Fundam. Informaticae 159 (1-2) (2018)
Sebastian Rudolph, Mantas Simkus
Satisfiability in the Triguarded Fragment of First-Order Logic. Description Logics (2018)
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Combining Rules and Ontologies into Clopen Knowledge Bases. AAAI (2018)
Sebastian Rudolph, Mantas Simkus
The Triguarded Fragment of First-Order Logic. LPAR (2018)
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Compiling Model Representations for Querying Large ABoxes in Expressive DLs. IJCAI (2018)
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Taming Complex Role Inclusions for DL-Lite. Description Logics (2018)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Rewriting Guarded Existential Rules into Small Datalog Programs. ICDT (2018)
Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA - Extended Abstract. KR (2018)
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming. Description Logics (2017)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Managing Change in Graph-Structured Data Using Description Logics. ACM Trans. Comput. Log. 18 (4) (2017)
Georg Gottlob, Andreas Pieris, Mantas Simkus
The Impact of Active Domain Predicates on Guarded Existential Rules. RR (2016)
Medina Andresel, Magdalena Ortiz, Mantas Simkus
A Compilation Technique for Interactive Ontology-mediated Data Exploration. Description Logics (2016)
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
Closed Predicates in Description Logics: Results on Combined Complexity. AMW (2016)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Verification of Evolving Graph-structured Data under Expressive Path Constraints. ICDT (2016)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. Description Logics (2016)
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
Closed Predicates in Description Logics: Results on Combined Complexity. KR (2016)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. IJCAI (2016)
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates. AMW (2016)
Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
The Challenge of Optional Matching in SPARQL. FoIKS (2016)
Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Extending ALCQIO with Trees. LICS (2015)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. AMW (2015)
Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao
A Rule-based Framework for Creating Instance Data from OpenStreetMap. RR (2015)
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
DL-Lite and Conjunctive Queries Extended by Optional Matching. Description Logics (2015)
Thomas Eiter, Mantas Simkus
Linking Open-World Knowledge Bases Using Nonmonotonic Rules. LPNMR (2015)
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
The Combined Complexity of Reasoning with Closed Predicates in Description Logics. Description Logics (2015)
Mantas Simkus
Binary Frontier-Guarded ASP with Function Symbols. RuleML (2015)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. J. Artif. Intell. Res. 53 (2015)
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Towards Reconciling SPARQL and Certain Answers (Extended Abstract). AMW (2015)
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Towards Reconciling SPARQL and Certain Answers. WWW (2015)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Planning Problems for Graph Structured Data in Description Logics. Description Logics (2014)
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Nested Regular Path Queries in Description Logics (Extended Abstract). AMW (2014)
Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability. Description Logics (2014)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Managing Change in Graph-structured Data Using Description Logics (long version with appendix). CoRR (2014)
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Nested Regular Path Queries in Description Logics. CoRR (2014)
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. IFM (2014)
Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. ORE (2014)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Planning and Change in Graph Structured Data under Description Logics Constraints. AMW (2014)
Magdalena Ortiz, Mantas Simkus
Revisiting the Hardness of Query Answering in Expressive Description Logics. RR (2014)
Georg Gottlob, Sebastian Rudolph, Mantas Simkus
Expressiveness of guarded existential rule languages. PODS (2014)
Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Extending ALCQIO with reachability. CoRR (2014)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Managing Change in Graph-Structured Data Using Description Logics. AAAI (2014)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
Reasoning about Explanations for Negative Query Answers in DL-Lite. CoRR (2014)
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. Description Logics (2014)
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Shape and Content: Incorporating Domain Knowledge into Shape Analysis. Description Logics (2014)
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
Capturing Relational Schemas and Functional Dependencies in RDFS. AAAI (2014)
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Nested Regular Path Queries in Description Logics. KR (2014)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
Tractability Guarantees for DL-Lite Query Answering. Description Logics (2013)
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Shape and Content: Incorporating Domain Knowledge into Shape Analysis. CoRR (2013)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
Tractable Queries for Lightweight Description Logics. IJCAI (2013)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Evolving Graph Databases under Description Logic Constraints. Description Logics (2013)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Conjunctive Regular Path Queries in Lightweight Description Logics. IJCAI (2013)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
Reasoning about Explanations for Negative Query Answers in DL-Lite. J. Artif. Intell. Res. 48 (2013)
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Answering Expressive Path Queries over Lightweight DL Knowledge Bases. Description Logics (2012)
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
Query Rewriting for Horn-SHIQ Plus Rules. AAAI (2012)
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
The Complexity of Explaining Negative Query Answers in DL-Lite. KR (2012)
Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Simkus
Datalog and Its Extensions for Semantic Web Databases. Reasoning Web (2012)
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
Towards Practical Query Answering for Horn-SHIQ. Description Logics (2012)
Magdalena Ortiz, Mantas Simkus
Reasoning and Query Answering in Description Logics. Reasoning Web (2012)

Mantas Simkus.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mantas Simkus