Содержание

АННОТАЦИЯ 1

ВВЕДЕНИЕ 2

ГЛАВА 1 ОБЩИЕ СВЕДЕНИЯ ОБ ОНТОЛОГИЯХ И ЯЗЫКАХ ДЛЯ СПЕЦИФИКАЦИИ ОНТОЛОГИЙ 3

1.1. Содержание онтологии 4

1.2 Цели создания онтологий 5

1.3. Области применения онтологий 8

1.4. Формальная концептуализация и формальные онтологии 9

1.5. Формальная модель понятия и концептуальные языки 18

ГЛАВА 2 БИНАРНАЯ МОДЕЛЬ ЗНАНИЙ 24

2.1. Синтаксис имен, используемых в БМЗ 24

2.2. Бинарная Модель Данных 26

2.2.1. Спецификация типов данных 27

2.2.2. Конструкторы типов данных 28

2.2.3. Спецификация функций 35

2.2.4. Спецификация структуры объектов 39

2.2.5. Синтаксис языка структурной спецификации 42

2.2.6. Атрибутные условия и интервальные ограничения 42

2.2.7. Структурные схемы 46

2.2.8. Представление данных в БМД 47

2.2.9. Логические предложения. 50

ГЛАВА 3 ЯЗЫК ЗАПРОСОВ ДЛЯ БИНАРНОЙ МОДЕЛИ ДАННЫХ 52

3.1. Примеры запросов 52

4.1. Описание интерфейса программы. 65

ПРИЛОЖЕНИЕ 70

Код программы 72

Файл Onthology.cs 72

Файл Translator.cs 74

90

ЗАКЛЮЧЕНИЕ 91

ЛИТЕРАТУРА 92