Работа с онтологической моделью организации на основе дескриптивной логики; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 309, № 7.— 2006.— [С. 134-137] |
|---|---|
| Auteur principal: | |
| Résumé: | Заглавие с титульного листа Электронная версия печатной публикации Рассмотрена последовательность преобразований онтологической модели в модель дескриптивной логики с применением системы логического вывода. В качестве системы поддержки работы с моделью дескриптивной логики используется система логического вывода RACER. Приводится способ проверки правильности онтологии на основе доказательства запроса на выполнимость модели дескриптивной логики. |
| Langue: | russe |
| Publié: |
2006
|
| Collection: | Технические науки |
| Sujets: | |
| Accès en ligne: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2006/v309/i7/29.pdf |
| Format: | Électronique Chapitre de livre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=171798 |