K.: Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox (0)

by G Casini, T Meyer, I J Varzinczak, Moodley
Venue:In: DL 2013, CEUR W. Proc. 1014