Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking.
Thomas BittnerJonathan P. BonaWerner CeustersPublished in: FOIS (2016)
Keyphrases
- dynamical systems
- dynamic systems
- differential equations
- semantic web technologies
- state space
- dynamical models
- nonlinear dynamical systems
- control theory
- phase space
- domain specific
- linear systems
- functional programming
- qualitative simulation
- particle filter
- dynamical behavior
- sufficient conditions
- predictive state representations
- heterogeneous information systems
- nonlinear dynamics
- functional language
- particle filtering
- semantic web
- dynamic programming
- video sequences