https://123dok.net/document/zgw34rm2-orm-encoding-into-description-logic-extended-abstract.html