A formal model of ontology for handling fuzzy membership and typicality of instances - Yeung, Ching-man Au.