Beschreibung
Providing reasoning support during the modelling of ALICA programs improves the quality of the results and the eciency of the modeling 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 dierent 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.
Autorenporträt
Stephan Opfer is a PhD student who works with the Distributed Systems Department of Prof. Geihs. After spending a decade working on Robotic Soccer, Service Robotics, and Space Robotics, he believes that a decentralised coordination including symbolic reasoning is inevitable for multi-robot systems applications in real world scenarios.
Herstellerkennzeichnung:
OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD
E-Mail: info@omniscriptum.com
