Login / Signup
Counter Model Transformation for Explaining Non-Subsumption in EL.
Christian Alrabbaa
Willi Hieke
Anni-Yasmin Turhan
Published in:
FCR@KI (2021)
Keyphrases
</>
computational model
probabilistic model
description logics
mathematical model
formal model
cost function
data sets
high level
multiscale
optimal solution