推理中处理 Wikidata 限定符

Wikidata 是一个被许多社区越来越多地采用于各种应用的知识图谱。Wikidata 语句用限定符-值对进行标注，用于描绘信息，如语句的有效性上下文、其因果关系、来源等。在推理中处理限定符是一个具有挑战性的问题。在定义推理规则（特别是关于本体属性（x 是 y 的子类，z 是 x 的实例等）的规则）时，必须考虑限定符，因为它们中的大多数参与语句的语义。这带来了一个复杂问题，因为 a) 限定符数量庞大，b) 推理出的语句的限定符通常是规则条件中限定符的组合。本文中，我们提出通过 a) 定义限定符的分类 b) 用多类逻辑语言形式化 Wikidata 模型来解决这个问题；该语言的类是限定符类别。我们将此逻辑与代数规范相结合，该规范提供了在推理规则中有效处理限定符的手段。使用 Wikidata 本体属性，我们展示了如何使用 MSL 和规范对限定符进行推理。最后，我们讨论了实际实施该工作的方法并提出了原型实现。得益于多类代数规范的可扩展性，这项工作可以自然地扩展，以在规范中涵盖更多限定符，如不确定时间、重复事件、地理位置等。