Towards Description Logic Reasoning Support for ALICA
Stephan Opfer
Broschiertes Buch

Towards Description Logic Reasoning Support for ALICA

At Distributed Systems Research Group

Versandkostenfrei!
Versandfertig in 6-10 Tagen
26,99 €
inkl. MwSt.
PAYBACK Punkte
13 °P sammeln!
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 opt...