Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

要約

【タイトル】　LTLオントロジーを介した時間的クエリのリバースエンジニアリング

【要約】
– データベースクエリのリバースエンジニアリングにおいて、与えられた回答と非回答からクエリを構築し、データの探索や回答と非回答の説明として利用することを目的とする。
– タイムスタンプされたデータに対する線形時間論理LTLの正の断片で定式化されたクエリについて、適切なクエリ言語の設計と、与えられた言語において与えられた回答を非回答から分離するクエリが存在するかどうかを決定する結合されたデータの複雑さを重視して、例による問題で調査する。
– LTLオントロジーを介した通常のLTLクエリとそれらを考慮する。

要約(オリジナル)

In reverse engineering of database queries, we aim to construct a query from a given set of answers and non-answers; it can then be used to explore the data further or as an explanation of the answers and non-answers. We investigate this query-by-example problem for queries formulated in positive fragments of linear temporal logic LTL over timestamped data, focusing on the design of suitable query languages and the combined and data complexity of deciding whether there exists a query in the given language that separates the given answers from non-answers. We consider both plain LTL queries and those mediated by LTL-ontologies.

arxiv情報

提供元, 利用サービス

arxiv.jp, OpenAI