Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity.

Ken Kaneiwa, Riichiro Mizoguchi

Browse the full KR paper archive.