HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Francesco Kriegel

Publications
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs
Franz Baader and Francesco Kriegel
EasyChair Preprint no. 8552
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 no. 8542

Keyphrases

ABox approximation, complexity, Description Logic, Description Logic EL, Horn-DL, Most specific concept, ontology repair, Optimal ABox Repair.

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