04:00
2026-08-20
arxiv.org
artificial-intelligence
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…