DMCA
Optimized Description Logic Reasoning via Core Blocking
Cached
Download Links
| Citations: | 13 - 2 self |
BibTeX
@MISC{Glimm_optimizeddescription,
author = {Birte Glimm and Ian Horrocks and Boris Motik},
title = {Optimized Description Logic Reasoning via Core Blocking},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyper)tableau algorithms. Despite numerous optimizations, certain ontologies encountered in practice still pose significant challenges to such reasoners, mainly because of the size of the model abstractions that they construct. To address this problem, we propose a new blocking technique that tries to identify and halt redundant construction at a much earlier stage than standard blocking techniques. An evaluation of a prototypical implementation in the HermiT reasoner shows that our technique can dramatically reduce the size of constructed model abstractions and reduce reasoning time. 1
Keyphrases
description logic reasoning core blocking model abstraction tableau algorithm numerous optimization prototypical implementation art reasoner expressive description logic new blocking technique redundant construction significant challenge optimized implementation certain ontology owl ontology language hermit reasoner
