5、OWL和DL在用户理解公理方面的效能研究

OWL和DL在用户理解公理方面的效能研究

在本体工程领域，符号的使用对于编写和理解公理至关重要。不同的符号表示法可能会对用户理解公理和推导推理产生不同的影响。本文将探讨曼彻斯特语法（MOS）和描述逻辑（DL）在这方面的相对效能。

研究背景

本体工程如今已成为一项重要活动，众多利益相关者参与其中。W3C OWL工作组设计了多种不同的语法，如RDF/XML和函数式语法，但这些语法在构建或分析本体时，都不太便于人类使用。

曼彻斯特语法的设计初衷是让其更易于编写和理解，尤其对于非逻辑专业人员。官方W3C工作组文档也指出，它是一种用户友好的紧凑语法。由于它使用简短直观的英语单词而非逻辑符号，人们认为其可用性有所提高。

然而，一些用户在解释OWL时仍会遇到困难。此前虽有研究探讨了不同曼彻斯特OWL结构的相对效能，但尚未有严格的实证研究比较曼彻斯特语法与DL的相对认知优势。

研究任务

当面对一个本体时，用户需要理解公理的信息内容并从中推导见解。例如：
1. Demon SubClassOf Elf
2. Korrigan SubClassOf Demon
3. Mermaid SubClassOf Spirit
4. Elf DisjointWith Nisse
5. Demon SubClassOf hates only Goblin
6. Elf SubClassOf chases some Spirit
7. Halfling SubClassOf watches some Fairy
8. guides Domain Mermaid