As a shared conceptualization of a particular domain, ontologies play an important role for the success of the Semantic Web. However it is often difficult to create an absolutely consistent ontology. Inconsistency can occur due to several reasons, such as modeling errors, migration or merging ontologies, and ontology evolution. So it is essential to study how to deal with inconsistent ontologies. Many approaches have been proposed to solve this problem. These approaches are mainly used for dealing with inconsistency in expressive Description Logics(DLs). In our work, we consider inconsistency handling in the
family, which is a family of DLs that preserve tractable reasoning and are specifically tailored to deal with large amounts of data. Like other DLs, inconsistencies in
can also easily occur because disjoint axioms are allowed.