A Reasoning Algorithm Based on Default Rules

A reasoning algorithm which transfers special default rules into instances in Abox is proposed. The algorithm is designed based on the case that the change of special default rules cannot affect Tbox. So the change can be mapped into the change of Abox. It can simply the inference process, at the same time the determination is not changed. The algorithm has good feasibility. Finally a reasoning example is shown to validate the effectivity of the algorithm.