Ontological knowledge base reasoning with sorthierarchy and rigidity (2004)

by K Kaneiwa, R Mizoguchi
Venue:In Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR2004