https://9dok.net/document/q2nw5396-description-logics-over-lattices-with-multi-valued-ontologies.html