Minutes, WebOnt, 2003-05-29

Agenda:  http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0366
IRC log: http://www.w3.org/2003/05/29-webont-irc
Previous: http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0360

Next Meeting: 2003-06-05, Peter to scribe.  
Followed By:  2003-06-12, Charles to scribe.

====== Participants

Jeff Hefflin
Evan Wallace
Sandro Hawke (Scribing)
Jean-Francois Baget
Masahiro Hori 
Dan Connolly
Nick Gibbins
Ziv Hellman
Ian Horrocks
Peter Patel-Schnieder
Jim Hendler (Chairing)
Jeremy Carroll
Pat Hayes
Charles White
Sean Bechhofer (partial, with regrets)

====== Regrets

Marwan Sabbouh
John Stanton
Ora Lassila
Yasser alSafadi
Tim Finin
Leo Orbst
Mike Smith
Deborah L. McGuinness

====== Approval of Minutes

   Evan_Wallace regrets for last meeting missed.
   Action DanC, imports test, should have been "Continued"
Approved as amended.

====== Action Items (5 gone, 9 continued, 12 new)

(This long-lines format allows the next scribe to simply paste the
whole line into IRC.  If item is then "continued" line can be
re-entered with "RE: ACTION:" changed to "ACTION:".)

= = =  Completed

RE: ACTION: Peter Patel-Schneider and Jeremy Carroll to discuss solutions to bugs in RDF Semantics in Budapest http://www.w3.org/2003/05/29-webont-irc#T16-10-25
RE: ACTION: Jeremy Carroll to make changes to test document concerning datatypes, as discussed   http://www.w3.org/2003/05/29-webont-irc#T16-10-37

RE: ACTION: Sandro Hawke to do publishing of Test     http://www.w3.org/2003/05/29-webont-irc#T16-10-52

RE: ACTION: Jeff will post proposed response     http://www.w3.org/2003/05/29-webont-irc#T16-13-05

= = =  Dropped Without Completion 

RE: ACTION: Peter Patel-Schneider to work on proof for issue 5.26 B1,B2     http://www.w3.org/2003/05/29-webont-irc#T16-08-34
Transfered to Jeremy, as "send proof sketch..."

= = =  Continued

RE: ACTION: Jim Hendler to report back on implementation feedback.      http://www.w3.org/2003/05/29-webont-irc#T16-08-15

RE: ACTION: Jim Hendler and Dan Connolly to compose a response to the LC comment on local and compound keys.    http://www.w3.org/2003/05/29-webont-irc#T16-08-26

RE: ACTION: Dan Connolly publish XML syntax     http://www.w3.org/2003/05/29-webont-irc#T16-08-50

RE: ACTION: Mike Smith and Guus Schreiber will review  proposed changes to Guide and Reference for next telecom. (in re reference) http://www.w3.org/2003/05/29-webont-irc#T16-12-35

RE: ACTION: Mike Smith will pdate issue list 5.06  (in re: imports closure)     http://www.w3.org/2003/05/29-webont-irc#T16-13-23

RE: ACTION: Mike Smith to update issue list 5.20 about synonyms with the specific problem of owl:Class vs rdfs:Class    http://www.w3.org/2003/05/29-webont-irc#T16-13-31

RE: ACTION: Jos de Roo to propose a test based on the example given by peter     http://www.w3.org/2003/05/29-webont-irc#T16-14-20

RE: ACTION: Guus to propose a definition for "class description".     http://www.w3.org/2003/05/29-webont-irc#T16-14-31

RE: ACTION: Mike Smith to update the Guide glossary accordingly (possibly removing "class expression").    http://www.w3.org/2003/05/29-webont-irc#T16-14-49

= = =  New

RE: ACTION: DanC to get I18N WG review of last call specs, continued from ~17 years back 1/2;-)     http://www.w3.org/2003/05/29-webont-irc#T16-15-31

RE: ACTION: Jeremy add test: {a,b} unionOf {a} {b}     http://www.w3.org/2003/05/29-webont-irc#T16-28-55

RE: ACTION: Peter Change the documents to reflect this #2 in 116 change     http://www.w3.org/2003/05/29-webont-irc#T16-29-09

