kepler16b:示例kepler16b项目词汇表和与oml-tutorial的pattern9对应的描述

开普勒16b 该存储库用于Kepler16b项目 克隆 git clone https://github.com/modelware/kebler16b.git cd kepler16b 建造 等效于owlReason任务 ./gradlew build 产生文件 您必须首先从安装Bikeshed（应用程序本身） ./gradlew generateDocs 注意：如果bikeshed不在PATH中，则可以添加-pBIKESHED = path / to / bikeshed参数 运行OWL推理机 ./gradlew owlReason 启动Fuseki服务器 ./gradlew startFuseki 停止Fuseki服务器 ./gradlew stopFuseki 加载到Fuseki数据集 ./gradlew owlLoad 前提条件：具有firesat数据集的Fuseki