Deciding the logical difference problem for EL with role inclusions.

Daniel Pokrywczynski Dirk Walther

Published in: WoMO (2008)

Keyphrases

description logics
databases
knowledge base
three dimensional
high level
data mining
information systems
web pages
wide range
computational complexity
hidden markov models
rough sets
logical reasoning