西格玛是逻辑理论的集成开发环境扩展建议的上层合并本体（SUMO）。有一个公共安装启用了只读功能，链接自http://www.ontologyportal.org

警告如果您不想进行本机安装，请仔细阅读这些注释使用容器。大多数安装问题都是由仔细遵循说明。

您可以按照以下步骤在linux或Mac上进行手动安装。这个过程假设您从主目录开始，并且对在那里创建了目录。下面的sed命令试图修改~/.sigmakee/KBs/config.xml以符合您的本地路径。如果您的路径不同，则可能需要手动编辑config.xml。如果你正在跑步vagrant或其他VM上的tomcat，您可能需要将端口值从8080更改为8080。如果您在服务器上运行，而不是在本地主机上运行，则需要设置config.xml文件中的hostname参数。只有当您的$TMPDIR设置正确。不需要特定版本的tomcat。如果您加载不同版本的tomcat，请务必更改$CATALINA_主页以及你通往符合版本。如果使用不同的镜像或版本，则需要更改下面的wget命令，Oracle Java现在似乎嵌入了一个密钥在他们的URL中，每次都会更改。将下面的“theuser”更改为您的用户名。

如果您的安装不起作用，并且路径中出现有趣的“null”尝试打开您的$SIGMA_HOME（美元）,$CATALINA_主页和$SIGMA_SRC公司目录。

安装后，建议阅读Sigma手册https://github.com/ontologyportal/sigmake/blob/master/doc/manual/SigmaManual.pdf有一段关于安装Sigma的视频，以及许多其他关于相关工具的视频，请访问https://www.youtube.com/playlist？list=PLpBQIgki3izeUmFD8c65INdmxRNjjxOzP

首先，如果你还没有安装docker

更新源卷曲-fsSLhttps://download.docker.com/linux/ubuntu/gpg网址|sudo apt-key添加-sudo add-apt-阳性\"deb[arch=amd64]https://download.docker.com/linux/ubuntu\
   $(lsb版本-cs) \
稳定的"更新源sudo apt-get安装docker-ce

然后获取docker图像并运行它

拉动

sudo docker pull apease/sigmake2018：最新

与一起跑步

sudo docker run-it-d-p 8080:8080--名称trial04 apease/sigmake2018:最新"./信号启动.sh"

通过浏览器访问http://localhost:8080/sigma/login.html。用户名使用admin，密码使用admin

警告未保持模糊的构建。原始流浪文件可以在中找到阁楼

请注意，Sigma的Docker容器版本已经过时好几年了。Sigma的本机安装是推荐。

要构建新的docker容器，请遵循以下步骤$SIGMA_SRC公司是您的sigmakee git回购路径。首先，从下载jdk-8u171-linux-x64.rpmhttp://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html请注意，如果您没有下载准确的版本，则需要编辑sigmastart.sh，以便文件名比赛。您还需要在bashrc和Dockerfile中进行更改以跟踪最新的Tomcat

卷曲-fsSLhttps://download.docker.com/linux/ubuntu/gpg网址|sudo apt-key添加-sudo add-apt-阳性\"deb[arch=amd64]https://download.docker.com/linux/ubuntu\
   $(lsb版本-cs) \
稳定的"更新源sudo apt-get安装docker-cemkdir图像光盘图像内容提供商$SIGMA_SRC公司/码头工人/* .sudo docker build-t sigmakee2018：最新.

将图像推送到dockerhub

>:~/图像$sudo docker登录使用Docker ID登录，从Docker Hub推拉图像。如果你不这样做'没有Docker ID，前往https://hub.docker.com创建一个。
用户名（apease）：
密码：
登录成功

