Prostředí znalostního inženýrství Sigma - Sigma knowledge engineering environment

V počítačová věda pole znalostní inženýrství a ontologie, Prostředí znalostního inženýrství Sigma je otevřený zdroj počítačový program pro rozvoj formálních ontologie. Je určen pro použití s Navrhovaná horní sloučená ontologie. Původně obsahovala pouze Prokazovatel věty o upírech jako hlavní jádro pro deduktivní odvozování, ale nyní umožňuje použití mnoha dalších proverů, které se účastnily CASC /CADE soutěže.

Reference

  • Pease, Adam; Schulz, Stephan (2014). Demri, Stephane; Kapur, Deepak; Weidenbach, Christoph (eds.). "Znalostní inženýrství pro velké ontologie se Sigma KEE 3.0". Proc. 7. IJCAR, Vídeň. LNAI. 8562: 519–525.

externí odkazy