We want to add a new workflow, that sorts the Ontology files and removes unused declarations (???).
For that we can use the following two commands:
- Sort the declarations, axioms, ...:
robot convert --input security.owx --format owx --output security-new.owx
- Make a diff to check if something is removed:
robot diff --left security.owx --right security-new.owx --output security-diff.txt -> results in best case in Ontologies are identical
We want to add a new workflow, that sorts the Ontology files and removes unused declarations (???).
For that we can use the following two commands:
robot convert --input security.owx --format owx --output security-new.owxrobot diff --left security.owx --right security-new.owx --output security-diff.txt-> results in best case inOntologies are identical