Hlavní stránka > Výsledky hledání: Blaško, Miroslav
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Modelling n-ary relations in description logics
 Blaško, Miroslav ; Zavoral, Filip (vedoucí práce) ; Vojtáš, Peter (oponent)
DLR je expresívna deskripčná logika, ktorá podporuje n-árne relácie. V súčastnosti neexistuje algoritmus, ktorý by dokázal natívne uvažovať v DLR. Existujú však dve práce, ktoré umožňujú uvažovanie delegovať do binárnych logík. V tejto práci de finujeme novú deskripčnú logiku NDL. Tá predstavuje podmnožinu DLR, pre ktorú veríme, že natívne uvažovanie vieme poskytnúť. Na základe spomínaných prací vytvoríme transformácie z NDL do binárnych logík, ktoré budeme mocť použiť v najmodernejších odvodzovacích systémoch. Nové transformácie teoreticky i prakticky analyzujeme. N-árne data pre testovanie vytvoríme z existujúcich OWL ontológií opačnou transformáciou. Táto práca môže byť použita pre porovnanie natívneho uvažovania a uvažovania pomocou transformácie do binárnych logík.
Úplný záznam
Modelling n-ary relations in description logics
 Blaško, Miroslav ; Vojtáš, Peter (oponent) ; Zavoral, Filip (vedoucí práce)
DLR je expresívna deskripčná logika, ktorá podporuje n-árne relácie. V súčastnosti neexistuje algoritmus, ktorý by dokázal natívne uvažovať v DLR. Existujú však dve práce, ktoré umožňujú uvažovanie delegovať do binárnych logík. V tejto práci de finujeme novú deskripčnú logiku NDL. Tá predstavuje podmnožinu DLR, pre ktorú veríme, že natívne uvažovanie vieme poskytnúť. Na základe spomínaných prací vytvoríme transformácie z NDL do binárnych logík, ktoré budeme mocť použiť v najmodernejších odvodzovacích systémoch. Nové transformácie teoreticky i prakticky analyzujeme. N-árne data pre testovanie vytvoríme z existujúcich OWL ontológií opačnou transformáciou. Táto práca môže byť použita pre porovnanie natívneho uvažovania a uvažovania pomocou transformácie do binárnych logík.
Úplný záznam

Viz též: podobná jména autorů
1 Blaško, Martin
2 Blaško, Michal
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English