HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Patrick Koopmann

Publications
Optimal ABox Repair W.R.T. Static EL TBoxes: from Quantified ABoxes Back to ABoxes (Extended Abstract)
Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian Nuradiansyah
EasyChair Preprint 8542
Finding Small Proofs for Description Logic Entailments: Theory and Practice
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Practical Query Rewriting for DL-Lite with Numerical Predicates
Christian Alrabbaa, Patrick Koopmann and Anni-Yasmin Turhan
In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence

Keyphrases

ABox approximation, complexity2, concrete domains, Description Logic, Description Logic EL, Description Logics, DL-Lite, explanation, Most specific concept, Ontology-Based Query Answering, ontology repair, proofs, query rewriting.

Copyright © 2012-2025 easychair.org. All rights reserved.