Knowledge Engineering and Knowledge Management
Knowledge Engineering and Knowledge Management
复制标题
知识工程与知识管理
DOI：
10.1007/978-3-319-49004-5_28
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Matentzoglu N
中科院分区：
文献类型：
--
作者：
Matentzoglu N
对于使用Web Ontology Language(OWL)的本体作者来说，添加或删除公理的后果是难以理解的。建模行为的后果从无意的推断到明显的缺陷，如前后不一致甚至不一致。本体论创作的核心活动之一是验证特定的建模步骤是否具有预期的结果，这通常是在推理者的帮助下进行的。例如，对于Protégé的用户，这涉及到探索推断的类层次结构。我们探索了这样的假设，即与标准的静态层次结构/基于框架的方法相比，显式地更改关键蕴涵关系集可以改进验证。我们将我们的方法实现为Protégéplugin，并进行了一项探索性研究，以隔离用户从我们的方法中受益的创作操作。在第二个对照研究中，我们解决了我们的假设，并发现，对于一组关键的创作问题，显式的蕴涵集更改在正确性和速度方面都提高了对结果的理解，与静态的基于层次/框架的视图相比，它被评为跟踪更改的首选方法。
The consequences of adding or removing axioms are difficult to apprehend for ontology authors using the Web Ontology Language (OWL). Consequences of modelling actions range from unintended inferences to outright defects such as incoherency or even inconsistency. One of the central ontology authoring activities is verifying that a particular modelling step has had the intended consequences, often with the help of reasoners. For users of Protégé, this involves, for example, exploring the inferred class hierarchy.We explore the hypothesis that making changes to key entailment sets explicit improves verification compared to the standard static hierarchy/frame-based approach. We implement our approach as a Protégé plugin and conduct an exploratory study to isolate the authoring actions for which users benefit from our approach. In a second controlled study we address our hypothesis and find that, for a set of key authoring problems, making entailment set changes explicit improves the understanding of consequences both in terms of correctness and speed, and is rated as the preferred way to track changes compared to a static hierarchy/frame-based view.
登录
查看更多内容
BESDUI：最终用户结构化数据用户界面的基准
DOI：
--
发表时间：
2016
期刊：
International Workshop on the Semantic Web
影响因子：
--
作者：
Roberto García;Rosa Gil;J. M. Gimeno;Eirik Bakke;David R Karger
通讯作者：
David R Karger
DOI：
10.1007/978-3-319-46397-1_14
发表时间：
2016
期刊：
Inf. Comput.
影响因子：
--
作者：
Alexander Borgida;David Toman;G. Weddell
通讯作者：
G. Weddell
关系数据库中分层数据的基于 SQL 的路径表达式语义
影响因子：
2.4
作者：
J. Vainio;Marko Junkkari
通讯作者：
Marko Junkkari
开发 Adaptive Boost 方法并使用该方法分析铁中的碳扩散 [MD 奖获得者]
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
石井明男;尾方成信;君塚肇
通讯作者：
君塚肇
论在SQL中添加抽象域和属性路径的实用性
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
Weicong Ma
通讯作者：
Weicong Ma