Mecanismo de razonamiento semántico

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 9 de junio de 2021; las comprobaciones requieren 2 ediciones .

El razonador semántico , el motor de razonamiento semántico o el motor de reglas es una  pieza de software capaz de derivar conclusiones lógicas de un conjunto de conocimientos básicos o axiomas adecuadamente formalizados . El concepto de un razonador semántico generaliza el concepto de un motor de inferencia , proporcionando un conjunto más rico de mecanismos para trabajar. Reglas de salida   Suelen definirse utilizando el lenguaje de la ontología y, a menudo, los lenguajes de la lógica descriptiva . Muchos razonadores semánticos usan la lógica de primer orden para realizar el razonamiento; la conclusión suele ocurrir por cadenas directas y hacia atrás de razonamiento. También hay ejemplos de mecanismos de razonamiento probabilístico, incluido el sistema de razonamiento no axiomático de Pei Wang [ 1] y las redes lógicas probabilísticas [ 2 ] . 

Formas del mecanismo semántico del razonamiento

Uso

Una nueva área de uso para el razonamiento semántico es la web semántica , donde las bases de conocimiento pueden expresarse en diferentes lenguajes computables, entre los cuales OWL es el más expresivo . Las capacidades del pensador dependen estrictamente del lenguaje utilizado para formalizar la base de conocimientos.

Los razonadores semánticos existentes y el software asociado se enumeran a continuación.

Lista de mecanismos de razonamiento semántico

Software comercial
  • Bossam (software), un motor de reglas basado en RETE con soporte integrado para analizar ontologías OWL, reglas SWRL y reglas RuleML.
  • CorredorPro
  • OntoBroker es un motor de inferencia de razonamiento natural sobre F-Logic, ObjectLogic, RIF y OWL. ( Motor de inferencia listado en W3C )
Software libre (código cerrado)
  • Motor de inferencia cíclico, motor de inferencia hacia adelante y hacia atrás con numerosos módulos especializados para lógica de orden superior. ( ResearchCyc ) ( OpenCyc Archivado el 26 de febrero de 2011 en Wayback Machine )
  • KAON2  es un marco para gestionar ontologías OWL-DL, SWRL y F-Logic.
  • Internet Business Logic (software) es un desarrollador inteligente de aplicaciones de usuario final. Crea y ejecuta automáticamente consultas SQL de red complejas . Explica los resultados en inglés a nivel de usuario final.
Software libre (código abierto)
  • Cwm , un motor de razonamiento de encadenamiento directo que se utiliza para consultar, validar, transformar y filtrar información. Su lenguaje principal es RDF, extendido para incluir reglas, y usa serializaciones RDF/XML o N3 cuando es necesario. ( CWM , licencia de software W3C)
  • Drools , un motor de reglas basado en principios de transformación directa que utiliza una implementación extendida del algoritmo Rete . ( Drools , licencia Apache 2.0)
  • OpenRules , un sistema de gestión de soluciones y reglas de negocio de código abierto. Junto con el motor de reglas secuenciales, incluye un motor de inferencia que usa programación de restricciones ( OpenRules )
  • FaCT++ Reasoner , un argumento basado en tablas para descripciones de lógica expresiva (DL), que cubre OWL y OWL 2, pero sin soporte para restricciones clave y algunos tipos de datos. Escrito en C++. (LGPL)
  • Flora-2 , un sistema de razonamiento y representación del conocimiento basado en reglas y orientado a objetos. ( Flora-2 , Apache 2.0)
  • Gandalf , un motor de reglas de decisión de código abierto en PHP (GPL).
  • Prova , un motor de reglas de web semántica que admite la integración de datos mediante consultas y tipos SPARQL (ontologías RDFS, OWL como sistemas de tipos). ( Prova , GNU GPL v2, versión comercial disponible)
  • Pellet , razonador OWL 2 DL (AGPL, opción comercial disponible)
  • Razonador HermiT , OWL 2 DL (LGPL)
  • ELK , OWL 2 EL razonador (Apache 2)
  • Razonador CEL , OWL 2 EL (Apache 2)
  • jcel , razonador OWL 2 EL (LGPL/Apache 2)
  • RACER , Razonador OWL 2 DL (BSD-3)
  • Jena , un marco web semántico de código abierto para Java que incluye varios módulos lógicos semánticos diferentes. ( Apache Jena , Licencia Apache 2.0)
  • RDFSharp , un marco web semántico de código abierto para .NET que incluye una extensión semántica que implementa la lógica de reglas personalizadas/RDFS/OWL-DL. ( RDFSharp , Licencia Apache 2.0)
Aplicaciones que contienen pensadores semánticos
  • SemanticMiner incluye el pensador semántico OntoBroker para realizar búsquedas semánticas basadas en ontologías. [una]
  • SemanticGuide  es un sistema experto basado en OntoBroker. [2]
  • Apache Marmotta incluye un pensador semántico basado en reglas en su almacén de datos KiWi.
  • dot15926 Editor-Ontology , un marco de gestión desarrollado originalmente para el desarrollo del estándar de ontología ISO 15926 . Le permite escribir reglas de Python y realizar análisis de datos basados ​​en plantillas. Soporta extensiones.

Véase también

Notas

  1. ↑ Wang, Pei Grounded on Experience Semantics for intelligence, Tech report 96 . http://www.cogsci.indiana.edu/ . CRCC. Consultado el 13 de abril de 2015. Archivado desde el original el 23 de septiembre de 2015.
  2. ↑ Goertzel, Ben; Ikle, Mateo; Goertzel, Isabela Freire; Heljakka, Ari. Redes lógicas probabilísticas: un marco integral para la  inferencia incierta . - Springer Science & Business Media , 2008. - Pág. 42. - ISBN 9780387768724 .

Enlaces

 web semántica
Lo esencial
Subsecciones
Aplicaciones
Temas relacionados
Estándares
  • Historia : HTML semántico simple y antiguo
  • DAML+ACEITE