来源：https://stackoverflow.com/questions/61156826/protege-reasoner-not-report-error-for-violation-of-gci 标签 rdf owl protege
