ADMIN: Teleconference Minutes for August 1, 2002.

WEB ONTOLOGY WORKING GROUP
Teleconference Minutes
Aug 1, 2002 (1200 US East Coast)

Chair: Jim Hendler
Scribe: Mike Smith

IN ATTENDANCE:

 Jeremy Carroll
 Dan Connolly
 Jonathan Dale
 Jos De Roo
 Mike Dean
 Larry Eshelman
 Ziv Hellman
 James Hendler
 Ian Horrocks
 Ruediger Klein
 Ora Lassila
 Deborah McGuinness
 Leo Obrst
 Marwan Sabbouh
 Michael Smith
 John Stanton
 Evan Wallace
 John Yanosy

REGRETS

 Jonathan Borden
 Tim Finin 
 Nick Gibbins
 Pat Hayes
 Jeff Heflin
 Peter F. Patel-Schneider 
 Guus Schreiber 
 Lynn Andrea Stein
 Herman ter Horst
 Lynne R Thompson
 Raphael Volz
 Christopher Welty

1 - Admin:

1.1 Face to Face updates

 Face to Face 5 vote announcement (URI to be provided soon)

JH: Announce result of straw poll next meeting

 Face to Face 4 update

Jeremy: Sent mail describing location of created page. 
Hotel issue resolved next week. In-town, 2 star vs. 4 star.
See http://www-uk.hpl.hp.com/people/jjc/webont/webontOct.html

JH: Voting is by organization. If multiple people coming, add comment.

1.2 Documents update (if any)

JH: Documents are out.  Special thanks to Dan Connolly for fixing
details of docs.

ACTION: JH to announce to RDF-Interest, and RDF-logic.

ACTION: Mike Dean, Deb McGuinness, Ian Horrocks.  To track responses to
docs, editors of released docs should monitor mailing list.  Can
subscribe by sending email to public-webont-comments-request@w3.org
with subject "subscribe".

1.3 ACTION ITEM REVIEW

ACTION: Pat will attempt to take abstract syntax, and Peter's MT and
    the mapping into RDF and will write a model theory in the Connolly
    style (i.e. as an extension to RDF MT) and see if he can identify
    the exact issues. Target deadline: three weeks (July 25). - change of
    due date to Aug 1.

STATUS: CONTINUED

This will also include one example.
    Evan Wallace and Larry Eshelman: contribute examples

Follow up action to Guus message re walk through examples.
Evan not sure how he got volunteered.   Drop him.

STATUS: CONTINUED (Larry E.)

ACTION: Evan will writeup a description of a recent OMG meeting that
    concerned UML and OWL, and the process he is running at OMG, and
    will post that to the WG.

In processs.
STATUS: CONTINUED

ACTION (Raphael): will make a large ontology available to test
    readers.

Raphael not here.
Hendler has some, as do others.  Set up links from web page.
Need translators from DAML to OWL.
STATUS: CONTINUED.

ACTION: Hendler produce test for issue 4.2

STATUS: CONTINUED

ACTION: ChrisW to propose resolution of 3.4 and 4.1

STATUS: DONE

ACTION: Dan C. to work with Pat H to reconcile the issues of missing
    discussion of model theory in the log

Dan has stuff, needs to edit record
STATUS: CONTINUED

ACTION: Jim H will set up a straw poll based on the offers - this
    will include choices of Dec/Jan and place

January looks much better.
STATUS: DONE

ACTION: DanC to review Deb's final edits of feature document.

STATUS: DONE

ACTION: Mike will summarize changes in email to the list. (by next week)

Did not happened, but doc is out.
STATUS: WITHDRAW

ACTION: Dan Connolly will set up F2F registering.

STATUS: DONE

ACTION: Jeremy will put up a web page by next telecon.

STATUS: DONE

ACTION: Lynn and Dan to get on phone for details of straw poll.

STATUS: WITHDRAWN

ACTION: Dan will send mail to the WG when W3C publishes the documents.

STATUS: DONE

ACTION: Jim will solicit reviews for appropriate working groups. By Aug.
    15

STATUS: CONTINUED

ACTION: Mike Smith will close this out (issues 3.4/4.1)

STATUS: DONE

ACTION: Jeremy to do TEST case (issue 3.4/4.1).

STATUS: DONE, but require modification

ACTION: Deb, Mike, Peter to reflect this change in their documents,
    prior to release (Issue 3.4/4.1).

STATUS: DONE

ACTION: Peter will send out longer note (re issue 4.6) and people to reply.

STATUS: DONE

2) TEST issues (Jeremy)

 2.1  Setting up a test manifold

 2.2 Kinds of tests

3rd msg of August points to test repository.
See http://www.w3.org/2002/03owlt/

functional properties directory discussed.

JH: 2 issues.  
Do we have 2 files, if so, what is in the second file.
Do we want to prioritize entailment or inconsistency test?

IH: Suggests inconsistency test. One file.  Else, have to go outside
the language.

JH: Can we have two kinds of tests? 

IH: Need consistent tests as well. (May be tricky to find model, where
a model exists, but it is not finite. E.g. infinite chain of mothers.)

IH: Suggested adding negation of conclusion to entailment tests and
checking.

DM: Such tests will only work with complete systems and would bias
against partial implementations.

Jos: Could be proved vs. could not be proved.

IH: Prefer response is yes, no, or don't know.

DM: Prefers 3 values. 

Discussion around possibility of having entailment test, inconsistency
test, or both.  Additionally, we may need consistency tests.

JC: Put test information in manifest file.

JC: Re this test.  Drop .rdf suffixes?  
DC: Use no suffix.

TEST 1: in the functional property test in
http://www.w3.org/2002/03owlt/FunctionalProperty/
premise001, conclusion001

RESOLVED: Accept TEST 1 as written (with .rdf suffix modification). 
          None opposed, one abstention (IH)
ACTION:   JC to remove .rdf suffixes

JC: Manifest.rdf will exist in http://www.w3.org/2002/03owlt/ that
will connect all of the approved test manifests together.

4) Create doc to explicitly list OWL changes from DAML+OIL.

JH: Solicit volunteers for this document.

ACTION: Mike Dean to add appendix and keep up-to-date.

3) AOB

NO MEETING August 8th

 Scribe for August 15th

JH: Will get scribe by email.

ADJOURNED: 1325 US East Coast

Michael K. Smith, Ph.D., P.E.
EDS - Austin Innovation Centre
98 San Jacinto, #500
Austin, TX  78701

phone: +01-512-404-6683
mailto:michael.smith@eds.com
www.eds.com

Received on Thursday, 1 August 2002 14:04:57 UTC