Re: Minutes, WebOnt, 2003-05-29

I regretted
Wed, May 28 2003 Re: Agenda for telecon -- May 29 2003
http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0380.html

In the same message my action
> 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
didn't succeed
(is about the by RDFCore requested testcase
to show the need for owl:Class).

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/


                                                                                                                       
                    Sandro Hawke                                                                                       
                    <sandro@w3.org>          To:     www-webont-wg@w3.org                                              
                    Sent by:                 cc:                                                                       
                    www-webont-wg-requ       Subject:     Minutes, WebOnt, 2003-05-29                                  
                    est@w3.org                                                                                         
                                                                                                                       
                                                                                                                       
                    2003-05-29 09:20                                                                                   
                    PM                                                                                                 
                                                                                                                       
                                                                                                                       






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

Amendments:
   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:
   http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0349

Jeremy presented the issues, following his e-mail.

A) intersectionOf semantics

       http://www.w3.org/2003/05/29-webont-irc#T16-20-38

       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
       http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0116
       to change the semantics of intersectionOf and related
       connectives.

       (actions on Jeremy and Peter noted above)

B) B1, B2 in OWL DL Syntax

       http://www.w3.org/2003/05/29-webont-irc#T16-29-31

       Agreement that this was already agreed to by WG.

C) rdf:List decision by RDF Core

       http://www.w3.org/2003/05/29-webont-irc#T16-31-43

       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
       problem.

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

       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

       http://www.w3.org/2003/05/29-webont-irc#T16-39-07

       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

       http://www.w3.org/2003/05/29-webont-irc#T16-55-09

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

F) ambiguity

       http://www.w3.org/2003/05/29-webont-irc#T17-00-52

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

G) OntologyProperty

       http://www.w3.org/2003/05/29-webont-irc#T17-05-10

       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
       rules."

====== 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
http://www.w3.org/2002/12/open-issues?ml=public-webont-comments&realm=Public&period=May&year=2003

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 20:15:56 UTC