Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
scientific article; zbMATH DE number 7437086
scientific article