PULSE: A New Language for Spatiotemporal Knowledge Graph Engineering
A novel executable contract language named PULSE has been launched for the engineering of spatiotemporal knowledge graphs. Drawing inspiration from Object-Process Methodology, PULSE organizes four operational roles along with their write effects within a single typed runtime. The contract addresses issues such as evidence non-overwrite, branch isolation, grounded multi-subject timers, guarded state changes, and event ordering ranked by declaration across time and space. An external runner determines if evidence qualifies as an authoritative move. The language produces views in GeoSPARQL, SOSA, and SHACL, while a core calculus offers an effect-confinement lemma and six safety properties. The implementation features Lean 4 checks for kernel analogues, validated through 88 tests and 3,534 bounded checks. The research can be found on arXiv with the identifier 2608.02630.
Key facts
- PULSE is an executable contract language for spatiotemporal knowledge graph engineering.
- It is inspired by Object-Process Methodology.
- It localizes four operational roles and their write effects in one typed runtime.
- The contract fixes evidence non-overwrite, branch isolation, grounded multi-subject timers, guarded state change, and declaration-ranked event ordering.
- An external runner decides whether evidence becomes an authoritative move.
- GeoSPARQL, SOSA, and SHACL are generated views.
- A core calculus gives an effect-confinement lemma and six safety properties.
- Lean 4 checks kernel analogues; 88 tests and 3,534 bounded checks were run.
Entities
—