Vivisecting LUBM

[摘要] This report describes an implementation of a parallel inference engine for LUBM. Starting from the Univ- Bench ontology, we derive a specialized ruleset which captures its semantics. This ruleset can be simplified using simple transformations to remove data dependencies between rules. Finally, a parallel implementation of a custom LUBM reasoner, which performs inference in a streaming fashion using a small cluster, is described. Only preliminary results are presented, more experiments are necessary and an investigation on how to apply the same approach to OWL ter-Horst and OWL 2 RL profile is suggested.

[发布机构] HP Development Company

[学科分类] 计算机科学（综合）

[关键词] lubm;inference;rdf;parallel processing