DeFind：一个用于计算EL本体中概念定义的Protege插件
计算机科学中的逻辑
2018-10-15 v1 人工智能
摘要
我们介绍了Protege本体编辑器的一个扩展，其允许发现概念定义——这些定义未显式出现在公理中，但被本体逻辑蕴含。该插件支持以描述逻辑EL表述的本体，EL支撑着Web本体语言的OWL 2 EL轮廓，并且尽管表达能力有限，却捕获了网络上发布的大部分生物医学本体。所开发的工具允许验证一个概念是否可使用用户指定的感兴趣词汇表来定义。特别地，它允许判定在某些复杂概念的表述中是否可以省略某些词汇表项。相应的定义呈现给用户，并附有由本体推理机生成的解释。
引用
@article{arxiv.1810.04363,
title = {DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies},
author = {Denis Ponomaryov and Stepan Yakovenko},
journal= {arXiv preprint arXiv:1810.04363},
year = {2018}
}