Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://earchive.tpu.ru/handle/11683/1400
Название: Работа с онтологической моделью организации на основе дескриптивной логики
Авторы: Тузовский, Анатолий Федорович
Ключевые слова: онтологические модели; организации; дескриптивная логика; преобразования; системы логического вывода; проверки; запросы; доказательства
Дата публикации: 2006
Издатель: Томский политехнический университет
Библиографическое описание: Тузовский А. Ф. Работа с онтологической моделью организации на основе дескриптивной логики / А. Ф. Тузовский // Известия Томского политехнического университета [Известия ТПУ]. — 2006. — Т. 309, № 7. — [С. 134-137].
Аннотация: Рассмотрена последовательность преобразований онтологической модели в модель дескриптивной логики с применением системы логического вывода. В качестве системы поддержки работы с моделью дескриптивной логики используется система логического вывода RACER. Приводится способ проверки правильности онтологии на основе доказательства запроса на выполнимость модели дескриптивной логики.
URI: http://earchive.tpu.ru/handle/11683/1400
Располагается в коллекциях:Известия ТПУ

Файлы этого ресурса:
Файл Описание РазмерФормат 
bulletin_tpu-2006-309-7-29.pdf257,45 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.