Какую библиотеку использует Protege для противоречивых объяснений онтологий?

Question

Я бы хотел воспроизвести функцию объяснения в Protege в моей Java-программе, чтобы предоставить объяснения для несовместимых онтологий. Я в основном использовал «owlapi» для других операций, связанных с онтологией, но, похоже, у него нет соответствующих методов для объяснения. Я также нашел библиотеку «owlexplanation», но не уверен, что именно она используется в Protege. Может ли кто-нибудь предоставить какие-либо указатели?

Answer 1

пояснение-верстак , как упомянуто в комментариях, интегрирует owlexplanation в платформу Protege. Вы можете использовать owlexplanation напрямую, чтобы получить те же результаты, что показывает Protege.