Работа с онтологической моделью организации на основе дескриптивной логики
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 309, № 7.— 2006.— [С. 134-137] |
|---|---|
| Автор: | |
| Резюме: | Заглавие с титульного листа Электронная версия печатной публикации Рассмотрена последовательность преобразований онтологической модели в модель дескриптивной логики с применением системы логического вывода. В качестве системы поддержки работы с моделью дескриптивной логики используется система логического вывода RACER. Приводится способ проверки правильности онтологии на основе доказательства запроса на выполнимость модели дескриптивной логики. |
| Опубліковано: |
2006
|
| Серія: | Технические науки |
| Предмети: | |
| Онлайн доступ: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2006/v309/i7/29.pdf |
| Формат: | Електронний ресурс Частина з книги |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=171798 |