@inproceedings{kaneiwa-kr04,
author="K. Kaneiwa and R. Mizoguchi",
title="Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity",
booktitle="Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004)",
year="2004"}