Decidable models for ontology specification Decidable Model of Mereology Decidable model of Tarski's mereogeometry