В заключение напомним, что определения свойств, также как индивидуальные объекты и классы, должны иметь уникальные идентификаторы.
В заключение напомним, что определения свойств, также как индивидуальные объекты и классы, должны иметь уникальные идентификаторы.
Кстати, принадлежность индивидуального объекта к какому-либо классу технически выражается при помощи свойства этого объекта. Утверждение о том, что некая сущность А является экземпляром класса Б выражается при помощи свойства (предиката) rdf:type, определенного в стандарте RDF.
Отнесение сущности к определенному стандартному виду – класс, индивидуальный объект, или свойство – также выражается при помощи свойства.
То есть, утверждение о том, что сущность А имеет вид сущности модели Класс выражается при помощи того же самого свойства (предиката) rdf:type.
Важно понимать, что для описания структуры и понятийного аппарата модели (определений классов и свойств) мы используем тот же самый инструментарий, что и для наполнения модели предметным содержанием. То есть, с технической точки зрения структура и содержание информации в семантических технологиях выражаются одними и теми же средствами, доступны при помощи одинаковых программных инструментов.
2.7. Пример онтологической модели
2.7. Пример онтологической модели
Итак, мы описали следующий процесс создания онтологической модели:
Рис. 10.
Применим описанную методологию моделирования на практике. Вспомним рисунок 1, с которого мы начали обсуждение информационных моделей. Составим информационную модель изображенной на нем статической сцены, подразумевая, что она создается в целях отработки сценариев возможных действий при задержании подозреваемого.
Рис. 11. Исходная информация для моделирования
Идентифицируем на этом рисунке четыре индивидуальных объекта: человек, собака, поводок, человек.
2. Присвоим им уникальные идентификаторы – соответственно, А1, А2, А3 и А4.
3. Определим набор классов, которые понадобятся для классификации выделенных нами объектов, и объединим их в иерархии:
По активности: По типу:
Предмет Человек
Действующее лицо Подозреваемый
Статический предмет Кинолог
Собака
Поводок
4. Зададим логические утверждения для созданных классов:
- Ни одно действующее лицо не является статическим предметом, и наоборот.
- Классы человек, собака, поводок также имеют не пересекающиеся множества значений.
- Все люди (в пределах нашей модели) являются либо подозреваемыми, либо кинологами.