Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Онтологическая модель представления и организации знаний
ГЛАВА 3. Дескрипционная логика
Предыдущая страница
Следующая страница
Оглавление
Введение
ГЛАВА 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. Программа "Семья" в формате, основанном на Функциональном синтаксисе
Данный блок поддерживает скрол*