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 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 superior sugerida . Originalmente incluía solo el demostrador del teorema del vampiro como su motor de inferencia deductivo central, pero ahora permite el uso de muchos otros probadores que han participado en las competencias CASC / CADE .
Referencias
- 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". Proc. del 7º IJCAR, Viena . LNAI. 8562 : 519-525.