apease/sigmakee

Sigma Docker镜像文档

镜像概述

Sigma是一个集成开发环境（IDE），专为扩展建议的上层合并本体（SUMO）的逻辑理论设计。它提供了理论开发、浏览和管理功能，支持通过Web界面访问，适用于本体工程师、逻辑理论研究者及相关领域开发人员。公共只读实例可通过[***]"Browse"链接访问。注意：运行该镜像至少需要16GB RAM。

核心功能与特性

• SUMO扩展支持：专为扩展SUMO本体设计，提供逻辑理论开发工具
• Web界面访问：通过浏览器访问，提供直观的操作界面
• 多接口集成：支持RESTful接口、Python接口，可与jEdit编辑器集成
• 用户管理：包含账户管理功能，支持多用户操作
• 测试与文档：提供JUnit测试支持及详细JavaDoc文档

使用场景

• 本体工程师开发和扩展SUMO相关逻辑理论
• 研究人员构建、测试和管理逻辑本体
• 教育领域用于本体理论教学和实践
• 需要集成SUMO本体的应用开发

使用方法

Docker部署示例

基础运行命令

sh
docker run -d -p 8080:8080 --name sigma --memory=16g ontologyportal/sigmakee

说明：--memory=16g参数用于指定16GB内存限制，确保满足最低运行要求

持久化数据（可选）

sh
docker run -d -p 8080:8080 --name sigma --memory=16g -v /path/to/local/data:/app/data ontologyportal/sigmakee

访问与登录

1. 容器启动后，通过浏览器访问：http://localhost:8080/sigma/login.html
2. 默认登录凭据：
   • 用户名：admin
   • 密码：admin

核心操作

启动服务

容器启动后自动运行服务，无需额外操作。若需手动重启服务，可进入容器执行：

sh
docker exec -it sigma ./startup.sh

jEdit编辑器集成（推荐）

1. 安装jEdit及SUMO插件：https://github.com/ontologyportal/SUMOjEdit
2. 配置jEdit与Sigma集成（可选），实现源码点击跳转：https://github.com/ontologyportal/sigmakee/wiki/jEdit-Integration-with-Sigma

接口使用

RESTful接口

通过https://github.com/ontologyportal/SigmaRest%E6%8F%90%E4%BE%9BRESTful API支持，具体使用方法参见项目文档。

Python接口

详细使用说明参见：https://github.com/ontologyportal/sigmakee/wiki/Python-Interface

附加资源

• Sigma手册：https://github.com/ontologyportal/sigmakee/blob/master/doc/manual/SigmaManual.pdf
• 安装视频教程：Ontology Talk - Sigma Installation
• JavaDoc文档：Sigma JavaDoc
• 常见问题：https://github.com/ontologyportal/sigmakee/wiki/Common-problems-with-installation