Patrick Koopmann

Francesco Kriegel

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Efficient Computation of General Modules for ALC Ontologies.

[BibT_eX]

[DOI]

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

Efficient Computation of General Modules for ALC Ontologies (Extended Abstract).

[BibT_eX]

[DOI]

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

Towards Ontology-Mediated Planning with OWL DL Ontologies.

[BibT_eX]

[DOI]

Tobias John

Why Not? Explaining Missing Entailments with Evee.

[BibT_eX]

[DOI]

2022

Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version.

[BibT_eX]

[DOI]

CoRR, 2022

Connection-minimal Abduction in EL via Translation to FOL - Technical Report.

[BibT_eX]

[DOI]

CoRR, 2022

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 19th International Conference, 2022

An API for DL Abduction Solvers.

[BibT_eX]

[DOI]

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

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract).

[BibT_eX]

[DOI]

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

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).

[BibT_eX]

[DOI]

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

Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract).

[BibT_eX]

[DOI]

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

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies.

[BibT_eX]

[DOI]

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

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne.

[BibT_eX]

[DOI]

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

Connection-Minimal Abduction in EL via Translation to FOL.

[BibT_eX]

[DOI]

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

Evonne: Interactive Proof Visualization for Description Logics (System Description).

[BibT_eX]

[DOI]

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

2021

Enhancing Probabilistic Model Checking with Ontologies.

[BibT_eX]

[DOI]

Clemens Dubslaff

Formal Aspects Comput., 2021

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2021

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report).

[BibT_eX]

[DOI]

CoRR, 2021

Signature-Based ABox Abduction in ALC is Hard.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

Abduction in EL via Translation to FOL.

[BibT_eX]

[DOI]

Fajar Haifani

Sophie Tourret

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics.

[BibT_eX]

[DOI]

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

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

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

Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox.

[BibT_eX]

[DOI]

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

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).

[BibT_eX]

[DOI]

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

Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 2021

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Metric Temporal Description Logics with Interval-Rigid Names.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2020

LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

Semantic Technologies for Situation Awareness.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

Signature-Based Abduction for Expressive Description Logics - Technical Report.

[BibT_eX]

[DOI]

CoRR, 2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report).

[BibT_eX]

[DOI]

CoRR, 2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Signature-Based Abduction for Expressive Description Logics.

[BibT_eX]

[DOI]

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

Deductive Module Extraction for Expressive Description Logics.

[BibT_eX]

[DOI]

Jieying Chen

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Deductive Module Extraction for Expressive Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Jieying Chen

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

On a Notion of Relevance.

[BibT_eX]

[DOI]

Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.

[BibT_eX]

[DOI]

Clemens Dubslaff

First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions.

[BibT_eX]

[DOI]

Cesare Tinelli

Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair.

[BibT_eX]

[DOI]

On the Complexity of Finding Good Proofs for Description Logic Entailments.

[BibT_eX]

[DOI]

2019

Ontology-mediated query answering over temporal and inconsistent data.

[BibT_eX]

[DOI]

Camille Bourgaux

Semantic Web, 2019

Special Issue on High-Level Declarative Stream Processing.

[BibT_eX]

[DOI]

Theofilos Mailis

Danh Le Phuoc

Open J. Databases, 2019

Ontology-Mediated Probabilistic Model Checking.

[BibT_eX]

[DOI]

Clemens Dubslaff

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Practical Query Rewriting for DL-Lite with Numerical Predicates.

[BibT_eX]

[DOI]

Christian Alrabbaa

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

Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract).

[BibT_eX]

[DOI]

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

Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries.

[BibT_eX]

[DOI]

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

Ontology-Based Query Answering for Probabilistic Temporal Data.

[BibT_eX]

[DOI]

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

From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment.

[BibT_eX]

[DOI]

David Carral

Larry González

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

2018

Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), 2018

2017

Computing ALCH.

[BibT_eX]

[DOI]

Jieying Chen

Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), 2017

Energy-Efficiency of OWL Reasoners - Frequency Matters.

[BibT_eX]

[DOI]

Marcus Hähnel

Proceedings of the Semantic Technology - 7th Joint International Conference, 2017

Using Ontologies to Query Probabilistic Numerical Data.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract).

[BibT_eX]

[DOI]

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

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract).

[BibT_eX]

[DOI]

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

Small Is Beautiful: Computing Minimal Equivalent EL Concepts.

[BibT_eX]

[DOI]

Nadeschda Nikitina

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

2016

Minimising Acyclic EL Ontologies.

[BibT_eX]

[DOI]

Nadeschda Nikitina

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

2015

Practical uniform interpolation for expressive description logics.

[BibT_eX]

[DOI]

PhD thesis, 2015

LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

Saturated-Based Forgetting in the Description Logic SIF.

[BibT_eX]

[DOI]

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

Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes.

[BibT_eX]

[DOI]

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

Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Implementation and Evaluation of Forgetting in ALC-Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), 2013

Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Uniform Interpolation of -Ontologies Using Fixpoints.

[BibT_eX]

[DOI]