Download all versions of sigma-component JAR files with all dependencies
sigma-component from group com.github.ontologyportal (version 2.12)
Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first
order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged
Ontology (SUMO) www.ontologyportal.org.
2 downloads
Artifact sigma-component
Group com.github.ontologyportal
Version 2.12
Last update 02. February 2017
Tags: with knowledge suggested format ontology engineering logic works upper system interchange optimized order theories sigma sumo developing ontologyportal viewing debugging first merged
Organization not specified
URL www.ontologyportal.org
License GNU General Public License
Dependencies amount 6
Dependencies antlr, guava, mail, cos, json-simple, commons-lang3,
There are maybe transitive dependencies!
Group com.github.ontologyportal
Version 2.12
Last update 02. February 2017
Tags: with knowledge suggested format ontology engineering logic works upper system interchange optimized order theories sigma sumo developing ontologyportal viewing debugging first merged
Organization not specified
URL www.ontologyportal.org
License GNU General Public License
Dependencies amount 6
Dependencies antlr, guava, mail, cos, json-simple, commons-lang3,
There are maybe transitive dependencies!
sigma-component from group com.github.ontologyportal (version 2.11)
Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first
order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged
Ontology (SUMO) www.ontologyportal.org.
2 downloads
Artifact sigma-component
Group com.github.ontologyportal
Version 2.11
Last update 01. February 2017
Tags: with knowledge suggested format ontology engineering logic works upper system interchange optimized order theories sigma sumo developing ontologyportal viewing debugging first merged
Organization not specified
URL www.ontologyportal.org
License GNU General Public License
Dependencies amount 6
Dependencies antlr, guava, mail, cos, json-simple, commons-lang3,
There are maybe transitive dependencies!
Group com.github.ontologyportal
Version 2.11
Last update 01. February 2017
Tags: with knowledge suggested format ontology engineering logic works upper system interchange optimized order theories sigma sumo developing ontologyportal viewing debugging first merged
Organization not specified
URL www.ontologyportal.org
License GNU General Public License
Dependencies amount 6
Dependencies antlr, guava, mail, cos, json-simple, commons-lang3,
There are maybe transitive dependencies!
Page 1 from 1 (items total 2)