There was agreement that the current DAML+OIL reference text
When there are multiple restrictions listed as part of a single Restriction element, the property P has to satisfy all of the restrictions (i.e., multiple restrictions are read as a conjunction).
is wrong or misleading.
ACTION (Ian and Frank): draft revisions to the reference and walkthru
Thanks to Richard for identifying this error.
Pat and others suggested that the Rules portion of the session focus on requirements for rules and experience in working with rules in DAML+OIL, rather than on a specific DAML Rules proposal.
ACTION (Mike): provide a submission script so people can submit their own ideas for this session.
There was a brief discussion of what people found most compelling about reasoning and rules. Jim noted that the SHOE project built lots of complex reasoners, but got the most benefit when they provided a simpler web interface (with an "advanced" button). They adopted the slogan "a little semantics goes a long way" and concluded that it was best to give people lightweight buy-in with powerful tools behind it.
Deb and Ian plan to meet at the PI meeting to update their "tricks of the trade" paper.
This is a layered proposal. The current proposal focuses on the lower layer, essentially providing structural manipulation rules (rewrite rules) for RDF. No one believes that rewrite rules are sufficient.
Jim and others expressed concern at referring to this lower layer as DAML Rules, since it doesn't use the features that DAML+OIL adds to RDF. He'd prefer to focus energy on higher levels that directly address DAML+OIL features (computed classes, equivalentTo, etc.).
There was also a desire that the examples focus on applications rather than DAML+OIL language constructs (e.g. uncle rather than subClassof).
There was discussion that a Horn clause at the DAML+OIL level may become something more complex at an RDF level (representing a change in logical form as you change levels).
There was some discussion about inference rules and integrity rules. Frank and Stefan are working on a paper to describe integrity rules.
ACTION (Stefan): flesh-out DAML+OIL level
ACTION (Mike): draft slides for the PI Meeting plenary language presentation.
We'll also plan to finalize the agenda for the Face-to-Face meeting in Nashua. Proposed topics include:
$Id: 2001-07-03.html,v 1.7 2001/07/10 21:47:04 mdean Exp $