1. Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. Journal of Symbolic Logic 49, 231–233 (1984)
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
3. Kamide, N.: Paraconsistent description logics revisited. In: Proceedings of the 23rd International Workshop on Description Logics (DL 2010), CEUR Workshop Proceedings, vol. 573 (2010)
4. Kamide, N.: An embedding-based completeness proof for Nelson’s paraconsistent logic. Bulletin of the Section of Logic 39(3/4), 205–214 (2010)
5. Kaneiwa, K.: Description logics with contraries, contradictories, and subcontraries. New Generation Computing 25(4), 443–468 (2007)