From: pat hayes (phayes@ai.uwf.edu)
Date: 05/10/01
>I have a couple of questions - >1. Pat mentioned in previous email that he could not make the phone >meeting on may 8th but that he would attempt to get the strawman >proposal out. Will we have a strawman proposal? No, as you now know, you didnt (from me). Sorry I wasnt able to get back to y'all in time for the telethon. I thought coming up with this strawman would be easier than it is. My idea was simply to put together DAML and Horn clauses by thinking of a DAML assertion as an atom, and inventing some syntax for variables. However there are many complications that I had not forseen, including the fact that DAML is already so expressive that it would allow one to sneak past the Horn case by using constructs which while both positive atoms, have semantics which negate each other. So I am still wrestling with this matter. I will, HONESTLY, try to have something ready for next week even if it is only notes about why I can't do it. I am currently leaning towards adding Horn clauses to a subset of DAML selected to be 'minimal' in the sense that the rest of it can be defined in terms of the rules themselves, which might be independently handy as a way to home in on a 'DAML -lite' version. >2. In reviewing the notes, it is inconvenient that we cant just go to a >member list. Is there a way to make members of our committee invited >experts so that we may view the pages such as the one posted with the >member list? > >3. Dan and Peter - will you be joining the May 8th meeting and thus can >we have the imports discussion on the agenda? if not, are you available >May 15th for the discussion? >can one of you post the best url for review for that discussion? ON that matter, some discussion which might be relevant also surfaced on the SUO discussion lists. I proposed a KIF convention based on RDF/DAML ideas about name-prefixing to avoid name clashes when importing one ontology into another: http://www.manta.ieee.org/groups/suo/email/msg04489.html Robert Kent made some (I thought) useful comments and questions later in the thread: http://www.manta.ieee.org/groups/suo/email/msg04504.html which deserve to be thought about by DAML more generally. Pat --------------------------------------------------------------------- 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/~phayes
This archive was generated by hypermail 2.1.4 : 04/02/02 EST