@inproceedings{kane-neg2005, author = {K. Kaneiwa}, title = {Negations in Description Logic -- Contraries, Contradictories, and Subcontradictories}, booktitle = {Proceedings of the 13th International Conference on Conceptual Structures (ICCS '05)}, year = {2005}, PUBLISHER = {Kassel University Press} }