https://123dok.net/document/q5m30mk3-querying-lubm-non-monotonic-features-protege-using-nohr.html