The following pages link to Patrick Koopmann (Q1687538):
Displaying 12 items.
- Metric temporal description logics with interval-rigid names (Q1687541) (← links)
- Using ontologies to query probabilistic numerical data (Q1687542) (← links)
- Finding good proofs for description logic entailments using recursive quality measures (Q2055864) (← links)
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (Q2104508) (← links)
- Evonne: interactive proof visualization for description logics (system description) (Q2104515) (← links)
- Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints (Q2849484) (← links)
- Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies (Q2870153) (← links)
- Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies (Q3192210) (← links)
- Metric Temporal Description Logics with Interval-Rigid Names (Q5121281) (← links)
- Efficient TBox Reasoning with Value Restrictions using the <i>wer</i> Reasoner (Q6063879) (← links)
