Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity

Ken Kaneiwa, Riichiro Mizoguchi. Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. In Didier Dubois, Christopher A. Welty, Mary-Anne Williams, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004. pages 278-288, AAAI Press, 2004.

Abstract

Abstract is missing.