Handling Wikidata Qualifiers in Reasoning

要約

【タイトル】推論におけるWikidataの限定子の扱い

【要約】
– Wikidataは、様々なアプリケーションにおいて採用されている知識グラフであり、文は限定子-値のペアで注釈がつけられる。例えば、文の正当性コンテキスト、因果関係、出典などを描写するために使われる。
– 限定子を推論で扱うことは難しい問題である。推論ルールを定義するときに限定子を考慮する必要があるためである。これらの限定子のほとんどは文の意味論に関与しているため問題が複雑化する。それは、限定子が非常に多いことと、推論される文の限定子がルール条件の限定子の組合せであることが原因である。
– この研究では、限定子の定義の区分化を提案し、多様性論理言語によるWikidataモデルの形式化を行う。この言語の種類は限定子のカテゴリに対応する。また、代数的仕様を組み合わせて推論ルールで限定子を効果的に扱う手段を提供する。
– この作業は、現在のWikidata分類プロパティのすべての表現をサポートする。最後に、実際にこの作業を実装する方法やプロトタイプの実装について説明する。

要約(オリジナル)

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. The work supports the expression of all current Wikidata ontological properties. Finally, we discuss the methodology for practically implementing the work and present a prototype implementation.

arxiv情報

提供元, 利用サービス

arxiv.jp, OpenAI