|
EL本体的并行分类
Concurrent classification of EL ontologies |
|
| |
| 课程网址: |
http://videolectures.net/iswc2011_kazakov_classification/
|
| 主讲教师: |
Yevgeny Kazakov
|
| 开课单位: |
乌尔姆大学
|
| 开课时间: |
2011-11-25
|
| 课程语种: |
英语
|
| 中文简介: |
我们描述了用于对在OWL 2 EL轮廓的多项式片段ELHR中表达的本体进行分类的优化的基于结果的过程。我们程序的一个显着特点是可以利用多个处理器/核心，这在计算机系统中越来越普遍。我们的解决方案基于一阶定理证明的'given clause'饱和算法的变体，我们将导出的公理分配给可以使用它们的'上下文'，并且可以独立处理。我们描述了Java中的过程的实现基于推理者ELK。在管理并发计算的开销很小的意义上，我们的实现很轻。这是通过采用无锁数据结构和诸如“比较和交换”之类的操作来实现的。我们报告了初步的实验结果，证明了在多核系统上的本体分类的显着加速。特别是，最大和广泛使用的医疗本体之一SNOMED CT可以在短短5秒内完成分类。
|
| 课程简介: |
We describe an optimised consequence-based procedure for classification of ontologies expressed in a polynomial fragment ELHR+ of the OWL 2 EL profile. A distinguishing property of our procedure is that it can take advantage of multiple processors/cores, which increasingly prevail in computer systems. Our solution is based on a variant of the ‘given clause’ saturation algorithm for first-order theorem proving, where we assign derived axioms to ‘contexts’ within which they can be used and which can be processed independently.We describe an implementation of our procedure within the Java-based reasoner ELK. Our implementation is light-weight in the sense that an overhead of managing concurrent computations is minimal. This is achieved by employing lock-free data structures and operations such as ‘compare-and-swap’. We report on preliminary experimental results demonstrating a substantial speedup of ontology classification on multi-core systems. In particular, one of the largest and widely-used medical ontologies SNOMED CT can be classified in as little as 5 seconds.
|
| 关 键 词: |
多项式片段; 多个处理器; 独立处理
|
| 课程来源: |
视频讲座网
|
| 最后编审: |
2020-07-31：yumf
|
| 阅读次数: |
74
|
|
图 书 馆