Индивиды (экземпляры классов или свойств)

Индивиды определяются при помощи аксиом индивидов (т.н. фактов).

Рассмотрим два вида фактов:

1. факты членства индивидов в классах и о значениях свойств индивидов;

2. факты идентичности/различности индивидов

Пример аксиом индивида первого вида:

<Балет rdf:ID="ЛебединоеОзеро">

<имеетКомпозитора rdf:resource="#Чайковский"/>

</Балет> Данная аксиома постулирует сразу 2 факта: (1) существует некоторый индивид класса «Балет» имеющий имя «ЛебединоеОзеро»; (2) этот индивид связан свойством «имеетКомпозитора» с индивидом: «Чайковский» (определенным где-то в другом месте).

Первый факт говорит о членстве в классе, второй – о значении свойства индивида.

Аксиомы второго вида необходимы для суждения об идентичности индивидов. Дело в том, что в OWL не делается никаких предположений ни о различии, ни о совпадении двух индивидов, имеющих различные идентификаторы URI.

Подобные утверждения выражаются аксиомами идентичности с помощью следующих конструкций:

• owl:sameAs постулирует, что две ссылки URI ссылаются на один и тот же индивид.

• owl:differentFrom постулирует, что две ссылки URI ссылаются на разные индивиды.

• owl:AllDifferent предоставляет средство для определения списка попарно различных индивидов.

На рис. 21 проиллюстрированы основные элементы OWL-онтологии.

Инструментальные средства проектирования онтологий (редактор онтологий Protege).

Тезаурусы для информационного поиска. Примеры тезаурусов.

Экспертные системы. Архитектура экспертных систем.

Нечеткие множества. Операции над нечеткими множествами.

Классификация методов инженерии знаний.

Коммуникативные методы инженерии знаний.

Текстологические методы инженерии знаний.

Метод репертуарных решеток в инженерии знаний.