https://123dok.net/document/yr31m4jo-le-projet-sabre-de-l-ontologie-infe-rence.html