Pieza de software capaz de inferir consecuencias lógicas a partir de un conjunto de hechos o axiomas afirmados
Un razonador semántico , motor de razonamiento , motor de reglas o simplemente un razonador , es un software capaz de inferir consecuencias lógicas a partir de un conjunto de hechos o axiomas afirmados . 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 comúnmente procede por encadenamiento hacia adelante y encadenamiento hacia atrás . También hay ejemplos de razonadores probabilísticos, incluidos los sistemas de razonamiento no axiomático [1] y las redes de lógica probabilística [2] .
Aplicaciones notables
Razonadores semánticos notables y software relacionado:
De uso gratuito (código cerrado)
- Motor de inferencia cíclica , un motor de inferencia de encadenamiento hacia adelante y hacia atrás con numerosos módulos especializados para lógica de orden superior.
- KAON2 es una infraestructura para administrar ontologías OWL-DL , SWRL y F-Logic .
Software libre (código abierto)
- Cwm , un razonador de encadenamiento progresivo que se utiliza para consultar, verificar, transformar y filtrar información. Su lenguaje principal es RDF, ampliado 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, un motor de reglas Java de encadenamiento hacia adelante que utiliza el algoritmo Rete y es compatible con la API de motor de reglas Java (JSR 94).
- D3web , una plataforma para sistemas basados en conocimiento ( sistemas expertos ).
- Flora-2 , un sistema de razonamiento y representación de conocimiento basado en reglas y orientado a objetos.
- Jena , un marco de trabajo web semántico de código abierto para Java que incluye varios módulos de razonamiento semántico diferentes.
- OWLSharp, una biblioteca .NET liviana y amigable para realizar aplicaciones Web Semánticas inteligentes.
- 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 web semántica que admite la integración de datos a través de consultas SPARQL y sistemas de tipos (ontologías RDFS, OWL como sistema de tipos).
- DIP, Defeasible-Inference Platform (DIP) es un razonador de lenguaje de ontología web y un complemento de escritorio de Protégé para representar y razonar con subsunción refutable. [3] Implementa un estilo de razonamiento de implicación preferencial que se reduce a una "implicación clásica", es decir, sin la necesidad de modificar el procedimiento de decisión subyacente.
Razonador semántico para Internet de las cosas (código abierto)
Razonador semántico S-LOR (Sensor-based Linked Open Rules) S-LOR está bajo 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 para deducir conocimiento significativo a partir de las mediciones de los sensores.
Véase también
Referencias
- ^ Wang, Pei. "Grounded on Experience Semantics for intelligence, Tech report 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 revocable. En Simposio internacional sobre fundamentos de los sistemas de información y conocimiento (pp. 114-132). Springer, Cham.
Enlaces externos
- Los razonadores de OWL 2 aparecen en la página de inicio 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 los razonadores OWL [ enlace permanente muerto ] . Espejo 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 sobre lógica descriptiva 2006