Toward cognitive support for OWL justifications
Toward cognitive support for OWL justifications
复制标题
DOI：
10.1016/j.knosys.2013.08.021
复制
发表时间：
2013-11
期刊：
影响因子：
--
通讯作者：
M. Horridge;Samantha Bail;B. Parsia;U. Sattler
中科院分区：
文献类型：
--
作者：
M. Horridge;Samantha Bail;B. Parsia;U. Sattler
理由是OWL本体蕴涵的主要解释形式，流行的OWL本体编辑器，如Protégé4，提供了基于理由的解释工具。论证是本体论的最小子集，足以使蕴涵成立；它们对应于证明的前提。然而，与证据不同的是，辩解确实证明了他们的公理如何支持蕴涵。我们经常观察到，本体开发人员发现某些论证很难处理；虽然在某些情况下困难的来源是显而易见的(例如大量的公理)，但我们对本体用户来说是容易还是困难的原因并没有很好的总体理解。我们描述了一项探索性研究，该研究构成了预测OWL理由复杂性的认知复杂性模型的基础，并通过涉及OWL用户的实验给出了验证该模型的结果。这是通过对OWL用户应用于支持他们理解理由的策略的调查得出的结论。我们的贡献包括对认知复杂性模型的评估，对OWL本体蕴含推理的复杂性的新见解，对适合实验的理由的新颖分析的重要语料库，以及适合模型验证和改进的实验协议。
Justifications are the dominant form of explanation for entailments of OWL ontologies, with popular OWL ontology editors, such as Protégé 4, providing justification-based explanation facilities. A justification is a minimal subset of an ontology which is sufficient for an entailment to hold; they correspond to the premises of a proof. Unlike proofs, however, justifications do notarticulatehow their axioms support the entailment. We frequently observe that ontology developers find certain justifications difficult to work with; and while in some cases the sources of difficulty are obvious (such as a large number of axioms), we do not have a good general understanding of what makes justifications easy or difficult for ontology users.In this paper, we present an approach to determining the cognitive complexity of justifications for entailments of OWL ontologies. We describe an exploratory study which forms the basis for a cognitive complexity model that predicts the complexity of OWL justifications, and present the results of validating that model via experiments involving OWL users. This is concluded by an investigation into strategies OWL users apply to support them in understanding justifications. Our contributions include an evaluation of the cognitive complexity model, new insights into the complexity of justifications for entailments of OWL ontologies, a significant corpus with novel analyses of justifications suitable for experimentation, and an experimental protocol suitable for model validation and refinement.