-TBoxes.

Shasha Feng Michel Ludwig Dirk Walther

Published in: KI (2015)

Keyphrases

description logics
dl lite
reasoning tasks
knowledge base
model theoretic
artificial intelligence
reasoning problems
database
data structure
data management
expressive power