The Reasoning Algorithm and Termination Analysis of EFSHOIN with TBoxes

The classical description logic SHOIN, as the logical foundation of OWL DL, is less suitable to represent fuzzy knowledge in the Semantic Web. We introduce cut concepts and cut roles to SHOIN, and present extended fuzzy description logic EFSHOIN. We define the representation of EFSHOIN, and focus on the knowledge base consistency as main reasoning task. We also propose a reasoning algorithm for the consistency of EFSHOIN, analyze its reasoning process and prove that it is terminable. This algorithm can be considered as a novel approach to reasoning within EFSHOIN with restriction to TBoxes.