GitHub - ontologyportal/sigmakee: Sigma Knowledge Engineering Environment (original) (raw)
Build status
Test status
Introduction
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
Other methods (power users)
- Container-Based installation (Docker)
- Vagrant Virtual Machine installation
- Old Installation Notes (deprecated)
Miscellaneous
After installing, recommended reading is the Sigma manual
There is a video on installing Sigma, as well as many others about related tools at
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:
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.
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.
jUnit testing on the command line
RESTful Interface
- See the SigmaRest project