| http://www.w3.org/ns/prov#value | - The CL also makes extensive use of the Gene Ontology (GO) [9] in its computable definitions, thus linking cell types to the biological processes represented in the GO. Automated reasoners use the logic of these referenced ontologies to find errors in graph structure and to automatically build a class hierarchy.
|