Abstract
In order to support the vision of the Semantic Web, ontology reasoning needs to be highly scalable and efficient. A natural way to achieve scalability and efficiency is to develop parallel ABox reasoning algorithms for tractable OWL 2 profiles to distribute the load between different computation units within a reasoning system. So far there have been some work on parallel ABox reasoning algorithms for the pD*fragment of OWL 2 RL. However, there is still no work on parallel ABox reasoning algorithm for OWL 2 EL, which is the language for many influential ontologies (such as the SNOMED CT ontology). In this paper, we extend a parallel TBox reasoning algorithm [5] for εLH R+ to parallel ABox reasoning algorithms for εLH ⊥,R+, which also supports the bottom concept so as to model disjointness and inconsistency. In design of algorithms, we exploit the characteristic of ABox reasonings to improve parallelisation and reduce unnecessary resource cost. Our evaluation shows that a naive implementation of our approach can compute all ABox entailments of a Not-Galen- ontology with about 1 million individuals and 9 million axioms in about 3 minutes.
Original language | English |
---|---|
Title of host publication | The Semantic Web - Joint International Semantic Technology Conference, JIST 2011, Proceedings |
Pages | 17-32 |
Number of pages | 16 |
DOIs | |
Publication status | Published - 18 Jun 2012 |
Event | Joint International Semantic Technology Conference, JIST 2011 - Hangzhou, China Duration: 4 Dec 2011 → 7 Dec 2011 https://dblp.org/db/conf/aswc/jist2011 (Link to Conference papers) |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 7185 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | Joint International Semantic Technology Conference, JIST 2011 |
---|---|
Country/Territory | China |
City | Hangzhou |
Period | 4/12/11 → 7/12/11 |
Internet address |
|