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 su uso con la ontología combinada sugerida . Originalmente incluía solo el demostrador de teoremas del vampiro 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]
SigmaKEE se considera un entorno de desarrollo integrado para ontologías. El flujo de trabajo típico del usuario consiste en escribir el contenido teórico 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 basada en web . La interfaz permite al usuario realizar consultas y declaraciones en formato SUO-KIF y muestra los resultados de la prueba con hipervínculos. Para cada paso de la prueba, SigmaKEE señala que es una afirmación en la base de conocimientos o muestra cómo el paso se desprende de los pasos anteriores utilizando las reglas de inferencia. La interfaz permite explorar el contenido de la teoría con hipervínculos y presenta jerarquías en una estructura similar a un á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 un 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 prueba, todas las demás instancias se detienen y e_ltb_runnerdevuelve la respuesta al backend de SigmaKEE . [2]