RDFdL Integrates RDF Knowledge Graphs with Differential Dynamic Logic
August 20, 2026
RDFdL bridges the gap between static RDF knowledge graphs and continuous physical system dynamics by integrating them with Differential Dynamic Logic. This allows SPARQL queries to leverage formal verification results for safety and reachability in cyber-physical systems.
HOW THIS AFFECTS YOU
●
researcherYou can use this framework to perform formal verification on AI-driven cyber-physical systems within a unified logic structure.