Re: bams class style model

hi alan,

> I notice that you use has_part and part_of in the definitions.  
> Remember that each is a all-some statement, so perhaps verify that  
> that is true. e.g. a has_part some b = every a has some b as a part.  
> a part_of some b = every a is part of some b. Sometimes only one or  
> the other direction is true.

Now that you mention it, for each part, I think I need all of the following 
for is_direct_part_of and has_direct_part:

X is_direct_part_of only Y
X is_direct_part_of some Y
X has_direct_part only (P or Q or ...or W)
X has_direct_part some P
X has_direct_part some Q
   .
   .
X has_direct_part some W

Similarly, I think I need the same scheme for each of:

has_direct_target
has_direct_target
cell_has_molecule_within
part_has_cell
part_has_molecule_in_region

I also suggest using has_direct_target as a subproperty of has_target and 
has_direct_source as a subproperty of has_source.

jb


Quoting Alan Ruttenberg <alanruttenberg@gmail.com>:

> 
> Hi John,
> 
> Great progress!
> 
> I think I would choose a single name and then have e.g,  id and  
> abbreviation be properties of it. You can use annotation properties  
> for these. Then remove the "by" layer of the ontology - these lists  
> can be regenerate on demand via e.g. a sparql query.
> 
> I notice that you use has_part and part_of in the definitions.  
> Remember that each is a all-some statement, so perhaps verify that  
> that is true. e.g. a has_part some b = every a has some b as a part.  
> a part_of some b = every a is part of some b. Sometimes only one or  
> the other direction is true.
> 
> Speak to you soon,
> 
> Best,
> Alan
> 
> 
> On Mar 19, 2007, at 8:18 AM, John Barkley wrote:
> 
> >
> > For another one of my action items, I put on the wiki demo page:
> > http://esw.w3.org/topic/HCLS/HCLSIG_DemoHomePage_HCLSIG_Demo
> > a reference to the initial bams class style model and an updated  
> > bams instance
> > style model. In both, I made the properties "has_source" and  
> > "has_target"
> > transitive. Please let me know if this is not correct.
> >
> > There are no instances in the class style model. It is in the style  
> > of the
> > Pizza tutorial
> > (http://www.co-ode.org/resources/tutorials/ProtegeOWLTutorial.pdf).
> > You may notice that the model is OWL Full, but that's only because  
> > there is an
> > annotation property "has_bams_URL". Reasoners generally ignore  
> > annotation
> > properties.
> >
> > jb
> >
> >
> >
> 
> 
>

Received on Monday, 19 March 2007 19:43:13 UTC