RE: ACTION: Jeremy Send proof sketch of extension to correspondence theorem with B1     http://www.w3.org/2003/05/29-webont-irc#T16-30-41

RE: ACTION: Peter review proof sketch of correspondence with B1 B2     http://www.w3.org/2003/05/29-webont-irc#T16-31-08

RE: ACTION: Jeremy equivalentClass with 4 components and no hamiltonian path     http://www.w3.org/2003/05/29-webont-irc#T16-41-28

RE: ACTION: Peter put  #349(D) change into S&AS     http://www.w3.org/2003/05/29-webont-irc#T16-43-57

RE: ACTION: Jeremy to propose response to owlsas-rdfcore-bnodes-restrictions, including new issue and proposal to postpone     http://www.w3.org/2003/05/29-webont-irc#T17-00-30

RE: ACTION: DanC and Jeremy to review Sean's text for non-normative inclusion into some OWL document     http://www.w3.org/2003/05/29-webont-irc#T17-14-11

RE: ACTION: DanC to bring up QA review of OWL Semantics with WG     http://www.w3.org/2003/05/29-webont-irc#T17-17-18

RE: ACTION: PatH to follow-up to http://lists.w3.org/Archives/Public/public-webont-comments/2003May/0003.html    http://www.w3.org/2003/05/29-webont-irc#T17-19-21

RE: ACTION: JimH to prepare definitive list of LC issues for next telecon     http://www.w3.org/2003/05/29-webont-irc#T17-25-03

====== Agendum: Review of "Beer conversation decisions"

As planned, Jeremy and Peter met in Budapest to try to work through various
issues.  They were generally successful.  Jeremy wrote this up, with
proposals for action: 

Jeremy presented the issues, following his e-mail.

A) intersectionOf semantics


       Jeremy sketched a test case: one of (John, Mary),
                                    one of (John),   
				    one of (Mary);   
       -> bigger class is union of two smaller classes
       but that doesn't follow under OWL Full right now.

       RESOLVED WITHOUT OBJECTION: Accept solution #2 sketeched in
       to change the semantics of intersectionOf and related
       (actions on Jeremy and Peter noted above)

B) B1, B2 in OWL DL Syntax


       Agreement that this was already agreed to by WG.

C) rdf:List decision by RDF Core


       Some discussion over whether syntax checking becomes harder if
       no type-triples on bNodes are present in the graph.  Jeremy and
       Sean (who have built such things) say it shouldn't be a

       Actual group decision awaits proof from Jeremy & review from
       Peter, but sense is that dropping type-triples on bNodes is

       Ian asks if this stretches to cover all RDF(S?) entailment;
       answer is "no".  This will be very clear if Sean's
       non-normative text on finding the OWL in any RDF graph is
       included somewhere (see below).

D) OWL DL syntax NP complete


       RESOLVED WITHOUT OBJECTION: to change the mapping rule as
       proposed in 349(D).

       Actions on Peter and Jeremy, noted above, as usual.

E) unnamed individuals


       An issue here should be raised so we can vote whether to
       postpone it.  (ACTION Jeremy.)

F) ambiguity


       Peter to draft reply, encouraged to make editorial changes
       which reduce confusion here.

G) OntologyProperty


       Two options here: fix a bug in OntologyProperty or just remove
       it entirely.  Is it a useful subProperty of AnnotationProperty?

       RESOLVED WITHOUT OBJECTION (Connolly and Hayes abstaining): do
       349(G) "peter and I [Jeremy] propose that we add an
       ontologyproperty directive which mirrors the annotationproperty
       directive in the abstract syntax, with appropriate mapping

====== Sean's Text

JimH: Sean has proposed backwards mapping....
DanC: which doc would it end up in?
JimH: Reference, as appendix, would be my guess.

ACTION DanC and Jeremy to review it (details above)

====== DanC runs through LC comments

Dan used
to quickly look at open issues.  List archives were not working
properly and many people could not follow, including scribe.

Some scribles http://www.w3.org/2003/05/29-webont-irc#T17-19-01

Action on PatH to follow up on one item (details in action list
above), and on JimH to draft definitive list of next meeting.

DanC: If you close issues before the end of the month, the issue
tracking software works better!

====== Adjourn.

Received on Thursday, 29 May 2003 15:20:55 UTC