A mereotopological semantics to manage ontologies is
presented. The aim is to provide a formal basis for ontology
cleaning. It allows us to arrange, in a consistent manner,
the concepts in early steps of the building of an ontology
as well as to repair anomalies. The semantics supports
cleaning cycle that combines several AI techniques as
closed world assumption, default reasoning on taxonomies
and knowledge acquisition.Junta de Andalucía TIC-13