editing IN PROGRESS by Dan Connolly ,
based on notes from various scribes
$Revision: 1.16 $ of $Date: 2003/01/23 15:18:31 $ by $Author: connolly $
also: preliminary agenda of 26Dec
Morning:
Aim: propose final changes for LC (note: TEST document group will discuss next steps, implementations, etc.)
1200: Lunch
Presentation of 15-20 min. by each (potential) implementor on implementation status/plans
(expected presentations/demos:
Morning
expected outcome - Resolutions to move to LC by <date> for <period> for each document
discussion on which implementations would (potentially) cover which OWL features (i.e. construction the first implementation matrix)
1200-1330: Lunch
from IRC notes starting 09:07:51Z and WG membership records and registration data, internal reg data
Invited participants:
invited from Stanford, Protoge developer
UMD MINDSWAP
swi-prolog
excused: Barnette, Eshelman, Euzenat, Fensel, Finin, Hori, Kravtsova, Maedche, Marchiori, Motta, Pike, Trastour
regrets: Buswell (2nd day), Borden, Gibbins, Hayes, Klein, Lassila, McGuinness (remote only), Obrst, Sabbouh, Shimizu, Michael Smith, Stein, Thompson, Wallace
??: Brysse, Iannuzzelli, Jeckle, Olivry, Sintek, Ned Smith, Stickler, Yanosy
Hendler presented Frank van Harmelen with the owl.owl award for brokering the semantic truce in Bristol.
photo by Bijan
Hendler: editors: pls note new copyright statement updated for 2003 and INRIA->ERCIM transition.
We went round the table, giving comments on the WG documents. seeIRC notes starting 09:13:03Z
Some email comments were noted:
ACTION Carroll: - add suvj pred aClass test case in I5.3 (09:43:01)
ACTION Carroll: - check sameInstanceAs/sameClassAs tests for FULL clarify different semantics (09:58:38)
No decisions were made.
informal notes in irc notes start at 10:52:53Z
After some discussion of informative material (esp. role/purpose of Reference and Feature Synopsis), break-out groups were formed:
we resumed in plenary at 13:33:26 (per IRC notes) to debrief from the break-outs.
ACTION Welty: explain that "in OWL Lite, all names need types" in the guide (13:43:49)
ACTION Carroll: writes a section about the constraints to go from RDF to OWL-DL/LITE (13:56:05)
No decisions.
@@presentation materials?
ACTION IanH: explain how to say "range of P is A union B" in owl lite (15:07:55)
@@presentation materials?
@@presentation materials?
@@presentation materials
@@presentation materials
in which Jos was nominated for the 2nd owl.owl award for demonstrating running code passing (all?) our tests.
@@presentation materials
also:IRC notes 17:29:33
Chris Welty reports back from break out group; see
We adjourned for the day at 17:39:16, and headed to the pub...
ircnotes [09:20:33]by pfps
Connolly explains W3C last call process, associated risks, and an exemplary last call review summary (aka disposition of comments), how to request CR/PR, and other collected wisdom from the Art of Consensus guidebook.
seeirc notes starting 10:27:20
Hendler reviews technical relationships between Lite, DL, and Full, test methodology, and the difference between defining/checking conformance and demonstrating implementation experience.
The WG discussed the costs and benefits of specifying conformance of classes of software in addition to the (unanimously supported) specification of classes of documents.
12:01:19
RESOLVED: add a test document section for Syntax checker
that can tell the difference between OWL sublanguages
Abstain: Connoly, Hendler
ACTION Carroll: to add a test for syntax checker
ACTION Patel-Schneider: add definition of OWL Lite
document
12:09:44
RESOLVED: The test document should specify the conformance clauses for OWL Lite, DL, and FULL documents
[13:58:13]
RESOLVED: that the OWL test document shall specify
conformance of consistency checkers {Lite, DL, Full} x {Incomplete,
Complete}. Complete is to be understood as "Logically complete". DeRoo,
Hendler, Connolly, De Roure Abstaining,
Action: De Roo
discussion of
[14:11:31] RESOLVED: Req Doc to be included in last call
(i.e. Recommendation track); abstains IanH, Patel-Schneider
ACTION Schrieber: to get it into road map
ACTION Hefflin: update terminology (e.g. object) in requirements document
RESOLVED: to publish Requirements as a WD, subject to
editorial discretion.
ACTION Heflin.
ACTION Connolly: figure out privacy, security risks / issues in spec
discussion of
ACTION Caroll: teach sean bechhofer, peter crowber editing/creating tests
Action De Roo: Put examples from guide into test suite (done 14Jan)
RESOLVED: to close the AllDifferent issue using an
AllDifferent class and a distinctMembers property (to be elaborated by the
semantics editors). Connolly, Carroll, Bechhofer, Dale, Volz, Horan
abstaining.
ACTION guide editor (Welty)
ACTION semantics editor (Patel-Schneider)
ACTION ref editor (Dean).
ACTION Patel-Schneider: relay feedback on
parseType="Collection"
seeirc notes starting 15:48:59
Discussion of
RESOLVED: to publish Guide as last call, after edits as
actioned in this ftf and editorial discretion, subject to review by Guus and
Jeff H. Carroll, ter Horst abstaining
ACTION Welty: provide guide last call candidate by 15Jan
ACTION Schreiber: to review by 21Jan
ACTION Heflin: to review Guide by 21Jan
ACTION Connolly: to publish Guide, after Welty/Guus/Hefflin
do their part of Guide.
Discussion of taking Abstract Syntax and Semantics to last call exposed outstanding technical issues.
ACTION Carroll: investigate this issue (rdfs:Literal
etc.) in RDFCore
ACTION JimH: ask SemWeb CG about RDF model theory.
ACTION Patel-Schneider: write to webont WG (only to webont
WG) about the impact of this on OWL.
Ongoing reviews of various sections of the semantics document were noted:
ACTION Carroll: review AS & S Section 4
ACTION Horrocks: review AS & S Appendices
Also...
ACTION Patel-Schneider: keep Dave Beckett informed of status of his comments.
Connolly explained the critical path:
some epsilon later...
at least 3 weeks later...
approx 2 weeks later
exactly 4 weeks later
approximately 2 weeks later...
We discussed schedule details up thru last call publications...
test last call candidate hoped/planned.
Semantics reviews due (ACTION ter Horst, Pan) Decide to take Semantics to last call.
Ref last call candidate due 20 Jan.
Overview (nee Feature Synopsis) draft hoped for by 20Jan
Ref reviews due (ACTION Volz, Carrol/HP, Hendler)
test reviews due (ACTION Connolly, Stanton)
RESOLVED: to thank the hosts, with applause.
The meeting was adjourned at 17:20Z.