Safety of quantified ABoxes w.r.t. singleton ε

Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Pealoza

Browse the full SAC paper archive.