https://123dok.net/document/y961rkvy-decouverte-d-axiomes-de-subsomption-avec-l-annotation-de-concepts.html