Decidable models for ontology specification Decidable model of Méréologie Decidable model of Tarski's mereo-geometry