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

Remove inferred equivalences #12

Closed
wdduncan opened this issue Aug 24, 2021 · 1 comment · Fixed by #13
Closed

Remove inferred equivalences #12

wdduncan opened this issue Aug 24, 2021 · 1 comment · Fixed by #13

Comments

@wdduncan
Copy link
Contributor

The relation-graph produce produces classes that are subclasses of each other. Here is the output from nmdco-relation-graph.owl:

fluid astronomical body part is a subclass of compound astronomical body part:

image

And compound astronomical body part is a subclass of fluid astronomical body part:

image

Unfortunately, I can't use robot reason b/c of incoherencies in ENVO. PO uses the domain and range constraints from RO. And the addition of these domains causes unsatisfiable classes, and a DL profile error. A ticket about lack of domain/range constraints has been filed for ENVO: EnvironmentOntology/envo#1182

But, there has not been follow up.

Jim B. suggested I could make a "base" version of PO, using robot like so:

pr-base.ttl: pro_nonreasoned.obo
    $(ROBOT) remove --input $< \
        --base-iri 'http://purl.obolibrary.org/obo/PR_' \
        --axioms external \
        --preserve-structure false \
        --trim false \
        --output $@

cc @cmungall @turbomam

@cmungall
Copy link
Collaborator

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants