Applying the Closed World Assumption to SUMO-based Ontologies