I agree that this site is using cookies. You can find further informations here.
X
Koopmann, Patrick
76  results:
OpenAccess-fulltext X
Search for persons X
?
1

Efficient Computation of General Modules for ALC Ontologies..:

Yang, Hui ; Koopmann, Patrick ; Ma, Yue.
hal-04096870.  , 2023
Link: https://hal.science/hal-..
 
?
2

Efficient Computation of General Modules for ALC Ontologies..:

Yang, Hui ; Koopmann, Patrick ; Ma, Yue.
http://arxiv.org/abs/2305.09503.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

Combining Proofs for Description Logic and Concrete Domain ..:

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan..
doi:10.5281/zenodo.8208780.  , 2023
Link: https://zenodo.org/recor..
 
?
4

Why Not? Explaining Missing Entailments with Evee (Technica..:

Alrabbaa, Christian ; Borgwardt, Stefan ; Friese, Tom..
http://arxiv.org/abs/2308.07294.  , 2023
Link: http://arxiv.org/abs/230..
 
?
5

Efficient Computation of General Modules for ALC Ontologies..:

Yang, Hui ; Koopmann, Patrick ; Ma, Yue.
hal-04096870.  , 2023
Link: https://hal.science/hal-..
 
?
6

Combining Proofs for Description Logic and Concrete Domain ..:

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan..
doi:10.5281/zenodo.8208780.  , 2023
Link: https://zenodo.org/recor..
 
?
7

Towards Ontology-Mediated Planning with OWL DL Ontologies (..:

John, Tobias ; Koopmann, Patrick
http://arxiv.org/abs/2308.08200.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

Supplementary material for the Paper "Towards Ontology-Medi..:

John, Tobias ; Koopmann, Patrick
info:eu-repo/grantAgreement/EC/H2020/956200/.  , 2023
Link: https://zenodo.org/recor..
 
?
9

Combining Proofs for Description Logic and Concrete Domain ..:

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan..
doi:10.5281/zenodo.8208780.  , 2023
Link: https://zenodo.org/recor..
 
?
10

Combining Proofs for Description Logic and Concrete Domain ..:

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan..
http://arxiv.org/abs/2308.03705.  , 2023
Link: http://arxiv.org/abs/230..
 
?
11

Planning With Ontology-Enhanced States Using Problem-Depend..:

John, Tobias ; Koopmann, Patrick
John, Tobias Koopmann, Patrick . Planning With Ontology-Enhanced States Using Problem-Dependent Rewritings. CEUR Workshop Proceedings. 2023, 3493.  , 2023
Link: http://hdl.handle.net/10..
 
?
12

Finding Good Proofs for Answers to Conjunctive Queries Medi..:

Alrabbaa, Christian ; Borgwardt, Stefan ; Koopmann, Patrick.
http://arxiv.org/abs/2206.09758.  , 2022
Link: http://arxiv.org/abs/220..
 
?
13

Evonne: Interactive Proof Visualization for Description Log..:

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan...
doi:10.5281/zenodo.6560602.  , 2022
Link: https://zenodo.org/recor..
 
?
14

Explaining Ontology-Mediated Query Answers using Proofs ove..:

Alrabbaa, Christian ; Borgwardt, Stefan ; Koopmann, Patrick.
http://arxiv.org/abs/2208.14381.  , 2022
Link: http://arxiv.org/abs/220..
 
?
15

Evonne: Interactive Proof Visualization for Description Log..:

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan...
http://arxiv.org/abs/2205.09583.  , 2022
Link: http://arxiv.org/abs/220..
 
1-15