[论文解读] How Controlled English can Improve Semantic Wikis

Tobias Kuhn|ArXiv.org|Jul 7, 2009

Natural Language Processing Techniques参考文献 12被引用 7

一句话总结

本文提出 AceWiki，一种语义维基，利用 Attempto 控制英语（ACE）使领域专家能够通过自然语言接口创建和维护复杂的本体。通过将人类可读的 ACE 句子翻译为形式逻辑，AceWiki 实现了高表达力和易用性，用户研究显示新手能高效创建复杂知识结构，一项真实世界案例研究将 Attempto 网站形式化，其中 19.9% 的句子为复杂句，平均每个句子耗时不足 40 秒。

ABSTRACT

The motivation of semantic wikis is to make acquisition, maintenance, and mining of formal knowledge simpler, faster, and more flexible. However, most existing semantic wikis have a very technical interface and are restricted to a relatively low level of expressivity. In this paper, we explain how AceWiki uses controlled English - concretely Attempto Controlled English (ACE) - to provide a natural and intuitive interface while supporting a high degree of expressivity. We introduce recent improvements of the AceWiki system and user studies that indicate that AceWiki is usable and useful.

研究动机与目标

• 解决现有语义维基在可用性和表达力方面的局限性，这些局限性通常需要技术专业知识，且仅支持基本的“主语-谓语-宾语”结构。
• 使未经正式知识表示培训的领域专家能够通过自然语言接口创建和维护复杂的本体。
• 评估受控自然语言，特别是 Attempto 控制英语（ACE），是否能提高语义维基在真实世界知识形式化任务中的可用性和有效性。
• 证明 AceWiki 在保持非专业人士直观可读性的同时，能够通过复杂的逻辑结构实现高表达力。

提出的方法

• AceWiki 采用 Attempto 控制英语（ACE）的一个子集作为其知识表示语言，允许用户以自然且无歧义的语法编写语句。
• 每个 ACE 句子被自动翻译为形式逻辑（例如一阶逻辑或 OWL），以支持机器处理和推理。
• 系统支持高级语言结构，如量词、否定、关系从句、代词和基数限制，以实现高表达力。
• 使用内联查询动态生成和更新内容，以人类可读的方式将断言知识与计算结果分离。
• 专有名称被缩写以提高可读性，系统支持回指引用以改善句子连贯性。
• 通过用户研究和一项真实世界案例研究，评估了知识创建过程中的可用性、效率和表达力。

实验结果

研究问题

• RQ1 受控自然语言（如 ACE）是否能提升非专业用户对语义维基的可用性？
• RQ2 AceWiki 在自然语言格式下，能在多大程度上支持创建复杂且具有逻辑表达力的语句？
• RQ3 与传统形式知识表示工具相比，AceWiki 中的知识创建效率如何？
• RQ4 AceWiki 是否能有效用于高保真度和可维护性地形式化真实世界网站和知识库？

主要发现

• 新手用户能够在短时间内高效创建正确且复杂的 ACE 句子，用户研究中平均每个句子耗时 38.8 秒。
• 案例研究将 Attempto 网站的 538 个句子形式化，其中 19.9% 为复杂句，证明了在真实应用中具有高表达力。
• 系统成功表示了 Attempto 网站的所有相关内容，尽管观察到一些小的局限性，例如缺乏对字符串和日期等数据类型的原生支持。
• 专有名称的缩写显著提升了包含长标题或标识符的句子的可读性。
• 内联查询实现了自动且动态的内容生成，且与手动断言的知识保持良好分离。
• 结果表明，AceWiki 既对新手用户友好，也足够高效，可供熟练用户完成真实世界的形式化任务。