Modelling n-ary relations in description logics
| Název práce v češtině: | Modelování n-árních relací v deskripčních logikách |
|---|---|
| Název v anglickém jazyce: | Modelling n-ary relations in description logics |
| Akademický rok vypsání: | 2006/2007 |
| Typ práce: | diplomová práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra softwarového inženýrství (32-KSI) |
| Vedoucí / školitel: | RNDr. Filip Zavoral, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 29.06.2007 |
| Datum zadání: | 29.06.2007 |
| Datum a čas obhajoby: | 26.05.2008 00:00 |
| Datum odevzdání elektronické podoby: | 26.05.2008 |
| Datum proběhlé obhajoby: | 26.05.2008 |
| Oponenti: | prof. RNDr. Peter Vojtáš, DrSc. |
| Zásady pro vypracování |
| 1. Become familiar with description logics, semantic annotations creation and problems of n-ary relations.
2. Compare existing approaches of modeling n-ary relations in logic formalisms and analyse its computational 3. Design and implement chosen algorithms of reification and create an n-ary engine based on existing reasoners for description logics. 4. Verify the algorithms on nary ontologies created from appropriate existing OWL ontologies. |
| Seznam odborné literatury |
| W3C: Defining N-ary Relations on the Semantic Web
D. Calvanese, G. De Giacomo, M. Lenzerini: Conjunctive Query Containment in Description Logics with n-ary Relations I. Horrocks, U. Sattler, S. Tessaris, Stephan Tobies: Query Containment Using a DLR ABox |
| Předběžná náplň práce v anglickém jazyce |
| 1. Become familiar with description logics, semantic annotations creation and problems of n-ary relations.
2. Compare existing approaches of modeling n-ary relations in logic formalisms and analyse its computational 3. Design and implement chosen algorithms of reification and create an n-ary engine based on existing reasoners for description logics. 4. Verify the algorithms on nary ontologies created from appropriate existing OWL ontologies. |