A Data Model and Predicate Logic for Trajectory Data (Extended Version).
Johann BornholdtTheodoros ChondrogiannisMichael GrossniklausPublished in: CoRR (2024)
Keyphrases
- predicate logic
- trajectory data
- data model
- knowledge representation and reasoning
- road network
- formal logic
- moving object trajectories
- temporal logic
- query language
- space time
- object oriented
- moving objects
- spatial data
- computational linguistics
- database systems
- mobility data
- temporal information
- semantic network
- lower level
- artificial intelligence
- higher level
- knowledge based systems
- knowledge representation
- relational databases
- logical formulas
- data sources
- bayesian networks
- order sorted