Conferences
Federica Di Stefano, Mantas Simkus
Stable Model Semantics for
Description Logic Terminologies
Proceedings of the 38th AAAI
Conference on Artificial Intelligence (AAAI 2024). 2024. PDF
Federica
Di Stefano, Mantas Simkus
Equilibrium Description Logics: Results
on Complexity and Relations to Circumscription
To appear in
Proceedings of the 21st International Conference on Knowledge Representation
and Reasoning (KR 2024). 2024. PDF
Cem Okulmus, Mantas
Simkus
SHACL Validation under the Well-founded
Semantics
To appear in Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR 2024). 2024. PDF
Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Description Logics with Pointwise Circumscription
Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023). 2023. PDF
Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting
Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). 2023.
Robert David, Shqiponja Ahmetaj, Axel Polleres, Mantas Simkus
Repairing SHACL Constraint Violations using Answer Set Programming
The 21th International Semantic Web Conference (ISWC 2022). 2022. PDF
Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Reasoning about Explanations for Non-validation in SHACL
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). 2021. PDF
Sanja Lukumbuzya, Mantas Simkus
Bounded Predicates in Description Logics with Counting
Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021). 2021. PDF VIDEO
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies
Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2020. PDF
Medina Andresel, Magdalena Ortiz, Mantas Simkus
Query Rewriting for Ontology-mediated Conditional Answers
Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2020. PDF
Tomasz Gogacz, Victor Gutierrez Basulto, Yazmin A. Ibanez Garcia, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-enriched Databases on Demand
Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). 2020. PDF VIDEO
Medina Andresel, Julien Corman, Magdalena Ortiz, Juan L. Reutter, Ognjen Savkovic, Mantas Simkus
Stable Model Semantics for Recursive SHACL
Proceedings of The Web Conference 2020 (WWW 2020). 2020. PDF VIDEO
Nadia Labai, Magdalena Ortiz, Mantas Simkus
An ExpTime Upper Bound for ALC with Integers
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). 2020. PDF VIDEO
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). 2020. PDF VIDEO
Medina Andresel, Yazmin A. Ibanez Garcia, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA
Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). 2019. PDF
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Rewriting Guarded Existential Rules into Small Datalog Programs
Proceedings of the 21st International Conference on Database Theory (ICDT 2018). 2018. PDF
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Combining Rules and Ontologies into Clopen Knowledge Bases
Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018). 2018. PDF
Sebastian Rudolph, Mantas Simkus
The Triguarded Fragment of First-order Logic
Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-22). 2018. PDF
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Compiling Model Representations for Querying Large ABoxes in Expressive DLs
Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018). 2018. PDF
Medina Andresel, Yazmin A. Ibanez Garcia, Magdalena Ortiz, Mantas Simkus
Relaxing and Restraining Queries for OBDA - Extended Abstract
Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). 2018. PDF
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Verification of Evolving Graph-structured Data under Expressive Path Constraints
Proceedings of the 19th International Conference on Database Theory (ICDT 2016). 2016. PDF
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). 2016. PDF
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
Closed Predicates in Description Logics: Results on Combined Complexity
Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016). 2016. PDF
Georg Gottlob, Andreas Pieris, Mantas Simkus
The Impact of Active Domain Predicates on Guarded Existential Rules
Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016). 2016. PDF
Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Extending ALCQIO with Trees
Proceedings of the 30th Annual ACM/IEEE Symposiun on Logic in Computer Science (LICS 2015). 2015. PDF
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Towards Reconciling SPARQL and Certain Answers
Proceedings of the 24th International World Wide Web Conference (WWW 2015). 2015. PDF
Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus, Guohui Xiao
A Rule-based Framework for Creating Instance Data from OpenStreetMap
Proceedings of the 9th International Conference On Web Reasoning And Rule Systems (RR 2015). 2015. PDF
Mantas Simkus
Binary Frontier-guarded ASP with Function Symbols
Proceedings of the 9th International Web Rule Symposium (RuleML 2015). 2015. PDF
Thomas Eiter, Mantas Simkus
Linking Open-world Knowledge Bases using Nonmonotonic Rules
Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015). 2015. PDF
Georg Gottlob, Mantas Simkus, Sebastian Rudolph
Expressiveness of Guarded Existential Rule Languages
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2014). 2014. PDF
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Nested Regular Path Queries in Description Logics
Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014). 2014. PDF
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Managing Change in Graph-structured Data Using Description Logics
Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014). 2014. PDF
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
Capturing Relational Schemas and Functional Dependencies in RDFS
Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014). 2014. PDF
Magdalena Ortiz, Mantas Simkus
Revisiting the Hardness of Query Answering in Expressive Description Logics
Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014). 2014. PDF
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
Tractable Queries for Lightweight Description Logics
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). 2013. Note: Updated version. PDF
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Conjunctive Regular Path Queries in Lightweight Description Logics
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). 2013. PDF
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
The Complexity of Explaining Negative Query Answers in DL-Lite
Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). 2012. PDF
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
Query Rewriting for Horn-SHIQ Plus Rules
Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012). 2012. PDF
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Containment of Regular Path Queries under Description Logic Constraints
Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). 2011. PDF
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ
Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). 2011. PDF
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010). 2010. PDF
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Query Answering in Description Logics with Transitive Roles
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009). 2009. PDF
Thomas Eiter, Mantas Simkus
Bidirectional Answer Set Programs with Function Symbols
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009). 2009. PDF
Mantas Simkus
Fusion of Logic Programming and Description Logics
Proceedings of the 25th International Conference on Logic Programming (ICLP 2009). 2009. PDF
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses
Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008). 2008. PDF
Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus
Query Answering in the Description Logic Horn-SHIQ
Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008). 2008. PDF
Mantas Simkus, Thomas Eiter
FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007). 2007. PDF
Journals
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Datalog Rewritability and Data Complexity of ALCHOIQ with Closed Predicates
Artificial Intelligence. 2024. PDF
Iris Beerepoot et al., (41 other authors)
The biggest business process management problems to solve before we die
Computers in Industry. 2023. PDF
Shqiponja Ahmetaj, Bianca Loehnert, Magdalena Ortiz, Mantas Simkus
Magic Shapes for Validation in SHACL
Proceedings of the VLDB Endowment. Volume 15 Issue 10. 2022. PDF
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog
Artificial Intelligence. 2020. PDF
Thomas Schneider, Thomas Simkus
Ontologies and Data Managament: A Brief Survery
German Journal of Artificial Intelligence. 2020. PDF
Diego Calvanese, Mantas Simkus
Interview with Diego Calvanese
German Journal of Artificial Intelligence. 2020. PDF
Georg Gottlob, Andreas Pieris, Mantas Simkus
The Impact of Active Domain Predicates on Guarded Existential Rules
Fundamenta Informaticae. 2018.
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Managing Change in Graph-structured Data Using Description Logics
ACM Transactions on Computational Logic (TOCL). 2017. PDF
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms
Journal of Artificial Intelligence Research (JAIR). 2015. PDF
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
Reasoning about Explanations for Negative Query Answers in DL-Lite
Journal of Artificial Intelligence Research (JAIR). 2013. PDF
Thomas Eiter, Magdalena Ortiz, Mantas Simkus
Conjunctive query answering in the description logic SH using knots
Journal of Computer and System Sciences (JCSS). 2012. PDF
Thomas Eiter, Mantas Simkus
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols.
ACM Transactions on Computational Logic (TOCL). 2010. PDF
Workshops
Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting
Proceedings of the ISWC 2023 Posters, Demos and Industry Tracks. 2023.
Romuald Esdras Wandji, Mantas Simkus, Diego Calvanese
Towards Techniques for Updating Virtual Knowledge Graphs
Proceedings of the 7th Doctoral Consortium @ RuleML+RR 2023. 2023. PDF
Arka Ghosh, Mantas Simkus, Diego Calvanese
Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach
Proceedings of the 7th Doctoral Consortium @ RuleML+RR 2023. 2023. PDF
Diego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus
On the Way to Temporal OBDA Systems (short paper)
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023). 2023. PDF
Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Pointwise Circumscription in Description Logics
Proceedings of the 35th International Workshop on Description Logics (DL 2022). 2022. PDF
Adrian Chmurovic, Mantas Simkus
Well-founded Semantics for Recursive SHACL
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022). 2022. PDF
Shqiponja Ahmetaj, Bianca Loehnert, Magdalena Ortiz, Mantas Simkus
Magic Shapes for Validation in SHACL
Proceedings of the ISWC 2021 Posters, Demos and Industry Tracks. 2021. PDF
Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Explanations for Non-validation in SHACL
Proceedings of the ISWC 2021 Posters, Demos and Industry Tracks. 2021. PDF
Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu, Mantas Simkus
Reasoning about Explanations for Non-validation in SHACL (Extended Abstract)
Proceedings of the 34th International Workshop on Description Logics (DL 2021). 2021. PDF
Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus
Process Mining with Common Sense
Proceedings of the International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021). 2021. PDF
Magdalena Ortiz, Sanja Pavlovic, Mantas Simkus
Answer Set Programs Challenged by Ontologies
Proceedings of the 32nd International Workshop on Description Logics (DL 2019). 2019. PDF
Mantas Simkus, Sebestian Rudolph
Satisfiability in the Triguarded Fragment of First-Order Logic
Proceedings of the 31st International Workshop on Description Logics (DL 2018). 2018. PDF
Medina Andresel, Yazmin A. Ibanez Garcia, Magdalena Ortiz, Mantas Simkus
Taming Complex Role Inclusions for DL-Lite
Proceedings of the 31st International Workshop on Description Logics (DL 2018). 2018. PDF
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming
Proceedings of the 30th International Workshop on Description Logics (DL 2017). 2017. PDF
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Goal-oriented type-based reasoning for expressive DLs
Poster at the 30th International Workshop on Description Logics (DL 2017). 2017.
Medina Andresel, Magdalena Ortiz, Mantas Simkus
A Compilation Technique for Interactive Ontology-mediated Data Exploration
Proceedings of the 29th International Workshop on Description Logics (DL 2016). 2016. PDF
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics
Proceedings of the 29th International Workshop on Description Logics (DL 2016). 2016. PDF
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
Closed Predicates in Description Logics: Results on Combined Complexity
Proceedings of the 10th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2016). 2016. PDF
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates
Proceedings of the 10th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2016). 2016. PDF
Nhung Ngo, Magdalena Ortiz, Mantas Simkus
The Combined Complexity of Reasoning with Closed Predicates in Description Logics
Proceedings of the 28th International Workshop on Description Logics (DL 2015). 2015. PDF
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Towards Reconciling SPARQL and Certain Answers
Proceedings of the 9th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2015). 2015. PDF
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Navigational Queries Based on Frontier-Guarded Datalog
Proceedings of the 9th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2015). 2015. PDF
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
DL-Lite and Conjunctive Queries Extended by Optional Matching
Proceedings of the 28th International Workshop on Description Logics (DL 2015). 2015. PDF
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Planning and Change in Graph Structured Data under Description Logics Constraints
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2014). 2014. PDF
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Nested Regular Path Queries in Description Logics (Extended Abstract)
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2014). 2014. PDF
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Shape and Content: Incorporating Domain Knowledge into Shape Analysis
Proceedings of the 27th International Workshop on Description Logics (DL 2014). 2014. PDF
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics
Proceedings of the 27th International Workshop on Description Logics (DL 2014). 2014. PDF
Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability
Proceedings of the 27th International Workshop on Description Logics (DL 2014). 2014. PDF
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Planning Problems for Graph Structured Data in Description Logics
Proceedings of the 27th International Workshop on Description Logics (DL 2014). 2014. PDF
Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners
Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014). 2014. PDF
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
Tractability Guarantees for DL-Lite Query Answering
Proceedings of the 26th International Workshop on Description Logics (DL 2013). 2013. Note: Updated version. PDF
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Evolving Graph Databases under Description Logic Constraints
Proceedings of the 26th International Workshop on Description Logics (DL 2013). 2013. PDF
Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
Towards Practical Query Answering for Horn-SHIQ
Proceedings of the 25th International Workshop on Description Logics (DL 2012). 2012. PDF
Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
Answering Expressive Path Queries over Lightweight DL Knowledge Bases
Proceedings of the 25th International Workshop on Description Logics (DL 2012). 2012. PDF
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
The Complexity of Conjunctive Query Abduction in DL-Lite
Proceedings of the 24th International Workshop on Description Logics (DL2011). 2011. PDF
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Query Answering in the Description Logic S
Proceedings of the 23rd International Workshop on Description Logics (DL 2010). 2010. PDF
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
Conjunctive Query Answering in SH using Knots
Proceedings of the 21st International Workshop on Description Logics (DL2008). 2008. PDF
Edited Volumes
Mantas Simkus, Ivan Varzinczak
Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021
Leuven, Belgium, September 8-15, 2021, Tutorial Lectures. 2022. PDF
Thomas Schneider, Mantas Simkus
Special Issue on Ontologies and Data Management: Part I
German Journal of Artificial Intelligence. 2020. PDF
Thomas Schneider, Mantas Simkus
Special Issue on Ontologies and Data Management: Part II
German Journal of Artificial Intelligence. 2020. PDF
Mantas Simkus, Grant Weddell
Proceedings of the 32nd International Workshop on Description Logics
Oslo, Norway, June 18-21. 2019. PDF
Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros Stefaneas, Alexander Steen, Adrian Giurca
Proceedings of RuleML+RR 2019 Doctoral Consortium and Rule Challenge
Bolzano, Italy, September 16-24, 2019. 2019. PDF
Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus
Proceedings of the 27th International Workshop on Description Logics
Vienna, Austria, July 17-20, 2014. 2014. PDF
Invited Papers
Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kroell, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
The Challenge of Optional Matching in SPARQL
Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016). 2016. PDF
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
On the Relationship Between Ontology-mediated Queries and Non-monotonic Datalog
Featured article in the ALP (The Association for Logic Programming) Newsletter. 2016. PDF
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures
Proceedings of the 11th International Conference on Integrated Formal Methods (IFM 2014). 2014. PDF
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Query Answering in Description Logics: The Knots Approach
Proceedings of the 16th International Workshop on Logic, Language, Information and Computation (WoLLIC 2009). 2009. PDF
Thomas Eiter, Magdalena Ortiz, Mantas Simkus
Reasoning Using Knots
Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2008). 2008. PDF
Tutorials
Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Simkus
Datalog and Its Extensions for Semantic Web Databases
Reasoning Web. 2012. PDF
Magdalena Ortiz, Mantas Simkus
Reasoning and Query Answering in Description Logics
Reasoning Web. 2012. PDF
Thesis
Mantas Simkus
Nonmonotonic Logic Programs with Function Symbols
PhD Thesis. 2010. PDF