This eccenca Corporate Memory workflow plugin bundle contains plugins performing reasoning (Reason) and ontology consistency checking (Validate) using ROBOT.
ROBOT is published under the BSD 3-Clause "New" or "Revised" License. Copyright © 2015, the Authors
➜ 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 (elk)
- Expression Materializing Reasoner (emr)
- HermiT (hermit)
- JFact (jfact)
- Structural Reasoner (structural)
- Whelk (whelk)
By default, the reason operation will only assert inferred subclass axioms. The plugin provides the following parameters to include inferred axiom generators:
- SubClass
- EquivalentClass
- DisjointClasses
- DataPropertyCharacteristic
- EquivalentDataProperties
- SubDataProperty
- ClassAssertion
- PropertyAssertion
- EquivalentObjectProperty
- InverseObjectProperties
- ObjectPropertyCharacteristic
- SubObjectProperty
- ObjectPropertyRange
- ObjectPropertyDomain
Validate the input ontology against OWL profiles (DL, EL, QL, RL, and Full). The ontology is annotated in the output graph.
If enabled along with the "Validate OWL2 profiles" parameter, the ontology IRI and list of valid profiles is taken from the config port input, without validating the ontology against the profiles in the plugin. If the "Validate OWL2 profiles" parameter is enabled in the "Validate" plugin, it can be directly connected to the input of the "Reason" plugin.
Maximum heap size for the Java virtual machine in the DI container running the reasoning process.
The plugin outputs the explanation as text in Markdown format on the path "markdown", the ontology IRI on the path "ontology_graph_iri", and (if enabled) the valid OWL2 profiles on the path "valid_profiles" as a comma-separated string.
The IRI of the input ontology graph. The graph IRI is selected from a list of graphs of typeowl:Ontology
.
The following reasoner options are supported:
- ELK (elk)
- Expression Materializing Reasoner (emr)
- HermiT (hermit)
- JFact (jfact)
- Structural Reasoner (structural)
- Whelk (whelk)
If enabled, an explanation graph is created.
The IRI of the output graph for the reasoning result.
If enabled, an explanation markdown file is written to the project.
The filename of the Markdown file with the explanation of inconsistencies.
Raise an error if inconsistencies are found. If enabled, the plugin does not output entities.
Validate the input ontology against OWL profiles (DL, EL, QL, RL, and Full). The valid profiles are added to the output Markdown file and the ontology is annotated in the output graph. The plugin outputs the profiles with path "profile", and the ontology IRI with path "ontology".
Maximum heap size for the Java virtual machine in the DI container running the reasoning process.