Neuerscheinungen 2018Stand: 2020-02-01 |
Schnellsuche
ISBN/Stichwort/Autor
|
Herderstraße 10 10625 Berlin Tel.: 030 315 714 16 Fax 030 315 714 14 info@buchspektrum.de |
Stephan Opfer
Towards Description Logic Reasoning Support for ALICA
At Distributed Systems Research Group
2018. 84 S. 220 mm
Verlag/Jahr: AV AKADEMIKERVERLAG 2018
ISBN: 6-202-20873-2 (6202208732)
Neue ISBN: 978-6-202-20873-4 (9786202208734)
Preis und Lieferzeit: Bitte klicken
Providing reasoning support during the modelling of ALICA programs improves the quality of the results and the e ciency 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 di erent 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.