Adding or Deleting Asserted Subclasses: Difference between revisions
Jump to navigation
Jump to search
mNo edit summary |
mNo edit summary |
||
Line 1: | Line 1: | ||
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). | |||
Make sure to run the Reasoner to check that the asserted parent is now replaced with the correct reasoned parent(s). | |||
[[Category:GO Editors]][[Category:Ontology]][[Category:Editor_Guide_2018]] | [[Category:GO Editors]][[Category:Ontology]][[Category:Editor_Guide_2018]] |
Revision as of 14:20, 7 June 2018
- 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).