Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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.pdf | 257,45 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.