terminado de incluir el abox en la ontologia

Empezar a argumentar la automatizacion y luego la generalizacion.