Recopilando:

En un principio teníamos TBox y ABox que quedaron juntas en TFC.owl

Luego juntamos TFC.owl con los axiomas inferidos, y hemos creado TFC.ms
y TFC.rdf

Y ya hemos retomado la escritura en el documento tex y añadido la
mención a las wikis, a falta de poner alguna captura de pantalla. Seguir
escribiendo sobre la generalización y las conclusiones. Y hay que volver
a crear la tboxms y aboxms, que están desfasadas desde que añad i a la
ontología la cardinalidad en las propiedades.