apease/sigmakee Docker 镜像 - 轩辕镜像 | Docker 镜像高效稳定拉取服务

Build status

!badge

Test status

!badge

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 [***] - 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:

sh
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