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.

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

DO NOT MERGE: New AP for unilateral injection #551

Draft
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

dosumis
Copy link
Contributor

@dosumis dosumis commented Jan 14, 2022

Fixes #550

Have added OWL axiom as domain. Think it would be good if this is can restrict usage, but don't know if that might have unintended consequences (e.g. due to possibility of alternative reification patterns using RDF standards)

@cthoyt
Copy link
Collaborator

cthoyt commented Jan 14, 2022

@dosumis can you include a description on how someone would go about using this?

Suggestion: keep updating the issue text so this thread doesn't get long and out-of-hand, like many do in the OBO world ;)

Adding owl:Axiom as range
Added Justification and attempt at an example.
@dosumis
Copy link
Contributor Author

dosumis commented Jan 14, 2022

Have added attempt at justification & an example.

@matentzn matentzn changed the title Update ro-edit.owl DO NOT MERGE: New AP for unilateral injection Jan 20, 2022
@github-actions
Copy link
Contributor

github-actions bot commented Jan 5, 2023

This PR has not seen any activity in 90 days and has been marked as stale. If it is no longer needed, please close the PR. Otherwise, please update the PR with a status update.

@github-actions github-actions bot added the stale label Jan 5, 2023
@github-actions github-actions bot closed this Jan 13, 2023
@wdduncan wdduncan reopened this Jan 13, 2023
@github-actions github-actions bot removed the stale label Jan 14, 2023
@github-actions
Copy link
Contributor

This PR has not seen any activity in 90 days and has been marked as stale. If it is no longer needed, please close the PR. Otherwise, please update the PR with a status update.

@github-actions github-actions bot added the stale label Apr 15, 2023
@anitacaron anitacaron marked this pull request as draft July 7, 2023 14:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Annotation property for tagging unilaterally injected axioms
5 participants