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

>Hi Vipul,
>
>Yes, that's exactly what I meant.
>
>-Kei
>
>Kashyap, Vipul wrote:
>
>>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.

Whoa. This isn't higher-order, even with 
variables. In fact its within OWL-DL, which is a 
tractable subcase of first-order. So relax, go 
ahead and write your ontologies, there is a very 
good chance that you will be able to get your 
inferencing done fairly effectively, even on 
quite large data sets.

Pat

>>
>>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)?
>>>>     
>>>>

-- 
---------------------------------------------------------------------
IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Monday, 5 March 2007 16:03:07 UTC