Masterthesis
Towards a Description Logic Support for ALICA



Publication Details
Authors:
Opfer, S.
Place:
Kassel
Publication year:
2012
Pages range:
74

Abstract
Providing reasoning support during the modelling of ALICA programs improves the quality of the results and the efficiency of the modelling process. Therefore, the applicability of a description logic reasoning support for ALICA is investigated. With SROIQ, one of the most expressive description logics is chosen. For a proper judgement of the applicability, three reasoning tasks of different complexity are implemented. Problems encountered during the ontology engineering and implementation are highlighted and discussed in detail. Finally, the described problems give rise to a choice between two options: Either the provided approach is further improved, or another reasoning approach is chosen. Starting points for both options are presented.


Keywords
ALICA, Description Logic, Middle Size League, Ontology, RoboCup, SROIQ


Authors/Editors

Last updated on 2019-25-07 at 11:30

Share link