Работа с онтологической моделью организации на основе дескриптивной логики; Известия Томского политехнического университета [Известия ТПУ]; Т. 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 |
| フォーマット: | MixedMaterials 電子媒体 図書の章 |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=171798 |
MARC
| LEADER | 00000nla2a2200000 4500 | ||
|---|---|---|---|
| 001 | 171798 | ||
| 005 | 20231031164054.0 | ||
| 035 | |a (RuTPU)RU\TPU\book\186271 | ||
| 035 | |a RU\TPU\book\186265 | ||
| 090 | |a 171798 | ||
| 100 | |a 20091208d2006 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drnn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Работа с онтологической моделью организации на основе дескриптивной логики |b Электронный ресурс |f А. Ф. Тузовский | |
| 203 | |a Текст |c электронный | ||
| 215 | |a 1 файл (253 Кб) | ||
| 225 | 1 | |a Технические науки | |
| 230 | |a Электронные текстовые данные (1 файл : 253 Кб) | ||
| 300 | |a Заглавие с титульного листа | ||
| 300 | |a Электронная версия печатной публикации | ||
| 320 | |a [Библиогр.: с. 137 (7 назв.)] | ||
| 330 | |a Рассмотрена последовательность преобразований онтологической модели в модель дескриптивной логики с применением системы логического вывода. В качестве системы поддержки работы с моделью дескриптивной логики используется система логического вывода RACER. Приводится способ проверки правильности онтологии на основе доказательства запроса на выполнимость модели дескриптивной логики. | ||
| 337 | |a Adobe Reader | ||
| 461 | 1 | |0 (RuTPU)RU\TPU\book\176237 |t Известия Томского политехнического университета [Известия ТПУ] |f Томский политехнический университет (ТПУ) |d 2000- | |
| 463 | 1 | |0 (RuTPU)RU\TPU\book\186202 |t Т. 309, № 7 |v [С. 134-137] |d 2006 |p 274 с. | |
| 610 | 1 | |a онтологические модели | |
| 610 | 1 | |a организации | |
| 610 | 1 | |a дескриптивная логика | |
| 610 | 1 | |a преобразования | |
| 610 | 1 | |a системы логического вывода | |
| 610 | 1 | |a проверки | |
| 610 | 1 | |a запросы | |
| 610 | 1 | |a доказательства | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a электронный ресурс | |
| 700 | 1 | |a Тузовский |b А. Ф. |c профессор каф. оптимизации систем управления (ОСУ) АВТФ, ТПУ |c доктор технических наук |c зав. лаб. «Системы Управления Знаниями» |f 1952- |g Анатолий Федорович |2 stltpush |3 (RuTPU)RU\TPU\pers\25952 | |
| 801 | 1 | |a RU |b 63413507 |c 20090623 |g PSBO | |
| 801 | 2 | |a RU |b 63413507 |c 20211110 |g PSBO | |
| 856 | 4 | |u http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2006/v309/i7/29.pdf | |
| 942 | |c CF | ||