Mantas Simkus

Description Logics with Pointwise Circumscription.

[BibT_eX]

[DOI]

Federica Di Stefano

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

On the Expressive Power of Ontology-Mediated Queries: Capturing coNP.

[BibT_eX]

[DOI]

Sanja Lukumbuzya

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

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

Repairing SHACL Constraint Violations Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2022, 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

Well-founded Semantics for Recursive SHACL.

[BibT_eX]

[DOI]

Adrian Chmurovic

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 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

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

Bounded Predicates in Description Logics with Counting.

[BibT_eX]

[DOI]

Sanja Lukumbuzya

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 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

Process Mining with Common Sense.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021) co-located with the 19th International Conference on Business Process Management (BPM 2021), 2021

2020

Special Issue on Ontologies and Data Management: Part II.

[BibT_eX]

[DOI]

Thomas Schneider

Künstliche Intell., 2020

Ontologies and Data Management: A Brief Survey.

[BibT_eX]

[DOI]

Thomas Schneider

Künstliche Intell., 2020

Special Issue on Ontologies and Data Management: Part I.

[BibT_eX]

[DOI]

Thomas Schneider

Künstliche Intell., 2020

Interview with Diego Calvanese.

[BibT_eX]

[DOI]

Künstliche Intell., 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

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

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

Answer Set Programs Challenged by Ontologies.

[BibT_eX]

[DOI]

Sanja Pavlovic

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

Relaxing and Restraining Queries for OBDA.

[BibT_eX]

[DOI]

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

2018

The Impact of Active Domain Predicates on Guarded Existential Rules.

[BibT_eX]

[DOI]

Georg Gottlob

Andreas Pieris

Fundam. Informaticae, 2018

The Triguarded Fragment of First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 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

Compiling Model Representations for Querying Large ABoxes in Expressive DLs.

[BibT_eX]

[DOI]

Labinot Bajraktari

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

Satisfiability in the Triguarded Fragment of First-Order Logic.

[BibT_eX]

[DOI]

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]

Labinot Bajraktari

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

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

[BibT_eX]

[DOI]

Labinot Bajraktari

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

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

The Challenge of Optional Matching in SPARQL.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 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

Towards Reconciling SPARQL and Certain Answers.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on World Wide Web, 2015

Binary Frontier-Guarded ASP with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

A Rule-based Framework for Creating Instance Data from OpenStreetMap.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Linking Open-World Knowledge Bases Using Nonmonotonic Rules.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Extending ALCQIO with Trees.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nhung Ngo

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

DL-Lite and Conjunctive Queries Extended by Optional Matching.

[BibT_eX]

[DOI]

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

Towards Reconciling SPARQL and Certain Answers (Extended Abstract).

[BibT_eX]

[DOI]

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

2014

Extending ALCQIO with reachability.

[BibT_eX]

[DOI]

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

Expressiveness of guarded existential rule languages.

[BibT_eX]

[DOI]

Georg Gottlob

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability.

[BibT_eX]

[DOI]

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

Shape and Content: Incorporating Domain Knowledge into Shape Analysis.

[BibT_eX]

[DOI]

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

Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 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

Capturing Relational Schemas and Functional Dependencies in RDFS.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 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

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

Datalog and Its Extensions for Semantic Web Databases.

[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]

Proceedings of the IJCAI 2011, 2011

Containment of Regular Path Queries under Description Logic Constraints.

[BibT_eX]

[DOI]

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

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2010

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

[BibT_eX]

[DOI]

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

Bidirectional Answer Set Programs with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Query Answering in Description Logics with Transitive Roles.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Fusion of Logic Programming and Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Reasoning Using Knots.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

Query Answering in the Description Logic Horn-.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Conjunctive Query Answering in SH using Knots.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

\mathbb<i>FDNC</i>: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.

[BibT_eX]

[DOI]