Работа с онтологической моделью организации на основе дескриптивной логики; Известия Томского политехнического университета [Известия ТПУ]; Т. 309, № 7
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 309, № 7.— 2006.— [С. 134-137] |
|---|---|
| 主要作者: | |
| 總結: | Заглавие с титульного листа Электронная версия печатной публикации Рассмотрена последовательность преобразований онтологической модели в модель дескриптивной логики с применением системы логического вывода. В качестве системы поддержки работы с моделью дескриптивной логики используется система логического вывода RACER. Приводится способ проверки правильности онтологии на основе доказательства запроса на выполнимость модели дескриптивной логики. |
| 語言: | 俄语 |
| 出版: |
2006
|
| 叢編: | Технические науки |
| 主題: | |
| 在線閱讀: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2006/v309/i7/29.pdf |
| 格式: | 電子 Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=171798 |
| 實物描述: | 1 файл (253 Кб) |
|---|---|
| 總結: | Заглавие с титульного листа Электронная версия печатной публикации Рассмотрена последовательность преобразований онтологической модели в модель дескриптивной логики с применением системы логического вывода. В качестве системы поддержки работы с моделью дескриптивной логики используется система логического вывода RACER. Приводится способ проверки правильности онтологии на основе доказательства запроса на выполнимость модели дескриптивной логики. |