June 6, 2001

Attendees:
Peter
Jeff
Deb
Mike
Stefan
Ian
Pat

Announcements:
Minutes from last week ... approved.

Agenda:
Web Ontology Group ... Jim (wait for Jim)
 

DAML Rules ... Pat (wait for Pat and others)
Stefan to talk about this:
       Any questions or additions or oppositions?
       
       Two ways of doing rules:  Rules of inference and action rules.  

       We all sit on the inference side, there is just a difference in
       where on that side we sit.

       Mike: Inferring things that will break the semantics?  Stefan:
       There is nothing guaranteeing that the rules won't draw
       conclusions that break RDF.  We could perhaps check for this
       ... maybe by saying you can't conclude a daml+oil statement
       (you can't conclude a disjointOf for instance).

       Action Item: All (those interested in designing a rule
       language) review Rule

       Mike: Is there a reason to hardwire certain things, or can you
       just use the general statements (?)  Might need Pat.  Perhaps
       enough discussion in the email to be sufficient

       Perhaps we need to go with the quick and dirty (?) which is not
       specifically about / with DAML semantics ... and it could be a
       jumping off point for a rules with DAML semantics.

       Like RuleML?  Somewhat similar.  They were thinking of how to
       incorporate RDF into one of their languages.  Difference, they
       mean a very general programming language, and we are talking
       about a rule language which makes it easier to reason with
       different RDF vocabs.

       The point is not to give people something like CWM but to give
       people the way to write things like CWM

       So if you want something different from Stefan ... what's your
       alternative solution :)

       Next Steps: We have a deadline coming up soon?  What is
       expected?  Mike: seems to be a pre-runner to WebOnt.  WebOnt
       will include Rules (agree Deb)

       Pat / Stefan: carry on and see what they can come up with
       ... Draft version

FAQ ...
 
    Questions to add (what use is DAML to me; what should I use DAML
    for; DAML relationship to RDF, XML, etc;)

    Add a link to add a question?  Could be dangerous
    
    Comments (draft answers and then ask for comments is probably the
    faster way to get this done).
    

Layers ...
       Postponed until next week

       
Next Week: Many people traveling to Greece (also Finland? ... Go Deb)
so there may be time constraints ... we'll see