2025-11-12T22:13:10.653124

SigSPARQL: Signals as a First-Class Citizen When Querying Knowledge Graphs

Schwarzinger, Steindl, FrÃ¼hwirth et al.

Purpose: Cyber-Physical Systems (CPSs) integrate computation and physical processes, producing time series data from thousands of sensors. Knowledge graphs can contextualize these data, yet current approaches that are applicably to monitoring CPS rely on observation-based approaches. This limits the ability to express computations on sensor data, especially when no assumptions can be made about sampling synchronicity or sampling rates. Methodology: We propose an approach for integrating knowledge graphs with signals that model run-time sensor data as functions from time to data. To demonstrate this approach, we introduce SigSPARQL, a query language that can combine RDF data and signals. We assess its technical feasibility with a prototype and demonstrate its use in a typical CPS monitoring use case. Findings: Our approach enables queries to combine graph-based knowledge with signals, overcoming some key limits of observation-based methods. The developed prototype successfully demonstrated feasibility and applicability. Value: This work presents a query-based approach for CPS monitoring that integrates knowledge graphs and signals, alleviating problems of observation-based approaches. By leveraging system knowledge, it enables operators to run a single query across different system instances within the same domain. Future work will extend SigSPARQL with additional signal functions and evaluate it in large-scale CPS deployments.

academic

SigSPARQL: 知識グラフのクエリ時にシグナルを第一級市民として扱う

基本情報

論文ID: 2506.03826
タイトル: SigSPARQL: Signals as a First-Class Citizen When Querying Knowledge Graphs
著者: Tobias Schwarzinger, Gernot Steindl, Thomas Frühwirth, Thomas Preindl, Konrad Diwold, Katrin Ehrenmüller, Fajar J. Ekaputra
分類: cs.DB（データベース）
発表時期: 2025年7月
論文リンク: https://arxiv.org/abs/2506.03826

概要

本論文は、情報物理システム（CPS）の監視におけるデータクエリの問題に対して、知識グラフとシグナル処理を組み合わせた新しいアプローチを提案しています。従来の方法は観測データに基づいており、特にサンプリングが非同期または不均一なサンプリングレートの場合、センサデータ計算の処理に制限があります。著者らはSigSPARQLクエリ言語を提案し、実行時センサデータを時間からデータへの関数（シグナル）としてモデル化し、RDFデータとシグナルの統一クエリを実現しました。プロトタイプシステムにより技術的実現可能性を検証し、典型的なCPS監視ユースケースでの応用効果を実証しています。

研究背景と動機

問題定義

中核的問題：情報物理システムは大量の時系列センサデータを生成し、システムのコンテキスト情報と組み合わせて分析する必要がありますが、既存の観測ベースの方法ではセンサデータ計算の表現に複雑性と制限があります。
重要性：デジタル化の進展に伴い、CPSは建築、エネルギーネットワーク、製造業など多くの分野で広く応用されており、センサデータの効果的な利用はシステム分析、監視、制御に不可欠です。
既存方法の制限：
- オントロジーベースのデータアクセス（OBDA）方法は、時系列を図構造にマッピングする際、単一センサの時間値が数千の独立した観測を表す要素に分散します
- クエリの複雑性が増加し、独立した観測から時間値の概念を再構成する必要があります
- 非同期時系列の処理に課題があり、異なるタイムスタンプの観測を組み合わせることが困難です
- 観測値間のデータモデリングに統一的な概念が欠けています
研究動機：シグナル（Signal）概念を「第一級市民」として導入し、独立した観測を抽象化し、現在の方法のセンサデータ計算表現における不足を克服します。

中核的貢献

