Soporte para razonamiento

Las tareas esperadas de un razonador ya fueron mencionadas. Recordemos que, según la tabla de complejidad del razonamiento en DL, el razonamiento en OWL parece ser intratable en el caso general (por ejemplo, NExpTime para OWL DL). Sin embargo, existen motores de razonamiento capaces de manejar casos prácticos. En esta sección solo enumeramos brevemente algunos razonadores disponibles. Para detalles generales de implementación y problemas, remitimos a The Description Logic Handbook.

Un grupo de razonadores está formado por aquellos escritos originalmente como razonadores para lógicas de descripción. Ejemplos de ello son Pellet, FACT++ y Racer. Se puede acceder a ellos mediante una interfaz XML desarrollada por el DL Implementation Group (DIG). DIG es un protocolo simple basado en HTTP PUT/GET junto con un esquema XML para expresar declaraciones y consultas en el lenguaje de las lógicas de descripción. Desafortunadamente, la interfaz actual de DIG no es suficiente para capturar ontologías generales de OWL DL. Por ejemplo, en DIG 1.1 falta soporte para tipos de datos. Aún cuando no todos los elementos de OWL DL pueden usarse como entrada para razonamiento, los razonadores generales de lógicas de descripción pueden ser muy útiles para soportar razonamiento en la web semántica.

Existen varios paquetes o frameworks de web semántica que implementan cierto grado de soporte para razonamiento (por ejemplo, se soporta RDFS o un subconjunto de OWL DL). Nos centraremos en Jena, a Semantic Web Framework for Java, que proporciona su propio motor de inferencia especializado para soportar razonamiento en RDFS, OWL Lite, OWL DL y OWL Full. No se afirma que la inferencia en Jena sea completa, pero sí se afirma que es sólida. Jena también proporciona un motor general de reglas donde se pueden escribir reglas para inferencia personalizada. Se proporcionan como ejemplo reglas para razonamiento dentro de subconjuntos de las distintas variantes de OWL. Es posible conectar directamente el razonador de lógica de descripción Pellet a Jena para superar las limitaciones de DIG; en ese caso, debería ser posible el razonamiento completo de OWL DL en Jena.