---
layout: rule
id: GORULE:0000019
title: "Generic Reasoner Validation Check"
type: report
fail_mode: soft
status: implemented
contact: "go-quality@lists.stanford.edu"
---

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.