[论文解读] AceWiki: Collaborative Ontology Management in Controlled Natural Language

Tobias Kuhn|ArXiv.org|Jul 29, 2008

Semantic Web and Ontologies参考文献 4被引用 13

一句话总结

AceWiki 提出了一种协作式本体管理机制，采用尝试控制英语（ACE），即自然语言的形式化子集，使非专家能够编写和维护复杂且逻辑一致的本体。通过将 ACE 句子自动翻译为 OWL，并集成 Pellet 推理服务，AceWiki 确保了本体的一致性，并支持表达性强的公理——用户研究显示，80% 的未经训练用户在五分钟内通过预测编辑器成功创建了正确且复杂的逻辑语句。

ABSTRACT

AceWiki is a prototype that shows how a semantic wiki using controlled natural language - Attempto Controlled English (ACE) in our case - can make ontology management easy for everybody. Sentences in ACE can automatically be translated into first-order logic, OWL, or SWRL. AceWiki integrates the OWL reasoner Pellet and ensures that the ontology is always consistent. Previous results have shown that people with no background in logic are able to add formal knowledge to AceWiki without being instructed or trained in advance.

研究动机与目标

• 解决现有语义维基在逻辑或本体语言方面对技术专业知识的依赖所导致的可用性差距。
• 使非专家能够在未经培训的情况下协作编写和管理复杂且形式化表达的本体。
• 通过将每个新句子与当前知识库进行验证，实现实时本体一致性检查。
• 在基本 OWL 之外支持高表达性，包括复杂公理，如否定和蕴含。
• 在支持超出 OWL 表达能力的表达式的同时，集成推理服务（例如 Pellet），并明确区分 OWL 兼容（蓝色）与非 OWL（红色）语句。

提出的方法

• AceWiki 使用尝试控制英语（ACE），即英语的形式化子集，以人类可读且机器可处理的形式表示逻辑公理。
• 每个 ACE 句子通过既定的双向映射，自动翻译为一阶逻辑、OWL 或 SWRL。
• 预测编辑器分步引导用户构建语法正确的 ACE 句子，降低学习门槛。
• 每次新增语句后，系统执行增量一致性检查，立即拒绝不一致的语句。
• 语句按颜色编码：蓝色表示 OWL 兼容（可推理），红色表示非 OWL（排除推理但保留在维基中）。
• AceWiki 集成 Pellet OWL 推理机，以推断类层次结构、成员关系，并支持未来基于 ACE 的查询。

实验结果

研究问题

• RQ1 非专家能否在未经培训的情况下，通过受控自然语言接口创建逻辑正确且语义有意义的本体公理？
• RQ2 基于受控自然语言的语义维基在多大程度上能够支持复杂的逻辑结构，如否定、蕴含和数量限制？
• RQ3 在协作编辑过程中，如何实现实时本体一致性维护，而无需专家干预？
• RQ4 使用受控自然语言的系统能否有效弥合人类可读性与机器可处理语义之间的差距？
• RQ5 在支持超出 OWL 表达能力的表达式时，如何有意义地集成推理服务？

主要发现

• 在用户研究中，80% 的未经训练参与者成功创建了正确且合理的 ACE 句子，包括包含否定或蕴含的复杂句子。
• 参与者仅需平均五分钟左右即可使用预测编辑器创建出第一个正确句子，尽管此前从未接触过该工具。
• 系统成功检测并阻止了不一致语句的创建，通过在生成时立即拒绝，确保了本体始终一致。
• AceWiki 支持超出基本 OWL 的高表达性，包括复杂公理和数量限制，同时仍可对 OWL 兼容内容进行推理。
• 通过集成 Pellet，系统能够推断类层次结构和成员关系，且系统正在扩展以支持基于 ACE 的查询。
• 颜色编码（蓝色/红色）有效向用户传达了哪些语句可被推理，提升了透明度和可用性。