Patrick Koopmann
YOU?
Author Swipe
View article: Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version) Open
Standard Description Logics (DLs) can encode quantitative aspects of an application domain through either number restrictions, which constrain the number of individuals that are in a certain relationship with an individual, or concrete dom…
View article: Explaining Reasoning Results for OWL Ontologies with Evee
Explaining Reasoning Results for OWL Ontologies with Evee Open
One of the advantages of formalizing domain knowledge in OWL ontologies is that one can use reasoning systems to infer implicit information automatically. However, it is not always straightforward to understand why certain entailments are …
View article: Planning with OWL-DL Ontologies
Planning with OWL-DL Ontologies Open
We introduce ontology-mediated planning, in which planning problems are combined with an ontology. Our formalism differs from existing ones in that we focus on a strong separation of the formalisms for describing planning problems and onto…
View article: Planning with OWL-DL Ontologies (Extended Version)
Planning with OWL-DL Ontologies (Extended Version) Open
We introduce ontology-mediated planning, in which planning problems are combined with an ontology. Our formalism differs from existing ones in that we focus on a strong separation of the formalisms for describing planning problems and onto…
View article: The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version) Open
Concrete domains have been introduced in the context of Description Logics to allow references to qualitative and quantitative values. In particular, the class of $ω$-admissible concrete domains, which includes Allen's interval algebra, th…
View article: Efficient Computation of General Modules for ALC Ontologies (Extended Abstract)
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract) Open
International audience
View article: Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)
Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version) Open
While classical planning languages make the closed-domain and closed-world assumption, there have been various approaches to extend those with DL reasoning, which is then interpreted under the usual open-world semantics. Current approaches…
View article: Why Not? Explaining Missing Entailments with Evee (Technical Report)
Why Not? Explaining Missing Entailments with Evee (Technical Report) Open
Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailments using justifications and proofs have been developed an…
View article: Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report) Open
Logic-based approaches to AI have the advantage that their behavior can in principle be explained with the help of proofs of the computed consequences. For ontologies based on Description Logic (DL), we have put this advantage into practic…
View article: Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources Open
experiment-RuleML+RR-2023.zip contains the materials used in the experiment described in the paper, and a README file with instructions on how to rerun the experiment.
View article: Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources Open
experiment-RuleML+RR-2023.zip contains the materials used in the experiment described in the paper, and a README file with instructions on how to rerun the experiment.
View article: Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources Open
experiment-RuleML-2023.zip contains the materials used in the experiment described in the paper, and a README file with instructions on how to rerun the experiment.
View article: Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources Open
experiment-RuleML-2023.zip contains the materials used in the experiment described in the paper, and a README file with instructions on how to rerun the experiment.
View article: Efficient Computation of General Modules for ALC Ontologies
Efficient Computation of General Modules for ALC Ontologies Open
We present a method for extracting general modules for ontologies formulated in the description logic ALC. A module for an ontology is an ideally substantially smaller ontology that preserves all entailments for a user-specified set of ter…
View article: Efficient Computation of General Modules for ALC Ontologies (Extended Version)
Efficient Computation of General Modules for ALC Ontologies (Extended Version) Open
We present a method for extracting general modules for ontologies formulated in the description logic ALC. A module for an ontology is an ideally substantially smaller ontology that preserves all entailments for a user-specified set of ter…
View article: <scp>Evonne</scp>: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging
<span>Evonne</span>: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging Open
OWL is a powerful language to formalize terminologies in an ontology. Its main strength lies in its foundation on description logics, allowing systems to automatically deduce implicit information through logical reasoning. However, since o…
View article: Optimal Repairs in the Description Logic EL Revisited
Optimal Repairs in the Description Logic EL Revisited Open
Ontologies based on Description Logics may contain errors, which are usually detected when reasoning produces consequences that follow from the ontology, but do not hold in the modelled application domain.In previous work, we have introduc…
View article: Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report) Open
In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology, which can be formulated in a description logic (DL) or using existential rules. In the literature, there …
View article: Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report) Open
In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology. To correctly compute answers to queries, it is necessary to perform complex reasoning over the constraint…
View article: On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version) Open
When working with description logic ontologies, understanding entailments derived by a description logic reasoner is not always straightforward. So far, the standard ontology editor Protégé offers two services to help: (black-box) justific…
View article: Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version Open
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsibl…
View article: Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources Open
- evonne-experiments-ijcar22.zip: contains data and scripts used in the experiments. - evonne-tool-ijcar22.zip: contains the version of Evonne described in the paper. For more about Evonne (latest version, publications), visit https://imld…
View article: Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources Open
- evonne-experiments-ijcar22.zip: contains data and scripts used in the experiments. - evonne-tool-ijcar22.zip: contains the version of Evonne described in the paper. For more about Evonne (latest version, publications), visit https://imld…
View article: Connection-minimal Abduction in EL via Translation to FOL -- Technical Report
Connection-minimal Abduction in EL via Translation to FOL -- Technical Report Open
Abduction in description logics finds extensions of a knowledge base to make it entail an observation. As such, it can be used to explain why the observation does not follow, to repair incomplete knowledge bases, and to provide possible ex…
View article: Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes (Extended Version)
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes (Extended Version) Open
The application of automated reasoning approaches to Description Logic (DL) ontologies may produce certain consequences that either are deemed to be wrong or should be hidden for privacy reasons. The question is then how to repair the onto…
View article: Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Version) Open
Errors in Description Logic (DL) ontologies are often detected when a reasoner computes unwanted consequences. The question is then how to repair the ontology such that the unwanted consequences no longer follow, but as many of the other c…
View article: Evonne: Interactive Proof Visualization for Description Logics (System Description)
Evonne: Interactive Proof Visualization for Description Logics (System Description) Open
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The “justifications” usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsibl…
View article: Connection-Minimal Abduction in $$\mathcal {EL}$$ via Translation to FOL
Connection-Minimal Abduction in $$\mathcal {EL}$$ via Translation to FOL Open
Abduction in description logics finds extensions of a knowledge base to make it entail an observation. As such, it can be used to explain why the observation does not follow, to repair incomplete knowledge bases, and to provide possible ex…