RDFdL: Integrating RDF with 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…