Differential Dynamic Logic

Researchers propose RDFdL, a framework integrating RDF knowledge graphs with Differential Dynamic Logic (dL) to represent and reason about both static knowledge and continuous dynamics of physical sys…