Я только начал читать о создании онтологий и использовании Protege. Одна из вещей, которую я хочу сделать, - это дать онтологию, которую я хочу выразить аксиомами, сгенерированными из онтологии, в формате логики описания. У меня следующие вопросы:
Заранее большое спасибо.
Да, Protege именно этим и занимается. Если вы A \sqsubseteq B в Protege, вы создаете класс B как подкласс класса A. Хороший ресурс для изучения использования Protege - это руководство по пицце. В моем блоге у меня есть отображение логики описания в манчестерский синтаксис, который является синтаксисом, используемым в Protege для определения аксиомы. См. здесь . Также см. математическую формализацию ориентации объекта для некоторое пошаговое объяснение того, как DL связаны с объектной ориентацией, что может помочь получить базовое понимание логики описания.
