Login / Signup
Metric Temporal Extensions of DL-Lite and Interval-Rigid Names.
Veronika Thost
Published in:
CoRR (2018)
Keyphrases
</>
dl lite
description logics
query answering
reasoning tasks
data complexity
conjunctive queries
temporal reasoning
temporal information
first order logic
computational complexity
metric space
knowledge base
expressive power
machine learning
incomplete information
data exchange
special case