A Tableau Algorithm for Handling Inconsistency in OWL

In Semantic Web, the knowledge sources usually contain inconsistency because they are constantly changing and from different view points. As is well known, as based on the description logic of the Sem