Entorno de ingeniería del conocimiento Sigma

En los campos de la informática de la ingeniería del conocimiento y la ontología , el entorno de ingeniería del conocimiento Sigma (SigmaKEE) es un programa informático de código abierto para el desarrollo de ontologías formales . Está diseñado para usarse con la Ontología Superior Fusionada Sugerida . Originalmente incluía solo el demostrador de teoremas Vampire como su motor de inferencia deductiva principal, ^{[ 1 ]} pero ahora permite el uso de muchos otros demostradores que han participado en las competiciones CASC / CADE . ^{[ 2 ]}

Descripción general

SigmaKEE se considera un entorno de desarrollo integrado para ontologías. El flujo de trabajo típico del usuario consiste en escribir el contenido de la teoría en un editor de texto y luego depurarlo utilizando las herramientas de SigmaKEE. ^{[ 2 ]}

Está escrito en Java y utiliza JSP para su interfaz de usuario web . La interfaz permite al usuario realizar consultas y afirmaciones en formato SUO-KIF y muestra los resultados de las pruebas con hipervínculos. Para cada paso de la prueba, SigmaKEE señala que se trata de una aserción en la base de conocimiento o muestra cómo se deriva de los pasos anteriores utilizando las reglas de inferencia. La interfaz permite explorar el contenido teórico con hipervínculos y presenta jerarquías en una estructura de árbol. También permite explorar WordNet y Open Multilingual WordNet. ^{[ 2 ]}

SigmaKEE admite los formatos THF, TPTP , SUO-KIF, OWL y Prolog , y puede traducir teorías entre estos formatos. El demostrador de teoremas E , que admite los estándares TPTP para entrada y salida, está integrado en SigmaKEE. Proporciona el e_ltb_runnerprograma de control que se ejecuta en modo interactivo. Este programa recibe consultas y aplica filtros de relevancia. Luego ejecuta múltiples instancias de E que buscan una respuesta a las consultas. Si una de las instancias encuentra la demostración, todas las demás instancias se detienen y e_ltb_runnerdevuelve la respuesta al backend de SigmaKEE . ^{[ 2 ]}

Referencias

↑ Sutcliffe, Geoff; Yerikalapudi, Aparna; Trac, Steven (2009). "Extracción de múltiples respuestas para la respuesta a preguntas con sistemas automatizados de demostración de teoremas" (PDF) . Actas de la Vigésimo Segunda Conferencia Internacional FLAIRS . Recuperado el 16 de enero de 2024 .
1 2 3 4 Pease, Adam; Schulz, Stephan (2014). Demri, Stephane; Kapur, Deepak; Weidenbach, Christoph (eds.). "Ingeniería del conocimiento para grandes ontologías con Sigma KEE 3.0" (PDF) . Actas del 7.º IJCAR, Viena . LNAI. 8562 : 519–525 . Recuperado el 16 de enero de 2024 .

Enlaces externos

Sitio web de Sigma
TPTP/CADE

[1] Sutcliffe, Geoff; Yerikalapudi, Aparna; Trac, Steven (2009). "Extracción de múltiples respuestas para la respuesta a preguntas con sistemas automatizados de demostración de teoremas" (PDF) . Actas de la Vigésimo Segunda Conferencia Internacional FLAIRS . Recuperado el 16 de enero de 2024 .

[pease-2] 1 2 3 4 Pease, Adam; Schulz, Stephan (2014). Demri, Stephane; Kapur, Deepak; Weidenbach, Christoph (eds.). "Ingeniería del conocimiento para grandes ontologías con Sigma KEE 3.0" (PDF) . Actas del 7.º IJCAR, Viena . LNAI. 8562 : 519–525 . Recuperado el 16 de enero de 2024 .

[ 1 ]

[ 2 ]