https://123dok.net/document/yr36lx8o-knowing-approach-defeasible-description-logics-extended-abstract.html