https://123dok.net/document/zpn7rx1r-nominal-schemas-for-integrating-rules-and-description-logics.html