| layout | id | title | contact | status | fail_mode |
|---|---|---|---|---|---|
rule |
GORULE:0000019 |
Generic Reasoner Validation Check |
Implemented |
soft |
The entire GAF is converted to OWL, combined with the main GO ontology and auxhiliary constraint ontologies. The resulting ontology is checked for consistency and unsatisfiable classes over using a complete DL reasoner such as HermiT.