TBoxes.

Franz Baader Patrick Koopmann Francesco Kriegel Adrian Nuradiansyah

Published in: CADE (2021)

Keyphrases

description logics
model theoretic
knowledge representation
reasoning problems
databases
lower bound
probabilistic model
multi dimensional
semantic web
reasoning tasks
dl lite