RDFdL: Integrating RDF with Differential Dynamic Logic

RDFdL is a framework that merges RDF knowledge graphs with Differential Dynamic Logic (dL) to enable representation and reasoning about both static knowledge and continuous physical dynamics. It encodes differential equations and state-space ranges in RDF and SHACL, translating them into dL for formal verification. The integration allows safety and reachability proofs from dL to be queried as SPARQL entailments over RDF data, with an implementation using Apache Jena and KeYmaera X demonstrated in a manufacturing context.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

• safety