WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach

@inproceedings{Song2012WSReasonerAP,
  title={WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach},
  author={Weihong Song and Bruce Spencer and Weichang Du},
  booktitle={ORE},
  year={2012}
}
In 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… CONTINUE READING

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…