Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

要約

タイトル：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