https://123dok.net/document/yj7v90rk-preliminary-results-identity-problem-description-logic-ontologies.html