https://123dok.net/document/yr36l5mv-nonmonotonic-reasoning-description-logics-rational-closure-abox.html