https://123dok.net/document/zx5xgw6v-evolution-of-dl-lite-knowledge-bases.html