Short presentation on design patterns for representing phenotypes using PATO and OBO Foundry ontologies in OWL. Includes issues with temporal modeling in OWL
2. red eye curly wing high blood pressure Invaginated placode thorax lacks wings ectopic leg Delayed chemotaxis
3.
4. Enumeration Class: CurvatureValue EquivalentClass: {flat curved} Individual: flat TYPE CurvatureValue DifferentFrom: curved Individual: fly-wing-00001 TYPE (Wing THAT hasCurvature VALUE curved) Individual: curved TYPE CurvatureValue DifferentFrom: flat FunctionalProperty: hasCurvature Range: CurvatureValue Alan Rector Representing specified values in OWL: “value partitions” and “value sets”. W3C note, W3C, May 2005. http://www.w3.org/TR/2005/NOTE-swbp-specified-values-20050517
5. Value partitions Class: CurvatureValue EquivalentClass: Flat OR Curved Disjoint: Flat Curved FunctionalProperty: hasCurvature Range: CurvatureValue Class: CurvedWing EquivalentClass: Wing THAT hasCurvature SOME Curved Individual: fly-wing-00001 TYPE CurvedWing Alan Rector Representing specified values in OWL: “value partitions” and “value sets”. W3C note, W3C, May 2005. http://www.w3.org/TR/2005/NOTE-swbp-specified-values-20050517
6. Value partitions Class: CurvedWing EquivalentClass: Wing THAT hasCurvature SOME Curved Individual: fly-wing-00001 TYPE CurvedWing ValuePartition: Curvature hasCurvature [Flat Curved] Alan Rector Representing specified values in OWL: “value partitions” and “value sets”. W3C note, W3C, May 2005. http://www.w3.org/TR/2005/NOTE-swbp-specified-values-20050517
7.
8.
9.
10. Temporal durations and non-rigid qualities OpticPlacode that hasQuality some (Flat that during some Stage11) and hasQuality some (Invaginated that during some Stage12) OpticPlacode that hasTimeSlice some (Slice that hasQuality some Flat and during Stage11) and hasTimeSlice some (Slice that hasQuality some Invaginated and during Stage12) ?????? OpticPlace that (hasQuality some Flat at Stage11) and (hasQuality some Invaginated at Stage12) ?????? OrganismPart subClassOf (hasQuality exactly 1 Curvature) Slice subClassOf (hasQuality exactly 1 Curvature) X
11. Higher level representations hasQuality some ?Q at ?Int hasTimeSlice some (Slice that hasQuality some ?Q and during ?Int) Syntax support: macro expansion FOL semantics - fluents (=> (hasQuality ?bearer ?quality ?interval) (and (hasTimeSlice ?bearer ?slice) (during ?slice ?interval) (hasQuality ?slice ?quality))) not reusable Tool support not fully satisfactory Intermediate representation / information model