From: Joseph Coffman (jcoffman@bbn.com)
Date: 11/09/01
>At 9:08 AM -0800 11/8/01, Deborah McGuinness wrote: > >I am willing to collect such idioms. > >Please send me > >1 - english of a statement you want to make > >2 - a daml solution (if it is tricky, an english paraphrase first is > useful). > > > >I have a start at such a collection since I wrote the "tricks of the > >trade" section > >of the "how and when to live with a kl-one-like language" [1] paper > >many moons ago. > >I generated that from working with users of classic and seeing how > >and when they > >were confused in their modeling tasks. > >That was for a mostly less expressive language than daml+oil > >(although interestingly > >enough would have happily been able to say the thing that jeff > >wanted to say since > >it did have same-as as a constructor). > > > >[1] > >http://www.ksl.stanford.edu/people/dlm/papers/living-with-classic-abstrac > t.html > > > >d > >while I think this is useful, I think a human-readable solution isn't >going to get very far -- we need to figure out new and better ways to >do this (example, come up with simpler language features and make the >logic reasoners work a little harder) - just a thought > -JH >-- >Professor James Hendler hendler@cs.umd.edu >Director, Semantic Web and Agent Technologies 301-405-2696 >Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) >AV Williams Building, Univ of Maryland College Park, MD 20742 >http://www.cs.umd.edu/users/hendler Joseph Coffman 703 284 8624 703 486 4567 BBN Technologies A Verizon Company
This archive was generated by hypermail 2.1.4 : 04/02/02 EST