Handling Wikidata Qualifiers in Reasoning

要約

ウィキデータは、さまざまなアプリケーションのために多くのコミュニティで採用が増えているナレッジ グラフです。
ウィキデータのステートメントには、ステートメントの妥当性コンテキスト、その因果関係、来歴などの情報を表すために使用される修飾子と値のペアの注釈が付けられます。推論で修飾子を処理するのは難しい問題です。
推論ルール (特に、オントロジー プロパティ (y の x サブクラス、x の z インスタンスなど) に関するルール) を定義する場合、修飾子のほとんどがステートメントのセマンティクスに関与するため、修飾子を考慮する必要があります。
これは、a) 膨大な数の修飾子があり、b) 推論されたステートメントの修飾子はルール条件内の修飾子の組み合わせであることが多いため、複雑な問題を引き起こします。
この研究では、a) 修飾子の分類を定義する、b) 多様に分類された論理言語を使用して Wikidata モデルを形式化する、によってこの問題に対処することを提案します。
この言語の種類は修飾子のカテゴリです。
このロジックを代数仕様と組み合わせて、推論ルール内の修飾子を効果的に処理する手段を提供します。
Wikidata のオントロジー プロパティを使用して、MSL と仕様を使用して修飾子を推論する方法を示します。
最後に、作業を実際に実装するための方法論について説明し、プロトタイプの実装を示します。
多くの種類の代数仕様の拡張性のおかげで、作業は自然に拡張でき、不確実な時間、繰り返し発生するイベント、地理的位置など、仕様内のより多くの修飾子をカバーすることができます。

要約(オリジナル)

Wikidata is a knowledge graph increasingly adopted by many communities for diverse applications. Wikidata statements are annotated with qualifier-value pairs that are used to depict information, such as the validity context of the statement, its causality, provenances, etc. Handling the qualifiers in reasoning is a challenging problem. When defining inference rules (in particular, rules on ontological properties (x subclass of y, z instance of x, etc.)), one must consider the qualifiers, as most of them participate in the semantics of the statements. This poses a complex problem because a) there is a massive number of qualifiers, and b) the qualifiers of the inferred statement are often a combination of the qualifiers in the rule condition. In this work, we propose to address this problem by a) defining a categorization of the qualifiers b) formalizing the Wikidata model with a many-sorted logical language; the sorts of this language are the qualifier categories. We couple this logic with an algebraic specification that provides a means for effectively handling qualifiers in inference rules. Using Wikidata ontological properties, we show how to use the MSL and specification to reason on qualifiers. Finally, we discuss the methodology for practically implementing the work and present a prototype implementation. The work can be naturally extended, thanks to the extensibility of the many-sorted algebraic specification, to cover more qualifiers in the specification, such as uncertain time, recurring events, geographic locations, and others.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google