apease/sigmakee repository overview

⁠Build status

⁠Test status

Version notes⁠

⁠Introduction (at least 16GB RAM required)

Sigma is an integrated development environment for logical theories that extend the Suggested Upper Merged Ontology (SUMO). There is a public installation with read-only functions enabled linked from http://www.ontologyportal.org⁠ - click on the "Browse" link.

⁠Installation Instructions

⁠Recommended Methods

• Linux installation⁠
• MacOS installation⁠
• Windows installation⁠

⁠Other methods (power users)

• Container-Based installation (Docker)⁠
• Vagrant Virtual Machine installation⁠
• Old Installation Notes (deprecated)⁠

⁠Miscellaneous

• Optional Vampire manual installation⁠
• Common problems with installation⁠

After installing, recommended reading is the Sigma manual

• Sigma Manual⁠

There is a video on installing Sigma, as well as many others about related tools at

• Ontology Talk - Sigma Installation⁠

⁠Running Sigma

To run, simply:

startup.sh

Point your browser to http://localhost:8080/sigma/login.html⁠

Default credentials are: admin/admin

For other tips and debugging techniques:

• Running Sigma⁠

⁠jEdit Installation

It is highly recommended to build Ontologies with the SUMO plugin for jEdit. This plugin does text highlighting, syntax and type checking, and other features useful for building Ontologies.

• Install SUMO plugin for jEdit⁠

⁠jEdit Integration with Sigmakee (optional)

jEdit can additionally be integrated into Sigmakee, which will allow you to click on a source file and line number for a statement in the Sigma Browse page and be taken to the editor, open on that line.

• jEdit Sigmakee integration⁠

⁠jUnit testing on the command line

• jUnit testing on the command line⁠

⁠JaveDoc

• Sigma JavaDoc⁠

⁠RESTful Interface

• See the SigmaRest project⁠

⁠Python Interface

• Python Interface⁠

⁠Account Management

• Account Management⁠

⁠Netbeans IDE

• Working with Netbeans⁠