>：~/images$sudo docker ps
集装箱ID图像命令创建状态端口名称
1f7d0cef7874 51a041125329“./sigmastart.sh”56分钟前上升56分钟0.0.0:4000->8080/tcp trial11
>：~/images$sudo docker标签51a041125329 apease/sigmake2018：最新
>：~/images$sudo docker push apease/sigmake2018:最新
推送指的是存储库[docker.io/apease/sigmake2018]
ab5e94769be7：推送
1c15947f83dc：按下
c2007c9776df：推送
829ef5b0378d：推送
6fd852e99bda：按下
85c7d96adccb：按下
6b2f14c09222：推送
9a9a3d9cc4bc：按下
38c81b36edfb：推送
bcc97fbfc9e1：推送
最新：摘要：sha256:xxxxxxxxxxxxxxxxxxxxxxx大小：2417

确保在下面的命令中，将“theuser”替换为所需的用户名

创建用户用户

sudo用户添加用户

为用户添加密码

sudo向用户发送密码

添加到sudoers文件

sudo usermod-aG sudo theuser

切换到新用户

su用户光盘/家sudo mkdir用户sudo向用户chown用户光盘用户

确保您正在运行bash（和answer/bin/bash）

chsh公司

安装解压缩

sudo apt-get安装解压缩更新源

可能需要创建.bashrc

触摸.bashrc

方便添加内容。bashrc

回声 "别名dir='ls--color=auto--format=vertical-la'" >>.bashrc回声 "导出HISTSIZE=10000 HISTFILESIZE=100000" >>.bashrc回声 "export JAVA_HOME=/HOME/theuser/Programs/jdk1.8.0_112" >>.bashrc

将定义加载到您的环境中

来源.bashrc

然后你可以添加最后一个

回声 "导出PATH=$路径:$JAVA_主页/垃圾桶" >>.bashrc来源.bashrc

我只在Oracle JDK 1.8上测试过。如果您想使用OpenJDK或1.8以外的Java版本，请自行承担风险。您可能需要下载Java并设置您的JAVA_主页http://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html首先，

mkdir/home/theuser/程序光盘程序

以下命令行版本可能有效，但您可能需要更新jdk zip文件的名称

wget--无证书-c--标头"Cookie:oraclelicense=accept-securebackup-Cookie"https://download.oracle.com/otn-pub/java/jdk/14.0.1+7/664493ef4a6946b186ff29eb326336a2/jdk-14.0.1_linux-x64_bin.tar.gzgunzip jdk-14.0.1_linux-x64_bin.tar.gz文件

但您可能还需要访问网站，接受许可证，然后复制下载链接进入该命令。然后需要两个命令来安装新的Java（检查路径是否一致到您下载的java版本）-

sudo update-alternatives--安装"/usr/bin/java" "java语言" "/home/theuser/Programs/jdk1.8.0_version/bin/java"1sudo update-alternatives——设置java/home/theuser/Programs/jdk1.8.0_version/bin/java

验证是否已使用正确安装

java-版本

你应该看到这样的东西-

java版本“1.8.0_241”Java（TM）SE运行时环境（内部版本1.8.0_241-b07）Java HotSpot（TM）64位服务器虚拟机（内部版本25.241-b07，混合模式）

验证您在启动Apache Tomcat时看到的Java版本与您在启动时看到的相同运行java-version。运行javac-version来验证是否已安装也是一个好主意完整的JDK，而不仅仅是te JRE。

在AWS上，它有助于提醒您使用的是哪个服务器

出口主机_类型=`卷曲http://169.254.169.254/latest/meta-data/instance-type`第1阶段="$主机类型:"第1阶段

或者是流浪汉之类的

PS1=游民：PS1美元

