Interval Algebra and Region Connection Calculus for Ontological Spatiotemporal Assembly Product Motion Knowledge Representation.
Md Tarique Hasan KhanFrédéric DemolyKyoung Yun KimPublished in: J. Integr. Des. Process. Sci. (2020)
Keyphrases
- knowledge representation
- region connection calculus
- space time
- interval algebra
- moving objects
- temporal reasoning
- temporal constraints
- knowledge base
- image sequences
- spatial information
- description logics
- artificial intelligence
- reasoning problems
- natural language
- automated reasoning
- expert systems
- point algebra
- path consistency
- logic programming
- first order logic
- constraint propagation
- semantic web
- qualitative spatial and temporal reasoning
- answer set programming
- reasoning tasks
- linear programming
- temporal information
- production rules
- constraint networks
- conceptual modeling