Adding or Deleting Asserted Subclasses: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
mNo edit summary |
||
(7 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
See [[Ontology_Editors_Daily_Workflow]] for creating branches and basic Protégé instructions. | |||
Asserted '''is_a parents''' do not need to be retained as entries in the '''SubClass of''' section of the Description window in Protege if the logical definition for a term results in their inference. | * Asserted '''is_a parents''' do not need to be retained as entries in the '''SubClass of''' section of the Description window in Protege if the logical definition for a term results in their inference. | ||
If you have created a logical definition for your term, you can delete the asserted is_a parent by clicking on the X to the right term. | * If you have created a logical definition for your term, you can delete the asserted is_a parent by clicking on the X to the right term. | ||
Once you synchronize the Reasoner, you will see the reasoned classification of your new term, including the inferred is_a parent(s). | * Once you synchronize the Reasoner, you will see the reasoned classification of your new term, including the inferred is_a parent(s). | ||
If the inferred classification does not contain the correct parentage, or doesn’t make sense, then you will need to modify the logical definition. | * If the inferred classification does not contain the correct parentage, or doesn’t make sense, then you will need to modify the logical definition. | ||
* If an existing term contains a logical definition and still shows an asserted is_a parent in the ‘SubClass of’ section, you may delete that asserted parent, as well. | |||
* Make sure to run the Reasoner to check that the asserted parent is now replaced with the correct reasoned parent(s). | |||
See [[Ontology_Editors_Daily_Workflow]] for commit, push and merge instructions. | |||
== Review Status == | |||
Last reviewed: May 24, 2017 | |||
[[Ontology_Development#Editing_the_Ontology |Back to: Editing the Ontology]] | |||
[[Category:GO Editors]][[Category:Ontology]][[Category:Editor_Guide_2018]] | [[Category:GO Editors]][[Category:Ontology]][[Category:Editor_Guide_2018]] |
Revision as of 10:33, 5 April 2019
See Ontology_Editors_Daily_Workflow for creating branches and basic Protégé instructions.
- Asserted is_a parents do not need to be retained as entries in the SubClass of section of the Description window in Protege if the logical definition for a term results in their inference.
- If you have created a logical definition for your term, you can delete the asserted is_a parent by clicking on the X to the right term.
- Once you synchronize the Reasoner, you will see the reasoned classification of your new term, including the inferred is_a parent(s).
- If the inferred classification does not contain the correct parentage, or doesn’t make sense, then you will need to modify the logical definition.
- If an existing term contains a logical definition and still shows an asserted is_a parent in the ‘SubClass of’ section, you may delete that asserted parent, as well.
- Make sure to run the Reasoner to check that the asserted parent is now replaced with the correct reasoned parent(s).
See Ontology_Editors_Daily_Workflow for commit, push and merge instructions.
Review Status
Last reviewed: May 24, 2017