- From: Kashyap, Vipul <VKASHYAP1@PARTNERS.ORG>
- Date: Mon, 5 Mar 2007 12:37:18 -0500
- To: "Pat Hayes" <phayes@ihmc.us>, "kc28" <kei.cheung@yale.edu>
- Cc: "Alan Ruttenberg" <alanruttenberg@gmail.com>, "HCLS" <public-semweb-lifesci@w3.org>
Thanks for the response, Pat, That's quite a relief to hear. ________________________________ >>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. [VK]... The fact that X, Y, and Z range over classes (and laziness :)) is what made me think that. Glad to heat that this is not the case. ---Vipul 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 Monday, 5 March 2007 18:05:38 UTC