Conference proceedings article
Limits of SROIQ in the Context of Reasoning Support for Multi-Agent Plan Modelling



Publication Details
Authors:
Opfer, S.; Skubch, H.; Geihs, K.
Editor:
Gesellschaft für Informatik
Publisher:
Springer Verlag
Place:
B-IT Bonn-Aachen International Center for Information Technology in Bonn
Publication year:
2013
Pages range:
55-58
Book title:
Informatiktage 2013 - Fachwissenschaftlicher Informatik-Kongress
Title of series:
Lecture Notes in Informatics (LNI) - Seminars
Volume number:
12

Abstract
Providing reasoning support during the modelling of Multi-Agent plans improves the quality of the results and the efficiency of the modelling process. Therefore, we investigated the applicability of a description logic reasoning support for the Multi-Agent modelling language ALICA. We choose SROIQ as one of the most expressive description logics. For a proper judgement of its applicability, several reasoning tasks of different complexity are implemented. The encountered problems are highlighted and discussed. Finally it is concluded that only improved or alternative reasoning techniques are suitable for the complexity of Multi-Agent plans.


Keywords
Beschreibungslogik, Description Logic, Multi-Agenten-Pläne, Multi-Agent Plans, SROIQ

Last updated on 2019-24-07 at 08:55