Finite Model Reasoning in Horn-SHIQ.

Yazmín Angélica Ibáñez-García Carsten Lutz Thomas Schneider

Published in: Description Logics (2013)

Keyphrases

computational model
mathematical model
probabilistic model
experimental data
reasoning process
data sets
neural network
similarity measure
objective function
optimal solution
natural language
special case
cost function
description logics