#owl #ontology #protege
#owl #онтология #протеже
Вопрос:
Protege 5.5.0
Я создал два свойства, второе я сделал обратным первому свойству.
Когда я проверяю транзитивность для любого свойства, транзитивность для другого не отображается.
Я новичок в онтологии, в книге, которую я читаю, говорится, что она должна появиться в Protege 4.1.
Это что-то новое в Protege 5.5.0, или я делаю что-то не так?
Комментарии:
1. github.com/protegeproject/protege/issues/272 . Вам нужно что-то вроде github.com/matentzn/inference-inspector .