https://123dok.net/document/y6ep8j4z-inconsistency-tolerant-querying-of-description-logic-knowledge-bases.html