mkdir工作区mkdir程序光盘程序wget公司'https://archive.apache.org/dist/tomcat/tomcat-8/v8.5.23/bin/apache-tomcat-8.5.23.zip'wget公司'http://wordnetcode.princeton.edu/3.0/WordNet-3.0.tar.gz'wget公司'http://wwwlere.dhbw-stutgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.0/E.tgz'焦油-xvzf E.tgz解压缩apache-tomcat-8.5.23.ziprm apache-tomcat-8.5.23.zip光盘 ~/程序/apache-tomcat-8.5.23/binchmod 777型*
光盘../webappschmod卡莫德777*
光盘 ~/工作区/sudo apt-get安装gitgit克隆https://github.com/ontologyportal/sigmake网站git克隆https://github.com/ontologyportal/sumogit克隆https://github.com/ontologyportal/TPTP-ANTLRgit克隆https://github.com/ontologyportal/SigmaUtils网站光盘 ~mkdir.sigmakee公司光盘sigmakee公司mkdir知识库复制目录~/工作空间/相扑/*千字节我="$(哇米)"内容提供商~/工作空间/sigmake/config.xml~/.sigmakee/KBsed-i"s/用户/$我/克"KBs/config.xml光盘 ~/程序gunzip WordNet-3.0.tar.gz文件tar-xvf WordNet-3.0.tarcp WordNet-3.0/字典/* ~/.sigmakee/KBs/WordNetMappings/光盘 ~/程序/Esudo apt-get安装makesudo apt-get安装gcc./配置制作进行安装光盘 ~sudo apt-get安装graphviz回声 "导出SIGMA_HOME=~/.sigmake" >>.bashrc回声 "导出SIGMA_SRC=~/workspace/sigmake" >>.bashrc回声 "export ONTOLOGYPORTAL_GIT=~/工作区" >>.bashrc回声 "导出CATALINA_OPTS=\"$CATALINA_OPTS（美元）-Xmx10克\"" >>.bashrc回声 "export CATALINA_HOME=~/Programs/apache-tomcat-8.5.23" >>.bashrc来源.bashrc光盘 ~/工作区/sigmakesudo add-apt-repository宇宙更新源sudo apt-get安装ant蚂蚁

测试运行

