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.
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
