1. G. Qi, J.Z. Pan, A tableau algorithm for possibilistic description logic, in: J. Domingue, C. Anutariya (Eds.), Proceedings of the Third Asian Semantic Web Conference (ASWC 2008), Vol. 5367 of Lecture Notes in Computer Science, Springer-Verlag, 2008, pp. 61–75.
2. Inconsistency degree computation for possibilistic description logic: an extension of the tableau algorithm;Lesot,2008
3. S. Schlobach, R. Cornet, Non-standard reasoning services for the debugging of description logic terminologies, in: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2003), 2003, pp. 355–362.
4. Finding maximally satisfiable terminologies for the description logic ALC;Meyer,2006