Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.

Michel Ludwig Boris Konev

Published in: KR (2014)

Keyphrases

description logics
incremental learning
model theoretic
data sets
practical application
dl lite
knowledge base
upper bound
linear array
database
real time
information systems
data model
practical problems
computational properties
logical structure