Stefan Borgwardt

Este documento presenta una herramienta para explicar las conclusiones lógicas que faltan en sistemas de ontología.

Explorando la integración de dominios concretos en lógicas de descripción para mejorar el razonamiento.