RDFdL: Integrating RDF with Differential Dynamic Logic

Yuyang Li, Lukas Kubelka, Julia Butte +1

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 descri…