Weihong Song, Bruce Spencer, Weichang Du. WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach. In Ian Horrocks, Mikalai Yatskevich, Ernesto Jiménez-Ruiz, editors, Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012. Volume 858 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]
Abstract is missing.