WSReasoner : a prototype hybrid reasoner for ALCHOI ontology classification using a weakening and strengthening approach

Download
  1. (PDF, 304 KB)
  2. Get@NRC: WSReasoner : a prototype hybrid reasoner for ALCHOI ontology classification using a weakening and strengthening approach (Opens in a new window)
AuthorSearch for: ; Search for: ; Search for:
TypeArticle
Proceedings titleProceedings of the 1st International Workshop on OWL Reasoner Evaluation Workshop (ORE 2012) in conjunction with 6th International Joint Conference on Automated Reasoning (IJCAR 2012)
Conference6th International Joint Conference on Automated Reasoning (IJCAR 2012), Manchester, UK, June 26 - July 1, 2012
ISSN1613-0073
Volume858
AbstractIn the ontology classification task, consequence-based reasoners are typically significantly faster while tableau-based reasoners can process more expressive DL languages. However, both of them have difficulty to classify some available large and complex ALCHOI ontologies with complete results in acceptable time. We present a prototype hybrid reasoning system WSReasoner, which is built upon and takes advantages of both types of reasoners to provide efficient classification service. In our proposed approach, we approximate the target ontology O by a weakened version Owk and a strengthened version Ostr , both are in a less expressive DL ALCH and classified by a consequence-based main reasoner. Classification of Owk produces a subset of subsumptions of ontology O and the target of the classification of Ostr is to produce a superset of subsumptions of O. Additional subsumptions derived from Ostr may be unsound, so they are further verified by a tableau-based assistant reasoner. For the ALCHOI ontologies in our experiment, except for one for which WSReasoner has not obtained the result, the number of subsumptions derived from WSReasoner is no fewer than from the reasoners that could finish the classification. Moreover, WSReasoner takes less time than tableau-based reasoners when the ALCHOI ontologies are large.
Publication date
LanguageEnglish
AffiliationNational Research Council Canada
Peer reviewedYes
NPARC number20496816
Export citationExport as RIS
Report a correctionReport a correction
Record identifier2a0b97fc-a741-4519-976a-b2cf31c99fb7
Record created2012-08-16
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)