https://123dok.net/document/q054dl8l-logical-foundations-reasoning-transformations-knowledge-bases.html