Publications

My publication list in PDF.

Conferences

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

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

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

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

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, 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

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

Georg Gottlob, Andreas Pieris, Mantas Simkus
The Impact of Active Domain Predicates on Guarded Existential Rules
Fundamenta Informaticae (Accepted for publication). 2017.

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

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

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

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

Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus
Informal Proceedings of the 27th International Workshop on Description Logics
Vienna, Austria, July 17-20, 2014. 2014. 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