Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity (2004)

by K Kaneiwa, R Mizoguchi
Venue:In Proceedings of Knowledge Representation (KR2004