Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL.
Haitao ChengZongmin MaPublished in: Description Logics (2019)
Keyphrases
- description logics
- temporal reasoning
- temporal constraints
- model checking
- temporal logic
- knowledge base
- constraint networks
- qualitative and quantitative
- reasoning tasks
- temporal information
- knowledge representation
- computational properties
- dl lite
- event calculus
- semantic web
- exptime complete
- reasoning problems
- owl ontologies
- fuzzy description logics
- description logic alc
- artificial intelligence
- ontology languages
- modal logic
- owl dl
- knowledge representation languages