Jean Christoph Jung

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

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).

[BibT_eX]

[DOI]

Vladislav Ryzhikov

Michael Zakharyaschev

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

SAT-based PAC Learning of Description Logic Concepts (Extended Abstract).

[BibT_eX]

[DOI]

2022

On the non-efficient PAC learnability of acyclic conjunctive queries.

[BibT_eX]

[DOI]

CoRR, 2022

Logical separability of labeled data examples under ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2022

QBF Programming with the Modeling Language Bule.

[BibT_eX]

[DOI]

Valentin Mayer-Eichberger

Abdallah Saffidine

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

Conservative Extensions for Existential Rules.

[BibT_eX]

[DOI]

Jerzy Marcinkowski

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.

[BibT_eX]

[DOI]

Andrea Mazzullo

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

Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies.

[BibT_eX]

[DOI]

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

2021

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Separating Data Examples by Description Logic Concepts with Restricted Signatures.

[BibT_eX]

[DOI]

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

Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Actively Learning ELI Queries under DL-Lite Ontologies.

[BibT_eX]

[DOI]

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

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Timothy van Bremen

Anton Dries

Künstliche Intell., 2020

Conservative Extensions in Horn Description Logics with Inverse Roles.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.

[BibT_eX]

[DOI]

CoRR, 2020

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures.

[BibT_eX]

[DOI]

CoRR, 2020

Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment.

[BibT_eX]

[DOI]

CoRR, 2020

On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.

[BibT_eX]

[DOI]

Thomas Zeume

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

Logical Separability of Incomplete Data under Ontologies.

[BibT_eX]

[DOI]

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

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract).

[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

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).

[BibT_eX]

[DOI]

Least General Generalizations in Description Logic: Verification and Existence.

[BibT_eX]

[DOI]

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

2019

Model Comparison Games for Horn Description Logics.

[BibT_eX]

[DOI]

Fabio Papacchini

Michael Zakharyaschev

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.

[BibT_eX]

[DOI]

Tomasz Gogacz

Yazmín Ibáñez-García

Filip Murlak

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Model Comparison Games for Horn Description Logics: A Summary.

[BibT_eX]

[DOI]

Fabio Papacchini

Michael Zakharyaschev

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

Decidability and Complexity of ALCOIF with Transitive Closure (and More).

[BibT_eX]

[DOI]

Thomas Zeume

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

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract).

[BibT_eX]

[DOI]

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

Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming.

[BibT_eX]

[DOI]

Timothy van Bremen

Anton Dries

Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

2018

Markov Logic Networks with Statistical Quantifiers.

[BibT_eX]

[DOI]

Ondrej Kuzelka

CoRR, 2018

Quantified Markov Logic Networks.

[BibT_eX]

[DOI]

Ondrej Kuzelka

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

Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies.

[BibT_eX]

[DOI]

Leif Sabellek

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

Querying the Unary Negation Fragment with Regular Path Expressions.

[BibT_eX]

[DOI]

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

Query-by-Example for Expressive Horn Description Logics.

[BibT_eX]

[DOI]

Leif Sabellek

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

Answering Regular Path Queries over SQ Ontologies.

[BibT_eX]

[DOI]

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

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

2017

Probabilistic Description Logics for Subjective Uncertainty.

[BibT_eX]

[DOI]

Lutz Schröder

J. Artif. Intell. Res., 2017

Query Conservative Extensions in Horn Description Logics with Inverse Roles.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Conservative Extensions in Guarded and Two-Variable Fragments.

[BibT_eX]

[DOI]

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

On Query Answering in Description Logics with Number Restrictions on Transitive Roles.

[BibT_eX]

[DOI]

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

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

Number Restrictions on Transitive Roles in Description Logics with Nominals.

[BibT_eX]

[DOI]

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

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries.

[BibT_eX]

[DOI]

Roman Kontchakov

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

On Metric Temporal Description Logics.

[BibT_eX]

[DOI]

Ana Ozaki

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

On Decidability and Tractability of Querying in Temporal EL.

[BibT_eX]

[DOI]

Roman Kontchakov

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

2015

The Complexity of Decomposing Modal and First-Order Theories.

[BibT_eX]

[DOI]

Stefan Göller

Markus Lohrey

ACM Trans. Comput. Log., 2015

Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes.

[BibT_eX]

[DOI]

Thomas Schneider

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.

[BibT_eX]

[DOI]

Thomas Schneider

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

2014

Reasoning in many dimensions: uncertainty and products of modal logics.

[BibT_eX]

[DOI]

PhD thesis, 2014

Lightweight Description Logics and Branching Time: A Troublesome Marriage.

[BibT_eX]

[DOI]

Thomas Schneider

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

Monodic Fragments of Probabilistic First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

Ontology-Based Access to Probabilistic Data.

[BibT_eX]

[DOI]

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

2012

Ontology-Based Access to Probabilistic Data with OWL QL.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

Complexity of Branching Temporal Description Logics.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

2011

The Complexity of Probabilistic EL.

[BibT_eX]

[DOI]

Lutz Schröder

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

A Closer Look at the Probabilistic Description Logic Prob-EL.

[BibT_eX]

[DOI]