https://123dok.net/document/yev11kx7-evolution-owl-ql-knowledge-bases-inexpressibility-practical-approaches.html