RE: [Fwd: Re: cell types, brain regions mentioned in gensat]

I think what Kei is asking for (correct me if I got it wrong) is that he would
like the ability to define something of the following sort:

EquivalentClass(X, intersectionOf(Y, Restriction(locatedinBrainRegion
allValuesFrom(Z))

Is this what you had in mind? 

I guess, one could define macros (using the lisp backquote mechanism) where
these variables could be plugges in at run time and then sent to the OWL
reasoner.

As long as these variables are instantiated, you are OK, but without
instantiation you end up in higher order logics, which might be beyond OWL full.
So that will not be feasible.

Am not sure if read your right, though?

---Vipul

> > On that page, it describes the following OWL axiom example:
> >
> > *EquivalentClass*(CerebellarPurkinjeCell *intersectionOf*
> > (PurkinjeNeuron, *Restriction*(locatedInBrainRegion *allValuesFrom*
> > (Cerebellum)))
> >
> > We can use a similar axiom to define the localization of a certain
> > type of neuron cell type (CA1 pyramidal neuron) in a particular
> > brain region (e.g., hippocampus). Due to my limited knowledge of
> > OWL, can this type of axioms/rules be parameterized (e.g., cell
> > type and brain region can be treated as variables)?
> 
> Not sure what you mean by parameterized here. Certainly we could,
> from a spreadsheet encoding this information, generate the
> appropriate classes.
> 
> Also, in LSW or (dig) one can easily construct one of these classes
> on the fly and ask what the equivalent, subclasses, and superclasses
> are.
> 
> To find all cells located in, e.g. Cerebellum you would ask for
> subclasses of
> 
> intersectionOf*(Cell, *Restriction*(locatedInBrainRegion
> *allValuesFrom*(Cerebellum))
> 
> Don't think I'd use locatedInBrainRegion though, probably just
> locatedIn, or partOf, or perhaps derivedFrom some PartOf if the cells
> were no longer in the brain (i.e. in a dish).
> 
> -Alan
> 






The information transmitted in this electronic communication is intended only for the person or entity to whom it is addressed and may contain confidential and/or privileged material. Any review, retransmission, dissemination or other use of or taking of any action in reliance upon this information by persons or entities other than the intended recipient is prohibited. If you received this information in error, please contact the Compliance HelpLine at 800-856-1983 and properly dispose of this information.

Received on Friday, 2 March 2007 21:03:30 UTC