Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract).

Sabiha Tahrat Germán Alejandro Braun Alessandro Artale Ana Ozaki

Published in: Description Logics (2021)

Keyphrases

extended abstract
description logics
dl lite
spatio temporal
ontology languages
temporal reasoning
knowledge base
query answering
classical logic
temporal information
data complexity
video sequences
temporal data
expressive description logics