활용 사례 연구
RDFdL: Integrating RDF with Differential Dynamic Logic
ARarXiv
RDFdL은 RDF와 dL을 결합해 물리 시스템의 정적 지식과 연속 동적 행위를 함께 표현하고 추론하는 프레임워크를 제안한다.
세 줄 요약
- RDF와 SHACL로 미분 방정식과 상태 공간 범위를 표현하고 dL로 의미론을 제공하며, Apache Jena와 KeYmaera X로 안전성과 도달성 검증 결과를 SPARQL 쿼리 추론으로 연결한다.
- RDF만으로는 다루기 어려운 물리 시스템의 동적 행위를 SPARQL 쿼리로 검증 결과까지 함께 조회하고, 제조 같은 사이버-물리 시스템 적용을 보여 준다.
- 제조 분야 적용은 개요 수준으로 제시됐고, Apache Jena와 KeYmaera X 파이프라인을 전제로 한다.
RDFdL은 RDF와 dL을 결합해 물리 시스템의 정적 지식과 연속 동적 행위를 함께 표현하고 추론하는 프레임워크를 제안한다.