Описна логика

Описна логика (енгл. Description logics, DL) је породица језика за формално представљање знања. Многе описне логике су експресивније од пропозиционе логике, али мање експресивне од логике првог реда. За разлику од потоње, сржни проблеми расуђивања за описну логику су (обично) решиви, а ефикасне процедуре одлучивања су дизајниране и примењене за ове проблеме. Постоје општа, просторна, временска, просторно временска и расплинута описна логика, и свака описна логика карактерише другачији баланс између изражајне моћи и сложености расуђивања подржавајући различите скупове математичких конструктора.^[1]

Описна логика се користи у вештачкој интелигенцији за описивање и образложење релевантних концепата домена апликације (познатог као терминолошко знање). То је од посебног значаја у обезбеђивању логичког формализма за онтологије и семантичку мрежу: веб онтолошки језик (ОWЛ) и његови профили су засновани на описној логици. Најзначајнија примена описне логике и ОWЛ је у биомедицинској информатици где описна логика помаже у кодификацији биомедицинског знања.

Увод

Описна логика моделује концепте, улоге и појединце и њихове односе.

Основни концепт овог вида моделовања је аксиом — логички исказ који се односи на улоге и/или концепте.^[2] Ово је кључна разлика од парадигме оквира где спецификација оквира декларише и потпуно дефинише класу.^[2]

Референце

^ Сикос, Леслие Ф. (2017). Десцриптион Логицс ин Мултимедиа Реасонинг. Цхам: Спрингер Интернатионал Публисхинг. ИСБН 978-3-319-54066-5. С2ЦИД 3180114. дои:10.1007/978-3-319-54066-5.
^ ^а ^б Грау, Б. C.; Хорроцкс, I.; Мотик, Б.; Парсиа, Б.; Пател-Сцхнеидер, П. Ф.; Саттлер, У. (2008). „ОWЛ 2: Тхе неxт степ фор ОWЛ” (ПДФ). Wеб Семантицс: Сциенце, Сервицес анд Агентс он тхе Wорлд Wиде Wеб. 6 (4): 309—322. дои:10.1016/ј.wебсем.2008.05.001.

Литература

Ф. Баадер, D. Цалванесе, D. L. МцГуиннесс, D. Нарди, П. Ф. Пател-Сцхнеидер (2003). Тхе Десцриптион Логиц Хандбоок: Тхеорy, Имплементатион, Апплицатионс. Цамбридге, УК: Цамбридге Университy Пресс. ИСБН 0-521-78176-0.
Иан Хорроцкс, Улрике Саттлер: Онтологy Реасонинг ин тхе СХОQ(D) Десцриптион Логиц, ин Процеедингс оф тхе Севентеентх Интернатионал Јоинт Цонференце он Артифициал Интеллигенце, 2001.
D. Фенсел, Ф. ван Хармелен, I. Хорроцкс, D. МцГуиннесс, анд П. Ф. Пател-Сцхнеидер (2001). „ОИЛ: Ан Онтологy Инфраструцтуре фор тхе Семантиц Wеб” (ПДФ). ИЕЕЕ Интеллигент Сyстемс. 16 (2): 38—45. , .
Иан Хорроцкс анд Петер Ф. Пател-Сцхнеидер: Тхе Генератион оф ДАМЛ+ОИЛ. Ин Процеедингс оф тхе 2001 Десцриптион Логиц Wорксхоп (DL 2001), волуме 49 оф ЦЕУР <http://ceur-ws.org/>, pages 30–35, 2001.
Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen (2003). „From SHIQ and RDF to OWL: The Making of a Web Ontology Language” (PDF). Journal of Web Semantics. 1 (1): 7—26. , .
Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter Patel-Schneider, and Ulrike Sattler (новембар 2008). „OWL 2: The next step for OWL” (PDF). Journal of Web Semantics. 6 (4): 309—322. ,.
Franz Baader, Ian Horrocks, and Ulrike Sattler: Chapter 3 Description Logics. In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, Handbook of Knowledge Representation. Elsevier, 2007.
Alessandro Artale and Enrico Franconi: Temporal Description Logics. In Handbook of Temporal Reasoning in Artificial Intelligence, 2005.
Web Ontology (WebONT) Working Group Charter. W3C, 2003
World Wide Web Consortium Issues RDF and OWL Recommendations. Press Release. W3C, 2004.
OWL Working Group Charter. W3C, 2007.
OWL 2 Connects the Web of Knowledge with the Web of Data. Press Release. W3C, 2009.
Markus Krötzsch, František Simančík, Ian Horrocks: A Description Logic Primer. CoRR arXiv:1201.4089. 2012. A very first introduction for readers without a formal logic background.
Sebastian Rudolph: Foundations of Description Logics Архивирано на веб-сајту Wayback Machine (13. мај 2024). Ин Реасонинг Wеб: Семантиц Тецхнологиес фор тхе Wеб оф Дата, 7тх Интернатионал Суммер Сцхоол, волуме 6848 оф Лецтуре Нотес ин Цомпутер Сциенце, пагес 76–136. Спрингер, 2011. (спрингерлинк)Интродуцторy теxт wитх а фоцус он моделлинг анд формал семантицс. Тхере аре алсо слидес.
Јенс Лехманн: DL-Леарнер: Леарнинг цонцептс ин десцриптион логицс, Јоурнал оф Мацхине Леарнинг Ресеарцх, 2009.
Франз Баадер: Десцриптион Логицс. Ин Реасонинг Wеб: Семантиц Тецхнологиес фор Информатион Сyстемс, 5тх Интернатионал Суммер Сцхоол, волуме 5689 оф Лецтуре Нотес ин Цомпутер Сциенце, пагес 1–39. Спрингер, 2009. (спрингерлинк) Интродуцторy теxт wитх а фоцус он реасонинг анд лангуаге десигн, анд ан еxтендед хисторицал овервиеw.
Енрицо Францони: Интродуцтион то Десцриптион Логицс. Цоурсе материалс. Фацултy оф Цомпутер Сциенце, Фрее Университy оф Болзано, Италy, 2002. Лецтуре слидес анд манy литературе поинтерс, сомеwхат датед.
Иан Хорроцкс. „Онтологиес анд тхе Семантиц Wеб” (ПДФ). Цоммуницатионс оф тхе АЦМ. 51 (12): 58—67. децембар 2008. ,. А генерал овервиеw оф кноwледге репресентатион ин Семантиц Wеб тецхнологиес.

