Magdalena Ortiz

Circumscription in DL-Lite: Progress Report.

[BibT_eX]

[DOI]

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract).

[BibT_eX]

[DOI]

Anouk Michelle Oudshoorn

On the Way to Temporal OBDA Systems (short paper).

[BibT_eX]

[DOI]

Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022

Magic Shapes for SHACL Validation.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2022

Pointwise Circumscription in Description Logics.

[BibT_eX]

[DOI]

Federica Di Stefano

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Actions over Core-Closed Knowledge Bases.

[BibT_eX]

[DOI]

Claudia Cauli

Nir Piterman

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Magic Shapes for Validation in SHACL.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2021 Posters, 2021

Explanations for Non-validation in SHACL.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2021 Posters, 2021

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security.

[BibT_eX]

[DOI]

Claudia Cauli

Nir Piterman

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Reasoning about Explanations for Non-validation in SHACL.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract).

[BibT_eX]

[DOI]

Claudia Cauli

Nir Piterman

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Reasoning about Explanations for Non-validation in SHACL (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

An ExpTime Upper Bound for ALC with Integers (Extended Version).

[BibT_eX]

[DOI]

Nadia Labai

CoRR, 2020

Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog.

[BibT_eX]

[DOI]

Artif. Intell., 2020

Stable Model Semantics for Recursive SHACL.

[BibT_eX]

[DOI]

Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020

Pebble-Intervals Automata and FO2 with Two Orders.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2020

An ExpTime Upper Bound for ALC with Integers.

[BibT_eX]

[DOI]

Nadia Labai

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Ontology Focusing: Knowledge-Enriched Databases on Demand.

[BibT_eX]

[DOI]

Tomasz Gogacz

Víctor Gutiérrez-Basulto

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Rewritability Results for OMQs with Closed Predicates.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

A Framework for Exploratory Query Answering with Ontologies.

[BibT_eX]

[DOI]

Yazmín Ibáñez-García

Resilient Logic Programs: Answer Set Programs Challenged by Ontologies.

[BibT_eX]

[DOI]

Sanja Lukumbuzya

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Query Rewriting for Ontology-Mediated Conditional Answers.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Pebble-Intervals Automata and FO2 with Two Orders (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Optimizing Horn- SHIQ Reasoning for OBDA.

[BibT_eX]

[DOI]

Guohui Xiao

Proceedings of the Semantic Web - ISWC 2019, 2019

Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

Answer Set Programs Challenged by Ontologies.

[BibT_eX]

[DOI]

Sanja Pavlovic

Proceedings of the 32nd International Workshop on Description Logics, 2019

From Complete to Incomplete Data and Back in Ontology-Enriched Databases.

[BibT_eX]

[DOI]

Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019

Relaxing and Restraining Queries for OBDA.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).

[BibT_eX]

[DOI]

Dagstuhl Manifestos, 2018

Relaxing and Restraining Queries for OBDA - Extended Abstract.

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Improving Data Management using Domain Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Compiling Model Representations for Querying Large ABoxes in Expressive DLs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Rewriting Guarded Existential Rules into Small Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Database Theory, 2018

A Tool for Building Topic-specific Ontologies Using a Knowledge Graph.

[BibT_eX]

[DOI]

Katinka Böhm

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Taming Complex Role Inclusions for DL-Lite.

[BibT_eX]

[DOI]

Yazmín Angélica Ibáñez-García

Combining Rules and Ontologies into Clopen Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Managing Change in Graph-Structured Data Using Description Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2017

Querying with Vague Quantifiers Using Probabilistic Semantics.

[BibT_eX]

[DOI]

Christian G. Fermüller

Matthias F. J. Hofer

Proceedings of the Flexible Query Answering Systems - 12th International Conference, 2017

Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report).

[BibT_eX]

[DOI]

Nadia Labai

Martin Homola

Proceedings of the 30th International Workshop on Description Logics, 2017

Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Research Directions for Principles of Data Management (Abridged).

[BibT_eX]

[DOI]

SIGMOD Rec., 2016

Closed Predicates in Description Logics: Results on Combined Complexity.

[BibT_eX]

[DOI]

Nhung Ngo

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Verification of Evolving Graph-structured Data under Expressive Path Constraints.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Database Theory, 2016

A Compilation Technique for Interactive Ontology-mediated Data Exploration.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2015

Ontology-Mediated Query Answering with Data-Tractable Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

The Combined Complexity of Reasoning with Closed Predicates in Description Logics.

[BibT_eX]

[DOI]

Nhung Ngo

Proceedings of the 28th International Workshop on Description Logics, 2015

Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014

Answering regular path queries in expressive Description Logics via alternating tree-automata.

[BibT_eX]

[DOI]

Inf. Comput., 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

Revisiting the Hardness of Query Answering in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Nested Regular Path Queries in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Planning Problems for Graph Structured Data in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Nested Regular Path Queries in Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Planning and Change in Graph Structured Data under Description Logics Constraints.

[BibT_eX]

[DOI]

Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

2013

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

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Tractable Queries for Lightweight Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Conjunctive Regular Path Queries in Lightweight Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Evolving Graph Databases under Description Logic Constraints.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Ontology Based Query Answering: The Story So Far.

[BibT_eX]

[DOI]

Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013

2012

Conjunctive query answering in the description logic SH using knots.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Reasoning and Query Answering in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

The Complexity of Explaining Negative Query Answers in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Towards Practical Query Answering for Horn-SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Answering Expressive Path Queries over Lightweight DL Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Query Rewriting for Horn-SHIQ Plus Rules.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sebastian Rudolph

Proceedings of the IJCAI 2011, 2011

Containment of Regular Path Queries under Description Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Domenico Carbotta

Proceedings of the IJCAI 2011, 2011

The Complexity of Conjunctive Query Abduction in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.

[BibT_eX]

[DOI]

Sebastian Rudolph

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query Answering in the Description Logic S.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Query Answering in Description Logics: The Knots Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

Query Answering in Description Logics with Transitive Roles.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Regular Path Queries in Expressive Description Logics with Nominals.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

2008

Data Complexity of Query Answering in Expressive Description Logics via Tableaux.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

Reasoning Using Knots.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

An Automata-based algorithm for description logics around SRIQ.

[BibT_eX]

[DOI]

Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, 2008

Extending Carinto the Description Logics of the Family.

[BibT_eX]

[DOI]