Representing and reasoning fuzzy spatio- temporal knowledge with description logics: A survey.
Haitao ChengRuchuan WangPeng LiHe XuPublished in: Intell. Data Anal. (2019)
Keyphrases
- temporal knowledge
- description logics
- formal representation
- fuzzy description logics
- temporal reasoning
- knowledge representation
- knowledge base
- reasoning tasks
- temporal information
- temporal logic
- temporal constraints
- knowledge representation and reasoning
- reasoning problems
- representation language
- reasoning systems
- computational properties
- dl lite
- first order logic
- knowledge representation formalisms
- reasoning services
- knowledge representation systems
- knowledge acquisition
- number restrictions
- computing least common subsumers
- owl dl
- semantic web
- fuzzy ontology
- conceptual graphs
- ontology languages
- databases
- qualitative and quantitative
- data exchange