>Ian, > >Are you saying that the use of List is restricted to defining DAML >itself? Or is it legal for an >ontology to define a property whose range is daml:List? (I >understand now that the items in a >List are unordered, I just want to find out whether I can use List >in my own definitions or not.) I think the best answer is NO. Or at any rate, if you do use it, there is absolutely no guarantee that what you write will make any sense to a DAML reasoner, and it may even have paradoxical consequences. It might have been better, in retrospect, to have used some other name than 'daml:List' for this construction, eg 'daml:PrivateSyntaxConstructionNotForGeneralUse'. Pat Hayes -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayesReceived on Monday, 18 February 2002 19:42:46 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:49 GMT