Skip to content

Commit

Permalink
Merge branch 'master' of github.com:geneontology/protege-taxon-constr…
Browse files Browse the repository at this point in the history
…aints
  • Loading branch information
balhoff committed Jul 30, 2020
2 parents 99630b4 + 798c1a9 commit a4a3090
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1 +1,3 @@
# protege-taxon-constraints
# OBO taxon constraints plugin for Protégé

OBO ontologies such as Gene Ontology, Uberon anatomy ontology, and the Cell Ontology include axioms specifying the organism taxon in which instances of particular concepts are found. The OBO Relation Ontology provides axioms that propagate these taxon constraints over other relations between concepts such as 'part of' and 'develops from'. These taxon constraint axioms provide a powerful means to ensure consistent and taxon-appropriate application of ontology terms, but it can be hard to know which taxon constraints apply to a term, when the chain of reasoning can extend across many concepts. This plugin use the active reasoner within Protégé to compute the taxon constraints in effect for any selected term.

0 comments on commit a4a3090

Please sign in to comment.