Decidable models for ontology specification Decidable model of Méréologie Extension of Mereology to Tarski's decidable model of mereogeometry Extension of Mereology to the decidable model of Topology Extension de la méréo-géométrie de Tarski à la Topologie