Mantas Simkus

According to our database1, Mantas Simkus authored at least 72 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
The Impact of Active Domain Predicates on Guarded Existential Rules.
Fundam. Inform., 2018

Relaxing and Restraining Queries for OBDA.
CoRR, 2018

Compiling Model Representations for Querying Large ABoxes in Expressive DLs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Rewriting Guarded Existential Rules into Small Datalog Programs.
Proceedings of the 21st International Conference on Database Theory, 2018

Combining Rules and Ontologies into Clopen Knowledge Bases.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Managing Change in Graph-Structured Data Using Description Logics.
ACM Trans. Comput. Log., 2017

Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming.
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
The Impact of Active Domain Predicates on Guarded Existential Rules.
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016

Closed Predicates in Description Logics: Results on Combined Complexity.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Verification of Evolving Graph-structured Data under Expressive Path Constraints.
Proceedings of the 19th International Conference on Database Theory, 2016

The Challenge of Optional Matching in SPARQL.
Proceedings of the Foundations of Information and Knowledge Systems, 2016

A Compilation Technique for Interactive Ontology-mediated Data Exploration.
Proceedings of the 29th International Workshop on Description Logics, 2016

Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics.
Proceedings of the 29th International Workshop on Description Logics, 2016

Closed Predicates in Description Logics: Results on Combined Complexity.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

2015
Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms.
J. Artif. Intell. Res., 2015

Towards Reconciling SPARQL and Certain Answers.
Proceedings of the 24th International Conference on World Wide Web, 2015

Binary Frontier-Guarded ASP with Function Symbols.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

A Rule-based Framework for Creating Instance Data from OpenStreetMap.
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Linking Open-World Knowledge Bases Using Nonmonotonic Rules.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Extending ALCQIO with Trees.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

The Combined Complexity of Reasoning with Closed Predicates in Description Logics.
Proceedings of the 28th International Workshop on Description Logics, 2015

DL-Lite and Conjunctive Queries Extended by Optional Matching.
Proceedings of the 28th International Workshop on Description Logics, 2015

Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

Towards Reconciling SPARQL and Certain Answers (Extended Abstract).
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014
Extending ALCQIO with reachability.
CoRR, 2014

Reasoning about Explanations for Negative Query Answers in DL-Lite.
CoRR, 2014

Nested Regular Path Queries in Description Logics.
CoRR, 2014

Managing Change in Graph-structured Data Using Description Logics (long version with appendix).
CoRR, 2014

Revisiting the Hardness of Query Answering in Expressive Description Logics.
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Expressiveness of guarded existential rule languages.
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014

Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners.
Proceedings of the Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), 2014

Nested Regular Path Queries in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Shape and Content: Incorporating Domain Knowledge into Shape Analysis.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Planning Problems for Graph Structured Data in Description Logics.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Nested Regular Path Queries in Description Logics (Extended Abstract).
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Planning and Change in Graph Structured Data under Description Logics Constraints.
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Capturing Relational Schemas and Functional Dependencies in RDFS.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Managing Change in Graph-Structured Data Using Description Logics.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Reasoning about Explanations for Negative Query Answers in DL-Lite.
J. Artif. Intell. Res., 2013

Shape and Content: Incorporating Domain Knowledge into Shape Analysis.
CoRR, 2013

Tractable Queries for Lightweight Description Logics.
Proceedings of the IJCAI 2013, 2013

Conjunctive Regular Path Queries in Lightweight Description Logics.
Proceedings of the IJCAI 2013, 2013

Evolving Graph Databases under Description Logic Constraints.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Tractability Guarantees for DL-Lite Query Answering.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Conjunctive query answering in the description logic SH using knots.
J. Comput. Syst. Sci., 2012

Reasoning and Query Answering in Description Logics.
Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

Datalog and Its Extensions for Semantic Web Databases.
Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

The Complexity of Explaining Negative Query Answers in DL-Lite.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Towards Practical Query Answering for Horn-SHIQ.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Answering Expressive Path Queries over Lightweight DL Knowledge Bases.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Query Rewriting for Horn-SHIQ Plus Rules.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ.
Proceedings of the IJCAI 2011, 2011

Containment of Regular Path Queries under Description Logic Constraints.
Proceedings of the IJCAI 2011, 2011

The Complexity of Conjunctive Query Abduction in DL-Lite.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols.
ACM Trans. Comput. Log., 2010

Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query Answering in the Description Logic S.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
Query Answering in Description Logics: The Knots Approach.
Proceedings of the Logic, 2009

Bidirectional Answer Set Programs with Function Symbols.
Proceedings of the IJCAI 2009, 2009

Query Answering in Description Logics with Transitive Roles.
Proceedings of the IJCAI 2009, 2009

Fusion of Logic Programming and Description Logics.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Reasoning Using Knots.
Proceedings of the Logic for Programming, 2008

Query Answering in the Description Logic Horn-.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Conjunctive Query Answering in SH using Knots.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.
Proceedings of the Logic for Programming, 2007

2006
Efficient Query Answering over Conceptual Schemas of Relational Databases : Technical Report
CoRR, 2006


  Loading...