Quasi-Classical Semantics for Expressive Description Logics

@inproceedings{Zhang2009QuasiClassicalSF,
  title={Quasi-Classical Semantics for Expressive Description Logics},
  author={Xiaowang Zhang and Guilin Qi and Yue Ma and Zuoquan Lin},
  booktitle={Description Logics},
  year={2009}
}
Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we first present the quasi-classical semantics for description logic SHIQ, which is based on quasi-classical logic. We show that this semantics can be used to deal with inconsistency and that it is reduced to the standard semantics when there is no inconsistency. Compared with the existing four-valued semantics for description logics, it… CONTINUE READING