Metric Temporal Description Logics with Interval-Rigid Names von Baader, Franz, Borgwardt, Stefan, Koopmann, Patrick, Ozaki, Ana, Thost, Veronika

Volltext

Ontology-mediated query answering over temporal and inconsistent data von Bourgaux, Camille, Koopmann, Patrick, Turhan, Anni-Yasmin

Volltext

Enhancing Probabilistic Model Checking with Ontologies von Dubslaff, Clemens, Koopmann, Patrick, Turhan, Anni-Yasmin

Volltext

Efficient TBox Reasoning with Value Restrictions using the wer Reasoner von BAADER, FRANZ, KOOPMANN, PATRICK, MICHEL, FRIEDRICH, TURHAN, ANNI-YASMIN, ZARRIESS, BENJAMIN

Volltext

Planning with OWL-DL Ontologies (Extended Version) von John, Tobias, Koopmann, Patrick

Volltext bestellen

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version) von Koopmann, Patrick

Volltext bestellen

Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes - Long Version von Koopmann, Patrick, Schmidt, Renate A

Volltext bestellen

Combining Proofs for Description Logic and Concrete Domain Reasoning von Alrabbaa, Christian, Baader, Franz, Borgwardt, Stefan, Koopmann, Patrick, Kovtunova, Alisa

Volltext

Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version) von John, Tobias, Koopmann, Patrick

Volltext bestellen

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models von Alrabbaa, Christian, Borgwardt, Stefan, Koopmann, Patrick, Kovtunova, Alisa

Volltext

Planning With Ontology-Enhanced States Using Problem-Dependent Rewritings von John, Tobias, Koopmann, Patrick

Volltext

Towards Ontology-Mediated Planning with OWL DL Ontologies von John, Tobias, Koopmann, Patrick

Volltext

Metric Temporal Description Logics with Interval-Rigid Names von Baader, Franz, Borgwardt, Stefan, Koopmann, Patrick, Ozaki, Ana, Thost, Veronika

Volltext

Ontology-Mediated Probabilistic Model Checking von Dubslaff, Clemens, Koopmann, Patrick, Turhan, Anni-Yasmin

Volltext

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $\omega$-Admissible Concrete Domains (Extended Version) von Borgwardt, Stefan, De Bortoli, Filippo, Koopmann, Patrick

Volltext bestellen

Planning with OWL-DL Ontologies (Extended Version) von Tobias, John, Koopmann, Patrick

Volltext

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version) von Koopmann, Patrick

Volltext

Using Ontologies to Query Probabilistic Numerical Data von Baader, Franz, Koopmann, Patrick, Turhan, Anni-Yasmin

Volltext

Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version) von Tobias, John, Koopmann, Patrick

Volltext

Why Not? Explaining Missing Entailments with Evee (Technical Report) von Alrabbaa, Christian, Borgwardt, Stefan, Friese, Tom, Koopmann, Patrick, Kotlov, Mikhail

Volltext bestellen