1

Тема: Protege. Как получить формулы дескрипционной логики?

Всем доброго времени суток. Я студент, пишу дипломную работу. Проектирую онтологию. В общем все готово, но руководитель требует логические формулы отношений и утверждает, что Protege может их сам генерировать. Все облазил, не нашел. Может быть я что-то упустил.
Буду очень признателен если кто-нибудь прольет свет на этот темный вопрос.

Отредактировано Veshiy (2012-06-01 00:22:26)

Thumbs up Thumbs down

2

Re: Protege. Как получить формулы дескрипционной логики?

Посмотри класс LatexRenderer в OWL API. Насколько я помню, он для этого и делался.