https://123dok.net/document/q054jxjx-complete-approximations-of-horn-dl-ontologies.html