Bookcover of Towards Description Logic Reasoning Support for ALICA
Booktitle:

Towards Description Logic Reasoning Support for ALICA

At Distributed Systems Research Group

AV Akademikerverlag (2018-05-29 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-620-2-20873-4

ISBN-10:
6202208732
EAN:
9786202208734
Book language:
English
Blurb/Shorttext:
Providing reasoning support during the modelling of ALICA programs improves the quality of the results and the efficiency 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 different 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.
Publishing house:
AV Akademikerverlag
Website:
http://www.akademikerverlag.de/
By (author) :
Stephan Opfer
Number of pages:
84
Published on:
2018-05-29
Stock:
Available
Category:
Informatics
Price:
39.90 €
Keywords:
modelling, Support, Description Logic Reasoning Support, ALICA, Program, Modeling process, Applicability, investigate, SROIQ.

Books loader

Newsletter

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING