The Incredible ELK From Polynomial Procedures to Efficient Reasoning with EL Ontologies
The Incredible ELK From Polynomial Procedures to Efficient Reasoning with EL Ontologies
复制标题
DOI：
10.1007/s10817-013-9296-3
复制
发表时间：
2014-06-01
期刊：
影响因子：
--
通讯作者：
Simancik，Frantisek
中科院分区：
文献类型：
--
作者：
Kazakov，Yevgeny;Kroetzsch，Markus;Simancik，Frantisek
是一个简单易处理的描述逻辑，具有连词和存在限制。由于其良好的计算特性以及与现有本体的相关性，已成为生物医学应用中术语推理的首选语言，并形成了 Web 本体语言 OWL 的 OWL EL 概要文件的基础。本文介绍了 ELK（OWL EL 本体的高性能推理器），并详细介绍了从理论到实现的各个方面，这些方面使 ELK 成为当今最具竞争力的本体推理系统之一。
is a simple tractable Description Logic that features conjunctions and existential restrictions. Due to its favorable computational properties and relevance to existing ontologies,has become the language of choice for terminological reasoning in biomedical applications, and has formed the basis of the OWL EL profile of the Web ontology language OWL. This paper describes ELK—a high performance reasoner for OWL EL ontologies—and details various aspects from theory to implementation that make ELK one of the most competitive reasoning systems forontologies available today.