https://5dok.org/document/4zpmo3oz-ontological-reasoning-approach-systems.html