PULSE: An Executable Contract Language for Spatiotemporal Knowledge Graph Engineering

Dongxu Yang, Ziyi Liang

Knowledge graph engineering often distributes accepted state, observations, constraints, processes, and hypothetical scenarios across artifacts whose combined execution contract re…