Reasoning with ROBOT
This eccenca Corporate Memory workflow plugin performs reasoning using ROBOT (ROBOT is an OBO Tool). It takes an OWL ontology and a data graph as inputs and writes the reasoning result to a specified graph.
[tool.poetry]
section:
include = ["cmem_plugin_robotreason/workflow/bin/*"]
💡 Prior to the build process, the Java library robot.jar (v1.9.4) and the robot.sh script are automatically
downloaded from the ROBOT GitHub repository. The jar file is not downloaded if it
already exists in the same version. The ROBOT files are downloaded to the directory
cmem_plugin_robotreason/workflow/bin and are not removed automatically when running task clean
. The files can be
removed with task custom:clean_robot
.
➜ task clean custom:build
If the files already exist locally, and you want to skip the download entirely, use:
➜ task clean build
➜ cmemc admin workspace python install dist/*.tar.gz
Alternatively, the build and installation process can be initiated with the single command:
➜ task deploy
The IRI of the input data graph. The graph IRI is selected from a list of graphs of types di:Dataset
, void:Dataset
and owl:Ontology
.
The IRI of the input ontology graph. The graph IRI is selected from a list of graphs of typeowl:Ontology
.
The IRI of the output graph for the reasoning result.
The following reasoner options are supported: ELK, Expression Materializing Reasoner, HermiT, JFact, Structural Reasoner and Whelk.