RDFdL: Integrating RDF with Differential Dynamic Logic

arXiv:2608.181652026-08-20

Knowledge graphs modeled in RDF are powerful for describing static knowledge, but they cannot capture or reason about the dynamic behavior of physical systems, e.g., systems described by differential equations, which is a critical gap for AI-driven cyber-physical systems. To solve this, we propose RDFdL, a framework that integrates RDF with Differential Dynamic Logic (dL) to represent and reason about both static knowledge and the continuous dynami

Authors · Yuyang Li, Lukas Kubelka, Julia Butte, Tobias K\"afer