Modelling n-ary relations in description logics
| Thesis title in Czech: | Modelování n-árních relací v deskripčních logikách |
|---|---|
| Thesis title in English: | Modelling n-ary relations in description logics |
| Academic year of topic announcement: | 2006/2007 |
| Thesis type: | diploma thesis |
| Thesis language: | angličtina |
| Department: | Department of Software Engineering (32-KSI) |
| Supervisor: | RNDr. Filip Zavoral, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 29.06.2007 |
| Date of assignment: | 29.06.2007 |
| Date and time of defence: | 26.05.2008 00:00 |
| Date of electronic submission: | 26.05.2008 |
| Date of proceeded defence: | 26.05.2008 |
| Opponents: | prof. RNDr. Peter Vojtáš, DrSc. |
| Guidelines |
| 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. |
| References |
| 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 |
| Preliminary scope of work in English |
| 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. |