言語に依存しないフレームワークの提案：知識グラフクエリ言語とシグナル処理を統合するための3つの中核演算子（Signal、ApplySF、LiftVal）を定義
SigSPARQLクエリ言語の設計：SPARQL構文と意味論を拡張し、シグナルをクエリ結果の第一級市民として支援
プロトタイプシステムの構築：Oxigraphに基づいた実装により、技術的実現可能性を検証
完全な理論基礎の提供：関数型リアクティブプログラミング（FRP）理論に基づき、シグナルと時系列データの形式的関係を確立
実用的価値の実証：電動自動車充電ステーション監視ユースケースを通じて、方法の適用可能性を証明

方法の詳細説明

タスク定義

入力：シグナル注釈付きRDFデータセット <D, S, φ>。ここでDはRDFデータセット、SはRDFシグナル集合、φはシグナル注釈関数出力：時系列解（TSS）または継続的に更新されるRDFグラフ制約：連続クエリをサポートし、非同期センサデータストリームを処理

中核的概念とデータモデル

1. シグナルの定義

定義7.1: RDFシグナルψは形式T→RDFの（部分的な可能性のある）関数
ここでTは時間領域、RDFはRDF項の集合

2. シグナル注釈RDFデータセット

定義7.2: <D, S, φ>
- D: 通常のRDFデータセット
- S: RDFシグナル集合  
- φ: IRI×IRI→Sの部分関数（シグナル注釈関数）

言語に依存しないフレームワーク

著者らは3つの中核演算子を提案しています：

Signal(s, p)：シグナルソースsとシグナル属性pに基づいてシグナルを構築
ApplySF(f, a⃗)：n項シグナル関数fを長さnのシグナルパラメータリストに適用
LiftVal(v)：値vを定数シグナルに昇格

SigSPARQL言語設計

構文拡張

SIGNALSクローズ：

SIGNALS {
    ev:ActivePower FROM ?device AS ?ap
    ev:Envelope FROM ?garage AS ?env
}

WHENクローズ：

WHEN {
    SUM(?ap * ?sign) > ?env
    BECOMES TRUE AT ?violation_time
}

意味論の定義

時系列解（TSS）：解が変数をRDF項またはRDFシグナルにバインドでき、時間点τで評価可能
連続クエリ：SELECTクエリはTSSを返し、CONSTRUCTクエリは継続的に成長するRDFグラフを返す
シグナル計算：点ごとの適用によってSPARQL関数と演算子をシグナル領域に昇格

技術的革新点

シグナル抽象化：FRPのシグナル概念を使用して観測ベースの方法に代わり、より自然な時間データモデリングを提供
統一クエリモデル：単一クエリで図構造知識と時間シグナル処理を組み合わせ
型システムの拡張：SPARQL代数を拡張してシグナル型をサポートし、自動的に型昇格を処理
連続クエリ意味論：トリガーイベントメカニズムを定義し、リアルタイム監視アプリケーションをサポート

実験設定

プロトタイプ実装

基盤フレームワーク：Oxigraphグラフデータベースに基づく
時間モデル：離散時間、「最後の観測」戦略を使用して観測間のデータをモデル化
評価方法：2段階評価 - シグナル計算記述の構築、その後連続クエリエンジンへの登録

検証ユースケース

電動自動車充電ステーション監視シナリオ：

システム構成：複数のEV充電器、太陽光発電システム、バッテリー
監視目標：運用エンベロープ制限を超える電力消費違反イベントの検出
データソース：有効電力（AP）センサ、バッテリー充電状態（SoC）センサ、運用エンベロープ制限

クエリ例

CONSTRUCT {
    ?garage ev:hasEnvelopeViolation [
        ev:description "Envelope Violated!" ;
        ev:startTime ?violation_time
    ]
}
WHEN {
    SUM(?ap * ?sign) > ?env
    BECOMES TRUE AT ?violation_time
}
SIGNALS {
    ev:ActivePower FROM ?device AS ?ap
    ev:Envelope FROM ?garage AS ?env
}
WHERE {
    ?garage a ev:Garage ; sosa:hosts ?device .
    ?device a ?ap_device_type .
    BIND(IF(?ap_device_type = ev:PVSystem, -1, 1) AS ?sign)
}
GROUP BY ?garage