https://123dok.net/document/q7w7952r-integrating-owl-rules-syntax-proposal-nominal-schemas.html