On Decidability and Tractability of Querying in Temporal EL.
Víctor Gutiérrez-BasultoJean Christoph JungRoman KontchakovPublished in: Description Logics (2016)
Keyphrases
- description logics
- spatio temporal
- temporal data
- temporal information
- databases
- temporal constraints
- spatial and temporal
- temporal queries
- database
- spatio temporal databases
- temporal reasoning
- query answering
- knowledge representation
- data sets
- database systems
- computational complexity
- query language
- constraint satisfaction
- knowledge base
- temporal patterns
- artificial intelligence
- decision procedures
- temporal consistency
- dl lite
- database querying