Razonador semántico

Un razonador semántico , motor de razonamiento , motor de reglas o simplemente razonador , es un software capaz de inferir consecuencias lógicas a partir de un conjunto de hechos o axiomas afirmados . La noción de razonador semántico generaliza la de motor de inferencia , al proporcionar un conjunto más rico de mecanismos con los que trabajar. Las reglas de inferencia se especifican comúnmente mediante un lenguaje ontológico y, a menudo, un lenguaje de lógica descriptiva . Muchos razonadores utilizan lógica de predicados de primer orden para realizar el razonamiento; la inferencia suele proceder mediante encadenamiento hacia adelante y hacia atrás . También existen ejemplos de razonadores probabilísticos, incluidos los sistemas ^de razonamiento no axiomáticos [ ¹^] y las redes lógicas probabilísticas ^[²^] .

Aplicaciones

Razonadores semánticos destacados y software relacionado:

De uso gratuito (código cerrado)

Cyc es un motor de inferencia que permite el encadenamiento hacia adelante y hacia atrás, con numerosos módulos especializados para lógica de orden superior.
KAON2 es una infraestructura para gestionar ontologías OWL-DL , SWRL y F-Logic .

Software libre (código abierto)

Cwm es un motor de inferencia de encadenamiento hacia adelante que se utiliza para consultar, verificar, transformar y filtrar información. Su lenguaje principal es RDF, extendido para incluir reglas, y utiliza serializaciones RDF/XML o N3 según sea necesario.
Drools , un motor de reglas basado en inferencia de encadenamiento hacia adelante que utiliza una implementación mejorada del algoritmo Rete .
Evrete es un motor de reglas Java de encadenamiento hacia adelante que utiliza el algoritmo Rete y cumple con la API del motor de reglas Java (JSR 94).
EYE , un motor de razonamiento que realiza encadenamiento hacia adelante y hacia atrás a lo largo de rutas de Euler, compatible con la pila de la Web Semántica e implementa Notation3 .
D3web , una plataforma para sistemas basados en el conocimiento ( sistemas expertos ).
Flora-2 , un sistema de representación del conocimiento y razonamiento basado en reglas y orientado a objetos.
Jena es un marco de trabajo de código abierto para la web semántica en Java que incluye varios módulos de razonamiento semántico diferentes.
OWLSharp , una biblioteca .NET ligera y fácil de usar para crear aplicaciones inteligentes de la Web Semántica.
NRules es un motor de reglas basado en inferencia de encadenamiento hacia adelante implementado en C# que utiliza una implementación mejorada del algoritmo Rete.
Prova , un motor de reglas de la web semántica que admite la integración de datos mediante consultas SPARQL y sistemas de tipos (RDFS, ontologías OWL como sistema de tipos).
DIP , Defeasible-Inference Platform (DIP), es un razonador de lenguaje de ontología web y un complemento de escritorio Protégé para representar y razonar con subsunción derrotable. ^{[ 3 ]} Implementa un estilo de razonamiento de implicación preferencial que se reduce a la "implicación clásica", es decir, sin necesidad de modificar el procedimiento de decisión subyacente.

Razonador semántico para Internet de las cosas (código abierto)

El razonador semántico S-LOR (Sensor-based Linked Open Rules) está bajo la licencia GNU GPLv3.

S-LOR (Sensor-based Linked Open Rules) es un motor de razonamiento basado en reglas y un enfoque para compartir y reutilizar reglas interoperables con el fin de deducir conocimiento significativo a partir de mediciones de sensores.

Véase también

Referencias

↑ Wang, Pei. "Sermón de la experiencia basado en la semántica para la inteligencia, Informe técnico 96" . www.cogsci.indiana.edu . CRCC . Consultado el 13 de abril de 2015 .
↑ Goertzel, Ben; Iklé, Matthew; Goertzel, Izabela Freire; Heljakka, Ari (2008). Redes lógicas probabilísticas: un marco integral para la inferencia incierta . Springer Science & Business Media. pág. 42. ISBN 978-0-387-76872-4.
↑ Britz, K. y Varzinczak, I., (2018). Racionalidad y contexto en la subsunción derrotable. En Simposio Internacional sobre Fundamentos de los Sistemas de Información y Conocimiento (pp. 114-132). Springer, Cham.

Enlaces externos

OWL 2 Razonadores listados en la página principal del Grupo de Trabajo de Software del W3C
Lenguaje de consulta SPARQL para RDF
Marko Luther, Thorsten Liebig, Sebastian Böhm, Olaf Noppens: ¿Quién diablos es el padre de Bob? ESWC 2009: 66–80
Jurgen Bock, Peter Haase, Qiu Ji, Raphael Volz. Evaluación comparativa de razonadores OWL . Enlace alternativo disponible . En ARea2008 – Taller sobre el avance del razonamiento en la web: escalabilidad y sentido común (junio de 2008).
Tom Gardiner, Ian Horrocks, Dmitry Tsarkov. Evaluación comparativa automatizada de razonadores de lógica descriptiva . Taller de lógica descriptiva 2006.

[Wang-1] Wang, Pei. "Sermón de la experiencia basado en la semántica para la inteligencia, Informe técnico 96" . www.cogsci.indiana.edu . CRCC . Consultado el 13 de abril de 2015 .

[Goertzel2008-2] Goertzel, Ben; Iklé, Matthew; Goertzel, Izabela Freire; Heljakka, Ari (2008). Redes lógicas probabilísticas: un marco integral para la inferencia incierta . Springer Science & Business Media. pág. 42. ISBN 978-0-387-76872-4.

[3] Britz, K. y Varzinczak, I., (2018). Racionalidad y contexto en la subsunción derrotable. En Simposio Internacional sobre Fundamentos de los Sistemas de Información y Conocimiento (pp. 114-132). Springer, Cham.

de

1

[ 3 ]