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

genus-differentia logicalDefinitionAxioms should have one or more restrictions #75

Open
cmungall opened this issue Jun 25, 2021 · 1 comment

Comments

@cmungall
Copy link
Member

cmungall commented Jun 25, 2021

it looks like fromOwl is translating A=B axioms to logicalDefinitions with no restrictions

See https://raw.githubusercontent.com/julesjacobsen/obographs/immutables/examples/hp.yaml

@julesjacobsen
Copy link
Collaborator

@cmungall can you give an example of the OWL input and expected YAML output for this issue? The example you gave appears to have these.

 logicalDefinitionAxioms:
  - definedClassId: "http://purl.obolibrary.org/obo/CL_0000005"
    genusIds:
    - "http://purl.obolibrary.org/obo/CL_0000057"
    restrictions:
    - propertyId: "http://purl.obolibrary.org/obo/RO_0002202"
      fillerId: "http://purl.obolibrary.org/obo/CL_0000333"
  - definedClassId: "http://purl.obolibrary.org/obo/CL_0000014"
    genusIds:
    - "http://purl.obolibrary.org/obo/CL_0000039"
    restrictions:
    - propertyId: "http://purl.obolibrary.org/obo/RO_0002215"
      fillerId: "http://purl.obolibrary.org/obo/GO_0017145"

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

No branches or pull requests

2 participants