Razonamiento mereotopológico automatizado para la depuración de ontologías.

Aquesta tesi apareix a les col·leccions següents