Autores: Claudia Milena Rodríguez A., William Cano Montaño, José Mauricio Martínez
Resumen
Los razonadores semánticos son aplicaciones informáticas que permiten generar conocimiento y hacer inferencias a partir de un conjunto de axiomas y hechos. Los razonadores utilizan un motor de inferencia y un conjunto de reglas expresadas en lenguajes semánticos como OWL. La expresividad de los lenguajes como RDFS, RDF y OWL ha limitado el potencial de razonadores semánticos. La definición de reglas desempeña un papel importante en el proceso de inferencia de la Web Semántica, debido a que el comportamiento de un individuo dentro de un dominio puede ser expresado a través de reglas o axiomas; por lo tanto, de la buena definición de estas últimas depende el éxito de la generación de nuevo conocimientos. Este artículo describe la semántica de muchos razonadores como FACT+ +, Racer y Pellet.