Adding or Deleting Asserted Subclasses

From GO Wiki
Jump to navigation Jump to search

Adding and deleting superclasses (parent terms)

Terms can be moved as long as the term's new position correctly reflects its relationships to other terms and moving the term does not imply a significant change in the meaning of the term. Terms should not, however, be moved between ontologies; only within the same ontology. If you need to move a term to a different ontology, first obsolete it and then create a new term in the other ontology.

Removing asserted subclasses that are also inferred

  • Asserted is_a parents should not need to be retained as SubClass of if the logical definition for a term results in their inference.
  • After creating the new term, you should synchronize the Reasoner. This will show the reasoned classification of the new term, including any inferred subclass(es).
  • If the logical definition is redundant with the asserted subclasses, those can be deleted by clicking on the X to the right term in the Description window in Protege.
  • If the inferred classification does not contain the correct parentage or is inconsistent, the logical definition should be modified.
  • Make sure to run the Reasoner after each change and verify that all inferences are correct.
  • If necessary, add a link to the GitHub go-ontology ticket
 See Ontology_Editors_Daily_Workflow for commit, push and merge instructions.

Review Status

Last reviewed: Nov 4, 2022

Back to: Editing the Ontology