OWLAPI: Razonamiento sobre ontologías con disyunciones
Tengo una ontología con un individuo a y 6 clases (A, B, C, D, E, F). El individuo pertenece a las siguientes disyunciones: (A o B; C o D; E o F). ¿Existe alguna forma en la que pueda inferir que un individuo debe estar en una de las dos . . . Read more