Раздел 4 / 10

Страница 42 / 45

ГЛАВА 3. Дескрипционная логика

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Registration

На предыдущую главу

На следующую главу

Скачать приложение

Онтологическая модель представления и организации знаний

Table of contents

Введение

ГЛАВА 1. Онтология предметной области и ее основные компоненты +

ГЛАВА 2. Технология разработки онтологии предметной области +

ГЛАВА 3. Дескрипционная логика -

Введение

3.1. Общие сведения

3.2. Синтаксис

3.3. Синтаксис логики ALC

3.4. Семантика

3.5. Семантика логики ALC

3.6. Связь с логикой предикатов

3.7. База знаний

3.8. Аксиомы и TBox

3.9. Утверждения и ABox

3.10. Выразительные ДЛ

3.11. Логический анализ

3.12. Свойства ДЛ

3.13. Разрешимость логики ALC

3.14. Понятие разрешающего алгоритма

3.15. Табло-алгоритм для логики без терминологий

3.16. Табло-алгоритм для логики ALC с терминологиями

3.17. Отличие баз знаний от баз данных

3.18. Связь с языком OWL

3.19. Машины вывода и редакторы

3.20. О вычислительной сложности логики ALC

ГЛАВА 4. OWL - язык описания онтологий +

ГЛАВА 5. Практическое применение онтологий +

Заключение

Библиографический список

ПРИЛОЖЕНИЕ П1. Программа "Семья" в формате, основанном на Манчестерском синтаксисе

ПРИЛОЖЕНИЕ П2. Программа "Семья" в формате, основанном на Функциональном синтаксисе