search

geneontology / obographs

Basic and Advanced OBO Graphs: specification and reference implementation
64 stars 12 forks source link

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

Open cmungall opened 3 years ago

cmungall commented 3 years ago

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 commented 3 years ago

@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"