PULSE Language Streamlines Spatiotemporal Knowledge Graph Engineering.

Engineering knowledge graphs, especially those dealing with spatiotemporal data, often involves distributing various components like state, observations, constraints, and processes across multiple artifacts. This fragmentation means the overall execution contract—how these components interact and what rules govern their changes—remains external and implicit, leading to potential inconsistencies and errors. This research introduces PULSE, an executable contract language inspired by Object-Process-Methodology. PULSE centralizes and localizes four key operational roles and their write effects within a single, typed runtime environment. The language is designed to enforce critical safety properties, including preventing evidence overwrites, ensuring branch isolation, managing multi-subject timers, guarding state changes, and ordering events over time and space. The framework's core calculus and implementation have been rigorously checked using formal verification tools and extensive testing, demonstrating its ability to maintain consistency and trace parity across complex spatiotemporal scenarios.