Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes.

Michel Ludwig Boris Konev

Published in: Description Logics (2013)

Keyphrases

description logics
knowledge base
image interpolation
real world
upper bound
neural network
e learning
semantic web
model theoretic
linear interpolation
edge direction
piecewise polynomial