ELK Reasoner: Architecture and Evaluation
ELK Reasoner: Architecture and Evaluation
复制标题
ELK Reasoner：架构和评估
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
F. Simančík
中科院分区：
文献类型：
--
作者：
Yevgeny Kazakov;M. Krötzsch;F. Simančík
ELK是轻量级本体语言OWL EL的专用推理器。ELK的实用性在于其高性能和对语言功能的全面支持的结合。在其核心，ELK采用了基于结果的推理引擎，可以利用多核和多处理器系统。模块化架构允许ELK用作独立的应用程序、Protege插件或编程库（有或没有OWL API）。这个系统描述了ELK的现状和一些困难的OWL EL本体的实验结果。1系统概述基于逻辑的本体语言OWL在生物学和医学等需要处理大量技术术语的应用领域越来越受欢迎。例如，医学本体SNOMED CT提供了超过300，000个医学术语的正式描述，涵盖各种主题，如疾病，解剖学和临床程序。术语推理，例如根据子类自动分类术语（也称为"is-a"）关系在生物医学本体的应用中起着中心作用。为了有效地处理大型本体，W3C标准OWL 2的几个配置文件已经被定义[11]。其中，OWL EL配置文件旨在提供易于处理的术语推理。专门的OWL EL推理机，如CEL [1]，Snorocket [9]和jCEL [10]，可以提供比通用OWL推理机显着的性能改进。本文介绍了ELK系统。3 ELK的开发提供高性能的推理支持OWL EL本体。该系统的主要重点是（i）广泛覆盖的OWL EL功能，（ii）高性能的推理，（iii）易于扩展和使用。在这些方面，ELK已经可以提供优于上述其他OWL EL推理系统的优势。例如，到目前为止，ELK是唯一一个可以利用多个处理器/内核来加速推理过程的系统，这使得在商品硬件上在不到10秒的时间内对SNOMED CT进行分类成为可能[4]。本文提出了一个概述ELK实现高性能的分类，并提供了一个实验评估的分类使用ELK和相关的推理机上的一些最大的OWL EL本体的实现技术。3 www.example.com命令行客户端Reasoner OWL FSS Parser Protege插件OWL API绑定OWL
ELK is a specialized reasoner for the lightweight ontology language OWL EL. The practical utility of ELK is in its combination of high performance and comprehensive support for language features. At its core, ELK employs a consequence-based reasoning engine that can take advantage of multi-core and multi-processor systems. A modular architecture allows ELK to be used as a stand-alone application, Protege plug-in, or programming library (either with or without the OWL API). This system description presents the current state of ELK and experimental results with some difficult OWL EL ontologies. 1 The System Overview The logic-based ontology language OWL is becoming increasingly popular in application areas, such as Biology and Medicine, which require dealing with a large number of technical terms. For example, medical ontology SNOMED CT provides formal description of over 300,000 medical terms covering various topics such as diseases, anatomy, and clinical procedures. Terminological reasoning, such as automatic classification of terms according to subclass (a.k.a. ‘is-a’) relations, plays one of the central roles in applications of biomedical ontologies. To effectively deal with large ontologies, several profiles of the W3C standard OWL 2 have been defined [11]. Among them, the OWL EL profile aims to provide tractable terminological reasoning. Specialized OWL EL reasoners, such as CEL [1], Snorocket [9], and jCEL [10], can offer a significant performance improvement over general-purpose OWL reasoners. This paper describes the ELK system.3 ELK is developed to provide high performance reasoning support for OWL EL ontologies. The main focus of the system is (i) extensive coverage of the OWL EL features, (ii) high performance of reasoning, and (iii) easy extensibility and use. In these regards, ELK can already offer advantages over other OWL EL reasoning systems mentioned above. For example, as of today, ELK is the only system that can utilize multiple processors/cores to speed up the reasoning process, which makes it possible to classify SNOMED CT in less than 10 seconds on a commodity hardware [4]. This paper presents an overview of the implementation techniques used in ELK to achieve high performance of classification, and provides an experimental evaluation of classification using ELK and related reasoners on some of the largest available OWL EL ontologies. 3 http://elk-reasoner.googlecode.com/ Command-line Client Reasoner OWL FSS Parser Protege Plugin OWL API Bindings OWL
影响因子：
5
作者：
Motik, Boris;Shearer, Rob;Horrocks, Ian
通讯作者：
Horrocks, Ian