Improvement of tableau-based algorithm and finite step halting theorem
Bijing Li · Journal of Shaanxi Normal University · 2008
The tableau-based algorithm for consistency checking of Aboxes is simplified and improved.The proposed standard tableau-based algorithm not only deletes the redundant part after each rule,but also gives up the restriction on the order of transformation rules.So this is a simplification and an improvement of the algorithm,and the finite step halting theorem for checking consistency of ALCN Aboxes is obtained therefrom.