Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Annotation property for tagging unilaterally injected axioms #550

Closed
dosumis opened this issue Jan 14, 2022 · 5 comments · May be fixed by #551
Closed

Annotation property for tagging unilaterally injected axioms #550

dosumis opened this issue Jan 14, 2022 · 5 comments · May be fixed by #551
Labels
rule Has something to do with rules or axioms

Comments

@dosumis
Copy link
Contributor

dosumis commented Jan 14, 2022

See OBOFoundry/OBOFoundry.github.io#1443 (comment)

label: modifies_externally_defined_OWL_entity
def: This axiom alters the meaning of an OWL Entity, but has not been officially sanctioned by the editors of the ontology to which this entity belongs.
range: Boolean
@dosumis dosumis mentioned this issue Jan 14, 2022
Open
@dosumis dosumis reopened this Jan 14, 2022
dosumis added a commit that referenced this issue Jan 14, 2022
@dosumis
Update ro-edit.owl
ace1bee 
Fixes #550
@dosumis dosumis mentioned this issue Jan 14, 2022
Draft
@cmungall
Copy link
Contributor

Thus for APs minted in RO have primarily been APs about OPs or axiomatization involving OPs

I am keen to get this tag out, but there is discussion on slack about what home is best, RO or OMO

@dosumis
Copy link
Contributor Author

dosumis commented Jan 15, 2022

Happy to move it.

@matentzn
Copy link
Contributor

I think this should be OMO, as it will form part of our third circle of core annotations..

@nlharris nlharris added the rule Has something to do with rules or axioms label Jan 20, 2022
@nlharris
Copy link
Contributor

Is there someone who could move this ticket to OMO?

@matentzn
Copy link
Contributor

Just close here and copy / link to https://github.com/information-artifact-ontology/ontology-metadata/issues

@nlharris nlharris mentioned this issue Feb 17, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
rule Has something to do with rules or axioms
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

DO NOT MERGE: New AP for unilateral injection oborel/obo-relations
4 participants
@cmungall @dosumis @nlharris @matentzn