Środowisko inżynierii wiedzy Sigma
W dziedzinie informatyki , inżynierii wiedzy i ontologii , środowisko inżynierii wiedzy Sigma jest programem komputerowym typu open source do tworzenia ontologii formalnych . Jest przeznaczony do użytku z Suggested Upper Merged Ontology . Pierwotnie zawierał tylko dowód twierdzenia o wampirze jako główny mechanizm wnioskowania dedukcyjnego, ale teraz umożliwia korzystanie z wielu innych programów dowodzących, które brały udział w konkursach CASC / CADE .
- Pease, Adam; Schulz, Stephan (2014). Demri, Stefan; Kapur, Deepak; Weidenbach, Christoph (red.). „Inżynieria wiedzy dla dużych ontologii z Sigma KEE 3.0”. proc. Z 7. IJCAR, Wiedeń . LNAI. 8562 : 519–525.
Linki zewnętrzne
Kategorie: