1 / 14

Generating a minimal model

Generating a minimal model. Basic idea: What we think of as “relationships” are “existential axioms” They say what exists E.g. Nucleus SubClassOf part_of some cell If n1 is an instance of a nucleus, then there must exist some cell c1 such that n1 part_of c1 Chain together

amber
Download Presentation

Generating a minimal model

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Generating a minimal model • Basic idea: • What we think of as “relationships” are “existential axioms” • They say what exists • E.g. • Nucleus SubClassOf part_of some cell • If n1 is an instance of a nucleus, then there must exist some cell c1 such that n1 part_of c1 • Chain together • Historically GO axioms go ‘up’ but there is power in going ‘down’

  2. Sample ontology

  3. Fake pathway

  4. Axioms are inherited

  5. Make sure your reasoner is on

  6. JUST SAY NO!!!

  7. Generated individuals If some instance of bar_pathway exists, then all of these individuals must also necessarily exist – this is what the OWL class axioms tell us

  8. How does it work on GO? • x-signaling.owl

More Related