Un razonador semántico , motor de razonamiento , motor de reglas , o simplemente un razonador , es una pieza de software capaz de deducir las consecuencias lógicas de un conjunto de hechos afirmados o axiomas . La noción de un razonador semántico generaliza la de un motor de inferencia , al proporcionar un conjunto más rico de mecanismos con los que trabajar. Las reglas de inferencia se especifican comúnmente por medio de un lenguaje de ontología y, a menudo, un lenguaje de lógica descriptiva . Muchos razonadores utilizan la lógica de predicados de primer orden para realizar el razonamiento; La inferencia normalmente procede porencadenamiento hacia adelante y hacia atrás . También hay ejemplos de razonadores probabilísticos, incluidos los sistemas de razonamiento no axiomático , [1] y las redes lógicas probabilísticas . [2]
S-LOR (Reglas abiertas vinculadas basadas en sensores) es un motor de razonamiento basado en reglas y un enfoque para compartir y reutilizar reglas interoperables para deducir conocimientos significativos de las mediciones de sensores.