A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System.

Xiaowang Zhang, Zuoquan Lin, Kewen Wang

Browse the full APWEB paper archive.