java-Xmx10g-classpath/home/theuser/workspace/sigmake/build/sigmake.jar:/home/theuser/forspace/sigmaske/buid/lib/*\com.articulate.sigma公司。KB-c对象事务

使用启动Tomcat

$CATALINA_HOME（加元）/垃圾箱/启动.sh

将浏览器指向http://localhost:8080/sigma/login.html

调试

• 如果login.html将您重定向到init.jsp，则表示系统仍在初始化。等一两分钟试试再一次。
• 如果您在mac上运行com.articulate.sigma时遇到与找不到jar相关的错误。KB，复制所有jar从/home/theuser/workspace/sigmake/build/lib/to/Library/Java/Extensions

如果您想使用Vampire代替E或除了E之外，请按照说明进行操作在https://github.com/vprover/吸血鬼#source-建造.

如果尚未安装Zlib库，则可能需要安装它

sudo apt-get安装libz-dev

也可能

sudo apt-get安装g++

然后执行以下操作：

光盘 $ONTOLOGYPORTAL_GIT公司git克隆https://github.com/vprover/吸血鬼光盘吸血鬼制造吸血鬼mv吸血鬼大师*吸血鬼

然后需要编辑config.xml文件以指向吸血鬼可执行文件。添加线条

<偏爱 名称="吸血鬼" 价值="/家/用户/工作区/吸血鬼/吸血鬼"/>

编辑路径以符合您的系统

如果你想使用Vampire的选项不同于《阿凡达》或最新的CASC策略例如，对于较旧的CASC策略，您可以设置环境变量，如下所示，确保在超时时使用-t终止

VAMPIRE_OPTS公司="--模式组合--化身关闭-qa answer_literal--时间表casc_2019--证明tptp-t"

请参阅安装。MacOS操作系统

如果安装jEdit（请参见http://jedit.org)并正确配置Sigma，您可以单击源Sigma Browse页面中语句的文件和行号编辑，打开那行。默认情况下，编辑功能将使用您的$ONTOLOGYPORTAL_GIT环境变量，并尝试打开“sumo”模块中该位置的文件。推荐做法是在本地Git存储库中编辑.kif文件，然后将其复制到.sigmakee/KBs目录。如果您希望在不同的位置（不同的存储库或完全不同的目录）进行编辑，例如，您可以在config.xml文件中设置editDir配置变量

<偏爱 名称="编辑目录" 价值="/主页/用户/工作区/我的项目"/>

如果您希望安装jEdit，使其没有路径，例如在共享计算机上作为特定于用户的例如，您需要在config.xml中设置路径

<偏爱 名称="杰迪" 价值="/主页/用户/jedit/jedit"/>

java-Xmx8g-类路径\/home/theuser/workspace/sigmakee/build/sigmake.jar:/home/ttheuser/workplace/sigmaKE/build/lib/*\org.junit.runner。JUnitCore com.articulate.sigma。单元测试套件

可以在SingleJUnitTestRunner类的帮助下一次运行一个测试方法，例如

java-Xmx4g-类路径/home/apease/workspace/sigmake/build/classes:\/主页/apease/workspace/sigmakee/build/lib/*com.articulate.sigma公司。单个JUnitTestRunner\com.articulate.sigma公司。Kb集成测试#testIsChildOf3

您必须编辑与config.xml相对应的资源文件，以符合您的路径。它们位于test/integration/java/resources/config*.xml和test/unit/java/resources/config*.xml中

参见SigmaRest项目-https://github.com/ontologyportal/SigaRest

确保您有python3

python--版本

确保您有pip或使用安装

sudo apt安装python3-pip

安装py4j模块

pip3安装py4j

编译SigmaKEE，然后使用运行

java-Xmx7g-cp$SIGMA_SRC公司/内部版本/类：$SIGMA_SRC公司/构建/库/*com.articulate.sigma公司。知识库管理员-p

然后启动python

user@user-machine:~/工作区/sigmake$python3Python 3.8.2（默认值，2020年7月16日，14:00:26）[GCC 9.3.0]在linux上类型"帮助","版权","信用"或"许可证" 对于更多信息。>>>从py4j.java_gateway导入JavaGateway>>>网关=Java网关()>>>sigma_app=网关入口点>>>打印（sigma_app.getTerms())设置（[u'-1'，u'-3'，u'-6'，u'-7235'，u'.5'，u'<=>'，u'=>'，u'AAA评级'，u'AAM公司'，单位'AAV公司'，u'ABPFn公司'，u'AB测试'，单位'A电源', ...

看com.articulate.sigma。KBmanager.pythonServer（）以公开更多类的API而不仅仅是com.articulate.sigma。KB（千字节）

警告请注意，截至2020年4月，这还不起作用。

使用创建帐户数据库

java-Xmx5G-cp$SIGMA_SRC公司/内部版本/类：$SIGMA_SRC公司/构建/库/*com.articulate.sigma公司。密码服务-c

然后创建管理员帐户和密码

java-Xmx5G-cp$SIGMA_SRC公司/构建/类：$SIGMA_SRC公司/构建/库/*com.articulate.sigma公司。密码服务-a

您可以在不担任管理员的情况下使用Sigma，但对其功能的使用有限。

您还需要在config.xml文件中设置一些参数

<偏爱 名称="数据库用户" 价值="sa公司"/><偏爱 名称="loadFresh（加载新鲜）" 价值="假"/>

要处理帐户注册功能，您需要有一个电子邮件帐户并提供运行Sigma安装的.bashrc文件中的密码。Gmail可能很方便为了这个。在Gmail（或您指定的其他服务）上将密码“my_pass”更改为您的密码

出口SIGMA_EMAIL_PASS系统="我的通行证（_P）"
出口西格玛电子邮件服务器="smtp.gmail.com网站"

有三种类型的用户角色：“guest”、“user”和“admin”。来宾是没有已注册。他们可以访问计算成本不高的只读函数。注册用户被授予访问计算上更昂贵的功能的权限。管理用户可以访问所有Sigma功能。目前，此控件是硬编码到JSP页面中的这将检查用户角色。在未来的某个时候，这可能会被更改为更灵活的从文件或数据库映射角色到允许函数的访问权限方案。

您需要用启动数据库服务器

java-jar h2-1.4.197.jar-webAllowOthers-tcpAllowOhers

您需要将PasswordService.java中的JDBCstring更改为您的路径，而不是/home/apease并重新编译

通过脚本从Linux或Mac OS上的源代码安装

猛击<(卷曲-Lhttps://raw.githubusercontent.com/ontologyportal/sigmakee/master/install.sh)

注意，您需要输入上面的整个语句，包括调用“bash”。

用户还应该看到

https://sourceforge.net/p/sigmakee/wiki/required_data_files网站/Mac指令-https://sourceforge.net/p/sigmakee/wiki/Sigma%20Setup%20on%20Mac/Ubuntu公司-https://sourceforge.net/p/sigmakee/wiki/Setting%20up%20Sigma%20on%20Ubuntu/

没有足够的关于Sigma的文档，所以我从这里开始准备手册。

Sigma有许多通过其基于JSP的接口控制的功能。

• 添加成分.jsp

  • 将组成的SUO-KIF文件添加到知识库中。只能访问管理员用户。它只响应来自另一个页面的命令，没有自己的UI。完成后重定向回KBs.jsp。

• 所有图片.jsp

  • 同时显示链接到一个术语的所有图片。所有用户都可以访问。

• ApproveUser.jsp

  • 处理批准新用户。只有管理员用户才能访问。重定向到KB.jsp进行确认。

• AskTell.jsp

  • 与局部定理证明程序的接口。只有管理员用户才能访问。此函数没有得到很好的维护，SystemOnTPTP和LEO-II的接口可能已经过时。

• 浏览Body.jsp

  • 显示术语、公理、词典链接等

• 浏览Extra.jsp

  • 包括Prelude.jsp和Postlude.jsp

• 浏览页眉.jsp

  • 主要本体浏览器控件，包括术语和单词搜索，以及选择自然语言和形式语言的菜单

• 浏览.jsp

  • 顶级浏览JSP，包括Prelude.JSP、BrowseHeader.JSP和BrowseBody.JSP和Postlude.jsp。实际上只是所包含JSP的shell

• CCheck.jsp（检查.jsp）

  • KBmanager.initiateCCheck（）的接口，用于启动KB的一致性检查。处理要使用的定理证明程序和几个参数的选择。包括前奏曲.jsp和Postlude.jsp

• CELT.jsp文件

  • 过时的。处理受控英语到逻辑翻译系统的调用，它现在被sigmanlp项目中的语义重写方法所取代。

• 创建用户.jsp

  • 处理用户创建帐户的请求。创建来宾帐户并将邮件发送给主持人审批。没有UI。

• 诊断.jsp

  • 用于在Diagnostics.java中运行测试的接口。取决于Prelude.jsp和Postlude.jsp。可供“管理员”和“用户”访问，但不可供未注册的访客用户访问

• 编辑文件.jsp

  • 过时的

• 编辑Stmt.jsp

  • 过时的

• 图形.jsp

  • 创建二进制关系图作为图形视图和缩进文本。依赖Prelude.jsp和Postlude.jsp

• 推理测试套件.jsp

  • 使用所选的校准器和参数运行一组推理测试。取决于Prelude.jsp和Postlude.jsp。只有管理员用户才能访问。

• 初始化.jsp

  • 带有定期自动刷新的状态页，用于在初始化过程。

• InstFiller.jsp软件

  • 允许简单编辑地面公式的页面。已弃用。仅可访问用于管理员用户。取决于Prelude.jsp和Postlude.jsp。

• 交叉.jsp

  • 在同一公理中找出两个或多个项的外观。取决于Prelude.jsp和Postlude.jsp。

• KBs.jsp网站

  • 创建或选择知识库的主要入口点。一些功能是可用于“admin”或“user”角色，但不可用于“guest”角色。取决于Prelude.jsp和Postlude.jsp。

• 登录.html

  • Sigma的登录页面，用于处理现有帐户和新帐户注册。将现有帐户发送到login.jsp，并将注册发送到注册.jsp

• 登录.jsp

  • 通过使用PasswordService.jsp验证登录H2帐户信息数据库。此页面没有UI。

• 清单.jsp

  • 用于处理加载和保存KB组件的UI，包括保存在各种可导出的格式，如OWL。取决于Prelude.jsp和Postlude.jsp。大多数功能仅限于管理员用户。

• 映射.jsp

  • 使用一些简单的字符串匹配方法来建议术语之间的等价性在两个文件中。取决于Prelude.jsp和Postlude.jsp。仅限管理员用户访问。

• 杂项实用程序.jsp

  • 取决于Prelude.jsp和Postlude.jsp。大多数功能仅限于管理员用户。生成点图文件和OWL版本的小实用程序开放式多语言Wordnet内容。

• 主持人审批.jsp

  • 功能仅限于管理员用户。发送到ApproveUser.jsp当用户单击“确定”时。

• OMW.jsp网站

  • 显示链接到的Open Multilingual Wordnet中多种语言的结果WordNet合成集。取决于Prelude.jsp和Postlude.jsp。

• OWL.jsp公司

  • 以OWL格式显示给定术语的所有公理（如果可以用该格式表示）语言。

• 后奏曲.jsp

  • 封装大多数页面上显示的基脚信息。

• 前奏曲.jsp

  • 封装大多数页面上显示的页眉信息。

• 进程文件.jsp

  • 没有UI。从MiscUtilities.jsp调用以从其他格式。调用DocGen.dataFileToKifFile（）来完成实际工作。取决于Prelude.jsp和后奏曲.jsp。仅限管理员用户访问。

• 属性.jsp

  • 用于设置Sigma的许多参数的界面。其中一些是也可以从浏览界面访问，例如自然语言语言释义。取决于Prelude.jsp和Postlude.jsp。仅限管理员用户访问。

• 注册器.jsp

  • 允许用户提交注册请求和特权超过未注册的来宾用户。调用CreateUser.jsp

• 保存.jsp

  • 未使用

• 简单浏览体.jsp

  • 类似于BrowseBody.jsp，但仅显示简单公理和非技术语言

• SimpleBrowseHeader.jsp

  • 类似于BrowseHeader.jsp的简单公理

• 简单浏览.jsp

  • 类似于Browse.jsp的简单公理

• SystemOnTPTP.jsp

  • 作为U.Miami托管的SystemOnTPTP系统的接口数十个定理证明程序，具有通用编程接口。此代码尚未请自行承担使用风险。取决于Prelude.jsp和Postlude.jsp。访问仅限于管理员用户。

• TreeView.jsp

  • 可折叠本体分类结构的简单树视图节点。使用SimpleBrowse.jsp代码显示分类法中任何节点的公理。

• WNDiag.jsp软件

  • WordNet诊断。取决于Prelude.jsp和Postlude.jsp。无障碍用于“admin”和“user”，但不是未注册的来宾用户。

• WordNet.jsp

  • 显示单词的合成集和SUMO-WordNet映射。取决于Prelude.jsp和Postlude.jsp。

• WordSense文件.jsp

  • 显示的词义消歧和情感分析结果文本文件。为实际工作调用WordNet.wn.sumoFileDisplay（）。取决于Prelude.jsp和Postlude.jsp。

• WordSense.jsp语言

  • 显示的词义消歧和情感分析结果句子。为实际工作调用WordNet.wn.sumoSentenceDisplay（）。取决于Prelude.jsp和Postlude.jsp。