返回
Are query-based ontology debuggers really helping knowledge engineers?
DOI:10.1016/j.knosys.2019.05.006.png)
摘要
En 中文
Real-world semantic or knowledge-based systems can become large and complex, e.g., in the biomedical domain. Tool support for the localization and repair of faults within knowledge bases of such systems can therefore be essential for their practical success. Correspondingly, a number of knowledge base debugging approaches, in particular for ontology-based systems, were proposed in recent years. Query-based debugging is a comparably recent interactive approach that localizes the true cause of an observed problem by asking knowledge engineers a series of questions. Concrete implementations of this approach exist, such as the OntoDebug plug-in for the ontology editor Protege. To validate that a newly proposed method is favorable over an existing one, researchers often rely on simulation-based comparisons. Such an evaluation approach however has certain limitations and often cannot fully inform us about a method's true usefulness. We therefore conducted a range of user studies to assess the practical value of query-based ontology debugging. One main insight from the studies is that the considered interactive approach is indeed more efficient than an alternative algorithmic debugging based on test cases. We also observed that users frequently made errors in the process, which highlights the importance of a careful design of the queries that users need to answer. (C) 2019 Elsevier B.V. All rights reserved.
Keyword:
Knowledge base debugging
interactive debugging
User study
Ontologies
Model-based diagnosis
Protege
Ontology debugging tool
AI总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
K
IF:
7.6
论文数:
1.2W
被引数:
4.5W
机构
引用论文
Influence of Cementite Precipitation on Work Hardening Behavior in Ultrafine Grain Steels Rolled at Room and Cryogenic Temperatures
Metals
IF0
The 2.6 Angstrom Crystal Structure of a Human A2AAdenosine Receptor Bound to an Antagonist
Science
IF0
The Conceptualisation and Measurement of DSM-5 Internet Gaming Disorder: The Development of the IGD-20 Test
PLoS ONE
IF0
Understanding the complexity of axiom pinpointing in lightweight description logics理解轻量级描述逻辑中公理定位的复杂性

