Journal article icon

Journal article

Optimized Description Logic Reasoning via Core Blocking.

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...

Expand abstract
Publication status:
Published

Actions


Access Document


Authors


Horrocks, I More by this author
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science

Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer Publisher's website
Journal:
IJCAR
Volume:
6173
Pages:
457-471
Publication date:
2010
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:1a0c3714-b38c-4583-898c-00b52ab1feca
Source identifiers:
300071
Local pid:
pubs:300071
Language:
English

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP