- From: Pat Hayes <phayes@ihmc.us>
- Date: Mon, 5 Mar 2007 10:02:52 -0600
- To: kc28 <kei.cheung@yale.edu>
- Cc: "Kashyap, Vipul" <VKASHYAP1@PARTNERS.ORG>, Alan Ruttenberg <alanruttenberg@gmail.com>, HCLS <public-semweb-lifesci@w3.org>
>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