July 03, 2001

Attendees:
Mike
Deb
Ian
Richard Fikes
Steffan
Jim H. 


Announcements:
None...

Agenda:

minutes from June 26 - approved.

A Problem With The Semantics of DAML+OIL Restrictions
  
  sounds like everyone seems to agree to say that the semantics
  explain this, but just don't do it.

  Richard:  This sounds like something people might want to do?

  If you use it you are asking for trouble?

  Perhaps the walkthrough will have a style recommendation

  Thanks to Richard!!


current PI Meeting plans (still subject to final changes) [3]

  1-hour language plenary intro Wednesday

  each of 18 teams gets 15 minutes Thursday
    
    death by view graph ... only fun

  2-hour language breakout session Friday morning

    first half to reasoning at least.
    
    Submission script so people can submit their own ideas.  We will
    sign off on some and others will be listed as "other" - Mike Dean

    Richard will co-chair the reasoning session.


    Jim: To us it is apparent why Ontologies add power.  Not everyone
    sees this.

introduction of rules proposal, if available (Pat, Stefan)
	     
	     Stefan:  disclaimer.  This is a very early draft. 
	     
	     DAML-RULES ... RDF based language
	     
	     Will be layered. 
	     
	     two syntaxes ... conventional and rdf-based (for shipping
	     daml+rules and daml-rules together in one document).

	     basic features(listed in the first couple pages):
		   namespace
		   a set of predicates
		   

	    Jim: questions about rules ... not sure I understand the
	    document

	    these are rdf rules not daml rules ... don't think they
	    should be called that.

	    N3 to RDF converter URL...http://swag.semanticweb.org/n3tordf

	    what properties should the rules language have? 

		 The predicates (?) or the rules should be pieces of
		 DAML.  And although DAML is RDF triples, not all RDF
		 triples are DAML.

	   are we talking about an inference system or a rewrite
	   system?  not sure that anyone is talking about rewrite ...

	   Stefan will work on fleshing out an upper level ... built
	   in DAML+OIL?

observations on DAML-S (Ian, et al) -- deferred until next week.