Keyword:ABox approximation

Papers
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