2. Reasoner - ELK

A reasoner is run on EDAM using the ROBOT reason command, which calls the ELK reasoner.

By running ELK we validate the semantic consistency of the EDAM ontology by inferring logical consequences from the ontology axioms.

2.1. Get started

You can check out robot installation documentation here.

Once robot is installed you can run ELK with robot reason on EDAM using this command

robot reason --reasoner ELK  --input <path to EDAM> -v