Brian McBride is maintaining an RDF issues list. Mike will try to compare that with our list of RDF issues developed before the RDF Interest Group meeting and any subsequent additions.
Pat Hayes expressed an interest in joining the RDF Core WG as an invited expert. ACTION (Mike): Pass this along to the chairs.
We're pleased that DAML+OIL is being taken seriously by them. There was consensus that Tim Finin would be an excellent liaison between the DAML and FIPA groups.
Rules will add complexity. We may need to define rule superset of DAML subset. Pat noted that chaining and branching is what explodes the complexity. Deb noted that everyone focuses on worst case vs. average case complexity. Knowledgeable users of Classic learned how to stay away from the edge. However, it's generally an open research problem to compute average complexity.
Pat felt we "should give the world the languages it wants with warnings". ACTION (Pat): develop a strawman proposal for rules.
Deb suggested that we may want to involve Marie-Christine Rousset and Alon Levy, who have a lot of experience in marrying DLs with Horn clauses.
Frank noted that there was widespread dissatisfaction among EU folks regarding our emerging consensus last week that language subsets just be defined by guidelines. They want more precise levels. Pat commented that even guidelines must still be precise. There was an analogy of a document with paragraphs vs. libraries of documents.
Pat provided some walkthru feedback: it was not obvious to folks at UWF how to connect classes and properties. ACTION (Pat): summarize in email and/or supply new walkthru text.
On May 8, we'll plan to review the strawman rules proposal from Pat.
On May 15 (if Dan is available), we'll plan to discuss daml:imports
.
$Id: 2001-04-24.html,v 1.8 2001/05/29 14:14:58 mdean Exp $