Спољашње везе

Десцриптион Логиц Цомплеxитy Навигатор, маинтаинед бy Евгенy Золин ат тхе Департмент оф Цомпутер Сциенце
Лист оф Реасонерс, ОWЛ ресеарцх ат тхе Университy оф Манцхестер
Десцриптион Логицс Wорксхоп, хомепаге оф тхе цоллецтинг информатион абоут тхе цоммунитy анд арцхивес оф тхе wорксхоп процеедингс
ЦЕЛ ис ан опен соурце ЛИСП-басед реасонер (Апацхе 2.0 Лиценсе).
Церебра Енгине wас а цоммерциал C++-басед реасонер, ацqуиред ин 2006 бy wебМетходс.
ФаЦТ++ ис а фрее опен-соурце C++-басед реасонер.
КАОН2 ис а фрее (фор нон-цоммерциал усе) Јава-басед реасонер, офферинг фаст реасонинг суппорт фор ОWЛ онтологиес.
МСПАСС ис а фрее опен-соурце C реасонер фор нумероус DL моделс.
Пеллет ис а дуал-лиценсед (АГПЛ анд проприетарy) цоммерциал, Јава-басед реасонер.
РацерПро оф Рацер Сyстемс wас а цоммерциал (фрее триалс анд ресеарцх лиценсес аре аваилабле) лисп-басед реасонер, тодаy ботх ан опен соурце версион оф РАЦЕР еxистс фром тхе оригинал девелоперс ат Лüбецк Университy усинг тхе БСД 3 лиценсе, анд алсо а цоммерциализед версион, стилл намед РацерПро бy Франз Инц.
Сим-DL ис а фрее опен-соурце Јава-басед реасонер фор тхе лангуаге АЛЦХQ. Ит алсо провидес а симиларитy меасуремент фунцтионалитy бетwеен цонцептс. То аццесс тхис фунцтионалитy а Протéгé плугин цан бе усед.
ХермиТ ис ан опен-соурце реасонер басед он тхе "хyпертаблеау" цалцулус. Ит ис девелопед бy тхе Университy оф Оxфорд.
Оwлреадy2 ис а пацкаге фор онтологy-ориентед программинг ин Пyтхон. Ит цан лоад ОWЛ 2.0 онтологиес ас Пyтхон објецтс, модифy тхем, саве тхем, анд перформ реасонинг виа ХермиТ (инцлудед). Оwлреадy2 аллоwс а транспарент аццесс то ОWЛ онтологиес (цонтрарy то усуал Јава-басед АПИ).

Едитори

Протéгé ис а фрее, опен-соурце онтологy едитор анд а кноwледге басе фрамеwорк, wхицх цан усе DL реасонерс офферинг ДИГ Интерфаце ас а бацк енд фор цонсистенцy цхецкс.
СWООП на веб-сајту ГитХуб, ан ОWЛ броwсер/едитор тхат такес тхе стандард wеб броwсер ас тхе басиц УИ парадигм.

Интерфејси

ДИГ Интерфаце он СоурцеФорге, а стандардизед XМЛ интерфаце то ДЛс сyстемс девелопед бy тхе DL Имплементатион Гроуп (ДИГ).
ОWЛ АПИ он СоурцеФорге, а Јава интерфаце анд имплементатион фор тхе Wеб Онтологy Лангуаге, усед то репресент Семантиц Wеб онтологиес.

[1] Сикос, Леслие Ф. (2017). Десцриптион Логицс ин Мултимедиа Реасонинг. Цхам: Спрингер Интернатионал Публисхинг. ИСБН 978-3-319-54066-5. С2ЦИД 3180114. дои:10.1007/978-3-319-54066-5.

[GHMPPS-2] а ^б Грау, Б. C.; Хорроцкс, I.; Мотик, Б.; Парсиа, Б.; Пател-Сцхнеидер, П. Ф.; Саттлер, У. (2008). „ОWЛ 2: Тхе неxт степ фор ОWЛ” (ПДФ). Wеб Семантицс: Сциенце, Сервицес анд Агентс он тхе Wорлд Wиде Wеб. 6 (4): 309—322. дои:10.1016/ј.wебсем.2008.05.001.

[1]

[2]