- From: Alan Ruttenberg <alanruttenberg@gmail.com>
- Date: Fri, 2 Mar 2007 16:06:51 -0500
- To: "Kashyap, Vipul" <VKASHYAP1@PARTNERS.ORG>
- Cc: "Kei Cheung" <kei.cheung@yale.edu>, "HCLS" <public-semweb-lifesci@w3.org>
It was the macros I had in mind. There's no such thing as a class variable in OWL, though blank nodes are like variables for instances. -Alan On Mar 2, 2007, at 4:03 PM, 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. > > 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:07:46 UTC