GEL: A Platform-Independent Reasoner for Parallel Classification with OWL EL Ontologies Using Graph Representation
GEL: A Platform-Independent Reasoner for Parallel Classification with OWL EL Ontologies Using Graph Representation
复制标题
GEL：使用图形表示与 OWL EL 本体进行并行分类的独立于平台的推理器
DOI：
10.1142/s0218213017600016
复制
发表时间：
2017-02
影响因子：
1.1
通讯作者：
Qi Guilin
中科院分区：
文献类型：
--
作者：
Zhou Zhangquan;Qi Guilin
在语义Web社区中，最先进的推理机都是在特定的平台上实现的。由于Web Ontology Language(OWL)在不同的现实应用中得到了广泛的应用，因此要求推理任务能够灵活地适应不同的平台。本文首次给出了描述逻辑OWL EL的一种与平台无关的并行分类方法，OWL EL是OWL 2的易处理片段。分类是计算概念间包含层次的任务，在OWL EL的许多应用中起着重要的作用。目前的分类方法依赖于特定的并行计算平台，很难在效率和可扩展性之间取得平衡。为了开发OWL EL中与平台无关的分类方法，我们首先给出了一种新颖且定义良好的图形式化凝胶来表示EL本体，并给出了一组完善的本体分类规则。
In the community of Semantic Web, the state-of-the-art reasoners are all implemented on specific platforms. As the Web Ontology Language (OWL) has been widely used in different real-world applications, it is required that the task of reasoning can be flexibly adapted to different platforms. In this paper, we take the first effort to give a platformindependent approach for parallel classification of the description logic OWL EL, which is a tractable fragment of OWL 2. Classification, which is the task of computing a subsumption hierarchy between concepts, plays an important role in many applications of OWL EL. The current classification methods rely on the specific parallel computation platforms and can hardly achieve a tradeoff between efficiency and scalability. To develop a platform-independent approach for performing classification in OWL EL, we first give a novel and well defined graph formalism GEL for representing EL ontologies and present a group of sound and complete rules for ontology classificat...
登录
查看更多内容
影响因子：
2.5
作者：
Lecue, Freddy;Tallevi-Diotallevi, Simone;Tommasi, Pierpaolo
通讯作者：
Tommasi, Pierpaolo
DOI：
10.1007/s10817-007-9090-1
发表时间：
2008-03
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Yevgeny Kazakov;B. Motik
通讯作者：
Yevgeny Kazakov;B. Motik
DOI：
10.1007/978-3-540-87744-8_2
发表时间：
2008-09
期刊：
--
影响因子：
--
作者：
L. Valiant
通讯作者：
L. Valiant
DOI：
10.1145/79173.79181
发表时间：
1990-08
期刊：
Commun. ACM
影响因子：
--
作者：
L. Valiant
通讯作者：
L. Valiant
DOI：
10.1007/s10817-013-9296-3
发表时间：
2014-06-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Kazakov，Yevgeny;Kroetzsch，Markus;Simancik，Frantisek
通讯作者：
Simancik，Frantisek