Antipattern comprehension dataset

Comprehension of justifications is known to be difficult for even experienced ontology engineers, and much more so for other stakeholders. In the paper associated with this data set, we presented two methods for displaying justifications using concept diagrams: using multiple concept diagrams to represent the justification (one diagram for each axiom); and using a merged concept diagram to represent all axioms in the justification. We performed an empirical evaluation of both methods along with a textual representation of the justification using Protege. The dataset includes all the diagrams, study materials, and output from the study. It was collected in early 2016, with the paper published in summer 2016.即便对于经验丰富的本体工程师而言，理解证明（justification）仍颇具难度，而对于其他利益相关方来说则更为棘手。在本数据集对应的学术论文中，我们提出了两种基于概念图（concept diagrams）展示证明的方法：其一为使用多张概念图分别表征每条公理对应的证明（每张图对应一条公理）；其二为使用一张合并概念图呈现证明中的全部公理。我们结合Protege工具实现的证明文本表示形式，对这两种方法开展了实证评估。本数据集包含本次研究的全部概念图、研究材料以及研究产出结果。该数据集采集于2016年初，相关论文于2016年夏季正式发表。