Login / Signup
Fast ABox Consistency Checking Using Incomplete Reasoning and Caching.
Christian Meilicke
Daniel Ruffinelli
Andreas Nolle
Heiko Paulheim
Heiner Stuckenschmidt
Published in:
RuleML+RR (2017)
Keyphrases
</>
consistency checking
query answering
stochastic search
description logics
expressive description logics
temporal constraints
temporal reasoning
dl lite
knowledge base
data exchange
data sets
query processing
integrity constraints
prefetching
incomplete knowledge
terminological reasoning