Text this: Modelo ontológico de verificación de sistemas multiagentes diseñados bajo masina