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 mediante 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 sistemas de razonamiento no axiomático , [1] y redes lógicas probabilísticas . [2]
Aplicaciones notables
Razonadores semánticos notables y software relacionado:
De uso gratuito (código cerrado)
- Motor de inferencia Cyc , 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 hacia adelante utilizado 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 directo que utiliza una implementación mejorada del algoritmo Rete .
- Evrete , un motor de reglas Java de encadenamiento directo que utiliza el algoritmo Rete y es compatible con la API del motor de reglas Java (JSR 94).
- Flora-2 , un sistema de razonamiento y representación del conocimiento basado en reglas y orientado a objetos.
- Jena , un marco de web semántico de código abierto para Java que incluye varios módulos de razonamiento semántico diferentes.
- 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).
Aplicaciones que contienen razonadores
- Apache Marmotta incluye un razonador basado en reglas en su triple tienda KiWi .
Razonador semántico para Internet de las cosas (código abierto)
Razonador semántico S-LOR (Reglas abiertas vinculadas basadas en sensores) S-LOR está bajo licencia GNU GPLv3.
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.
Ver también
Referencias
- ^ Wang, Pei. "Basado en la semántica de la experiencia 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. pag. 42. ISBN 9780387768724.
enlaces externos
- Razonadores de OWL 2 enumerados en la página de inicio del Grupo de Trabajo de SW 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. Análisis comparativo de OWL Reasoners [ enlace muerto permanente ] . 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. Benchmarking automatizado de los razonadores lógicos descriptivos . Descripción Taller de lógica 2006