https://123dok.net/document/yr366ld7-towards-a-concurrent-approximate-description-logic-reasoner.html