Cmem-plugin-reason

Added

- axiom generator description in UI

Changed

- output graph label derived from input graph
- create plugin label in provenance data

Added

- Validate: added "mode" parameter

Fixed

- respect owl:imports in OWL2 profile validation

Changed

- Validate: the entity output includes the reasoner option on path "reason"
- detailed axiom generator documentation
- The axiom generator ObjectPropertyCharacteristic does not yield results. Currently, this axiom generator and its
(working) counterpart DataPropertyCharacteristic are removed from the Reason plugin.

Added

- defined input and output schema
- Reason: parameters to import the result graph in the ontology graph and to import the ontology graph in the result graph
- Validate: parameter to enable/disable entity output

Fixed

- incorrect stopping of workflow if "validate_profiles" and "stop_at_inconsistencies" is enabled in Validate plugin
- fixed error when output graph is imported by input graph; the import is removed in-memory before reasoning

Changed

- raise OSError on post result graph error
- removed write_md and produce_graph bool parameters
- If "input_profiles" is enabled the Reason plugin expects "ontology_iri" and "profile" on the input.
The ontology IRI on the input overrides the plugin setting.
- update execution report
- output graph IRI selectable from existing graphs
- When "input_profiles" is enabled the ontology IRI and list of valid OWL2 profiles is now taken from the config port.
The list of valid profiles is a comma-separated string (e.g. "Full,DL").

Fixed

- fixed errors on CMEM instances with self-signed/invalid certificates

Added

- valid OWL profiles can be read on the Reason plugin input instead of validating the ontology in the plugin

Changed

- use DCMI Metadata Terms for provenance
- new icons

Fixed

- temporary files are now removed when an error occurs

Added

- parameter for validating the input ontology against OWL2 profiles (DL, EL, QL, RL, and Full)
- Validate plugin outputs valid profiles with path "profile"

Changed

- Validate plugin outputs the Markdown result with path "markdown"

Fixed

- `prov:wasGeneratedBy` in output graphs now refers to a plugin IRI instead of a literal

Changed

- keep original output ("No explanations found.") if no inconsistencies found with Validate plugin
- provenance data in output graphs now includes plugin parameter settings
- new icons