Action item: All committee members – review Stefan’s proposal and be prepared to discuss it on Tuesday, May 22, 2001.
The committee did discuss some of the proposed changes.
Issue: Unique names assumption. The proposal suggested making the unique names assumption the default case.
Action item: Dan Connolly will write up his suggestion using unique properties.
Issue: It can be difficult to figure out which ontologies a class is associated with.
Action item: Dan Connolly will write up a suggestion for handling the issue.
Issue: Property Restrictions may not be seen as natural. Some people would like tools with syntactic sugar that makes defining things such as restrictions more natural.
Issue: What is an atom? One answer is that it is only a triple. Peter Patel-Schneider suggested that it could be considered to be any collection of connected terms. (References/suggestions to review Jimmy Crawford’s work (pfps will provide pointer) and Levy’s Karin work were made).
Issue: No one is acting as an editor for RDF-logic. The group agreed that while many questions were being answered that were posted to rdf-logic, no one was making sure that all queries were being answered. Additionally, no one is maintaining a FAQ. For now, it was agreed that if expectations are set appropriately, this is an acceptable solution for the moment. A suggestion was made that committee members who know of questions that have not been answered could make an effort to answer the queries.
Issue: Dan Connolly discussed a write-up he had recently done. Pointers are in last week’s logged IRC – Kelly, can you retrieve the pointers from the log (or give me a pointer to the log. I tried http://www.daml.org/committee/minutes/2001-05-15-irc.txt which did not work)?
The imports discussion was delayed.