Provenance Analysis: A Perspective for Description Logics?

Katrin M. Dannert Erich Grädel

Published in: Description Logic, Theory Combination, and All That (2019)

Keyphrases

description logics
knowledge base
knowledge representation
reasoning tasks
database
computational properties
reasoning problems
owl dl