Hui Hou, Jinzhao Wu. Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web. In Proceedings IEEE CSE 09, 12th IEEE International Conference on Computational Science and Engineering, August 29-31, 2009, Vancouver, BC, Canada. pages 703-708, IEEE Computer Society, 2009. [doi]
Abstract is missing.