Skip to main content
# Table 2 Translation between variables in EQ templates and logic based OBO or OWL class intersections

From: Integrating phenotype ontologies across multiple species

EQ syntax | OBO syntax | OWL Manchester syntax |
---|---|---|

E = <E> | Intersection_of: <Q> | <Q> that inheres_in some <E> |

Q = <Q> | Intersection_of: inheres_in <E> | |

E = <E> | Intersection_of: <Q> | <Q> that inheres_in some <E> |

Q = <Q> | Intersection_of: inheres_in <E> | and towards some <E2> |

E2 = <E2> | Intersection_of: towards <E2> | |

E = <E> | Intersection_of: <Q> | <Q> that inheres_in some <E> |

Q = <Q> | Intersection_of: inheres_in <E> | and has_qualifier some <E2> |

M = <M> | Intersection_of: has_qualifier <M> |