TBoxes: From Quantified ABoxes Back to ABoxes.

Franz Baader Patrick Koopmann Francesco Kriegel Adrian Nuradiansyah

Published in: ESWC (2022)

Keyphrases

description logics
dl lite
knowledge base
reasoning tasks
knowledge representation
computational properties
reasoning problems
expressive description logics
semantic web
query answering
model theoretic
expert systems
artificial intelligence
data complexity
owl ontologies
ontology languages