Keyword:ABox approximation

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