4.0.0 com.github.ontologyportal sigma-component jar 2.12 sigma-component 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. www.ontologyportal.org GNU General Public License http://www.gnu.org/copyleft/gpl.html manual This code is copyright Articulate Software (c) 2003. Some portions copyright Teknowledge (c) 2003 and reused under the terms of the GNU license. This software is released under the GNU Public License <http://www.gnu.org/copyleft/gpl.html>. Users of this code also consent, by use of this code, to credit Articulate Software and Teknowledge in any writings, briefings, publications, presentations, or other representations of any software which incorporates, builds on, or uses this code. Please cite the following article in any publication with references: Pease, A., (2003). The Sigma Ontology Development Environment, in Working Notes of the IJCAI-2003 Workshop on Ontology and Distributed Systems, August 9, Acapulco, Mexico. Adam Pease apease@articulatesoftware.com Articulate Software http://www.articulatesoftware.com Ivan Zilotti ivan.zilotti@ipsoft.com IPsoft Incorporated http://www.ipsoft.com https://github.com/ontologyportal/sigmakee scm:git::https://github.com/ontologyportal/sigmakee.git scm:git::https://github.com/ontologyportal/sigmakee.git ossrh https://oss.sonatype.org/content/repositories/snapshots ossrh https://oss.sonatype.org/service/local/staging/deploy/maven2/ org.sonatype.oss oss-parent 9 -Xdoclint:none src/java test/unit/java junit junit 4.12 test antlr antlr 2.7.5 com.google.guava guava 17.0 javax.mail mail 1.4.7 com.servlets cos 05Nov2002 com.googlecode.json-simple json-simple 1.1 org.apache.commons commons-lang3 3.5 ${src.dir} ${test.src.dir} **/*.java resources/* test/integration/java **/*.java resources/* test/corpus/java **/*.java resources/* maven-compiler-plugin 2.3.2 1.8 1.8 org.apache.maven.plugins maven-source-plugin 2.2.1 attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin 2.9.1 attach-javadocs jar org.apache.maven.plugins maven-gpg-plugin 1.5 sign-artifacts verify sign