Pat Hayes suggested some additions.
ACTION (Mike): draft additions
We should discuss the relationship of XML, RDF(S), and DAML+OIL. Ora might already have some text available.
The FAQ should solicit additions, to be sent to firstname.lastname@example.org.
Concerning the issue of gentle introductions to building ontologies, Deb referred people to her 10 year-old "Living with Classic" paper. She also pointed us to an ontology 101 paper which uses the living with classic ontology as a starting point. An update for DAML+OIL would be valuable. Deb volunteers to co-author.
Peter noted that there are 2 ways of doing rules: rules of inference and action rules -- most folks want rules of inference.
GENRULES could be a subset of a CARIN-like RULES4DAML.
Ian noted that we're in relatively uncharted territory, compared to designing a Class-based language. CARIN (one of the few other efforts in this space) used a weaker DL than DAML (Classic) and weak rules to remain decidable. Its main agenda was to identify the boundary of decidability. CARIN has been implemented and people are using it.
GENRULES is similar to RuleML, but perhaps less general. It wouldn't necessarily preserve DAML semantics.
CWM is an example/candidate for GENRULES, but would need more clearly defined semantics.
Ian noted that Classic applications tend to have a small number of classes and a large number of rules.
Pat noted the need for rule interchange.
Rules can be used to implement/represent higher-level language features (e.g. computed classes), but there's concern about guaranteeing consistency of results when certain things can be expressed in both languages.
What's the schedule for DAML Rules? It's not required for the DAML PI meeting, but that would be a good opportunity to get feedback.
ACTION (everyone interested in rules): review CARIN
ACTION (Pat and Stefan): continue working on strawman proposal(s)
Mike, Ian, Peter, and (maybe) Frank will plan to call in from the OntoWeb Kickoff Meeting in Crete.
$Id: 2001-06-05.html,v 1.10 2001/06/26 21:18:06 mdean Exp $