16:00:40 RRSAgent has joined #webont 16:00:46 Zakim has joined #webont 16:00:54 Zakim, this is WebO 16:00:55 ok, DanCon 16:01:12 +M_Smith 16:01:16 +??P45 16:01:18 Zakim, ??P36 is GuusS 16:01:19 +GuusS; got it 16:01:20 +??P43 16:01:22 DanCon has changed the topic to: WebOnt 18Jul http://lists.w3.org/Archives/Public/www-webont-wg/2002Jul/0129.html 16:01:27 mdean has joined #webont 16:01:27 Zakim, ??P38 is pfps 16:01:28 +Pfps; got it 16:01:35 +Jim_Hendler 16:01:40 +John_Stanton 16:01:49 jhendler has joined #webont 16:02:26 +DanC 16:02:42 +??P50 16:03:18 ChrisW has joined #webont 16:03:31 zakim, who is here? 16:03:33 On the phone I see GuusS, Ian_Horrocks, Pfps, ??P39, Mike_Dean, ??P41, ??P42, M_Smith, ??P45, ??P43, Jim_Hendler, John_Stanton, DanC, ??P50 16:03:34 On IRC I see ChrisW, jhendler, mdean, Zakim, RRSAgent, DanCon, pfps, IanH, herman, DDeRoure, schreiber, logger_1 16:03:59 +??P31 16:04:05 I am here 16:04:28 +Leo 16:04:30 larryE, NickG, Herman, Jos D, Welty, McGuinnes 16:04:31 zakim, JosdeRoo is ??P39 16:04:33 sorry, schreiber, I do not recognize a party named 'JosdeRoo' 16:04:52 zakim, ??P39 is JosdeRoo 16:04:54 +JosdeRoo; got it 16:05:05 ziv hellman 16:05:06 Zakim, Ziv is here 16:05:07 sorry, DanCon, I do not recognize a party named 'Ziv' 16:05:14 DeborahMc has joined #webont 16:05:24 +JeffH 16:05:25 "Regrets: van Harmelen, Volz, Miller, Dale, Klein, Finin" 16:05:30 -- from the agenda 16:06:05 Guus: regrets Wallace, ....? 16:06:11 Attendance: Guus, Ian, Peter, Mike-Dean, Mike Smith, Jim Hendler, John Stanton, Dan C, Larry, Nick, Herman, Jos, Chris, Deb, Ziv, Leo, Jeff H 16:06:58 Previous minutes accepted. 16:08:35 Minutes from f2f -- fixed the name space - extra "23" included 16:10:01 ACTION: chairs - find photo of face to face example from the discussion of model theory. 16:10:54 nmg has joined #webont 16:14:48 -GuusS 16:15:19 + +1.850.202.aaaa - is perhaps PatH? 16:15:32 attandance: add Pat H. 16:15:51 +??P5 16:16:06 zakim, ??p5 is guus 16:16:07 +Guus; got it 16:16:38 +??P6 16:18:28 ACTION: Dan C. to work with Pat H to reconcile the issues of missing discussion of model theory in the log. 16:19:15 Resolved: accept the f2f minutes as a true record - but add the discussion of model theory breakout (see previous action) 16:19:25 Zakim, pick a scribe 16:19:26 Not knowing who is chairing or who scribed recently, I propose Leo 16:20:15 Attendance: Jeremy Carroll joined 16:20:23 ------- f2f discussion 16:20:51 Hi Pat (i.e. party from uwf.edu). try /nick PatH 16:21:06 Jeremy - what about hotel? should we do the one near HP or the one downtown? 16:21:15 hotels are comparable. 16:22:37 if I'm gonna go all the way to Bristol, I'd like access to a little bit of local culture. more than cows. 16:22:53 general opinion - try for city center 16:22:55 how do you know there IS more 16:23:29 Guus: fifth face to face -- assuming our revised schedule is accepted we need to plan a 5th f2f. 16:23:34 and maybe 6th 16:24:07 5th might want to be in Eastern US, probably in mid-Jan. 16:24:39 +??P7 16:25:05 attendance: Evan Wallace 16:27:03 We will take offers for one week - please send them to the mailing list. 16:27:58 +Jonathan_Borden 16:28:21 ACTION: Jim H will set up a straw poll based on the offers - this will include choices of Dec/Jan and place 16:28:32 Agenda+ 16:28:40 ------------------ 16:28:43 Action review 16:28:45 Dan: I have the webpage. Where exactly should I be looking? 16:28:59 Action - DanC subclassOf - continued 16:29:14 Action - OWL name space - in progress 16:30:03 PatH: "report back of the Model Theory team" starts http://www.w3.org/2002/07/02-webont-irc#T23-02-33 16:30:12 Action - Pat Model theory - due July 25 - will be Aug 1 16:30:39 Action Guus - guide format - Continued 16:32:16 Action Evan - writeup of UML and OMG - continued - aim for July 25 16:32:28 Action Deb - write up issue re Unique names - completed 16:33:08 I played around with the DAML validator in the last couple days... it was very useful. 16:33:20 I found about 25 bugs in a web of 7 ontologies. 16:33:27 Action - Jim and Mike D - Owl validator - action handled. (Validator in practice) 16:33:41 Action - tools - EVERYONE DO THIS - continued 16:33:53 JonB has joined #webont 16:34:05 Action Raphael - make large ontology available - continues 16:34:14 Action Hendler - test on issue 4.2 - cont 16:34:30 Action Welty - Unique name/Unambiguous - put on agenda for next week 16:34:57 yes, please let's add that to today's agenda 16:35:15 agenda+ try to close issue of uniquename 16:35:37 ACTION Patel-Schneider DONE. 16:35:42 action - peter - computational difficulties - done 16:36:05 action - connolly - use case for int. domain - done 16:36:25 action - Hays/Connolly - review abst syntax - Connolly done; Hays not done 16:36:29 Peter's action on example: http://lists.w3.org/Archives/Public/www-webont-wg/2002Jul/0096.html 16:36:57 action - Hays withdrawn on review of Abst Synt 16:37:03 action - ter Horst - review - done. 16:37:04 re my action for int. domain http://lists.w3.org/Archives/Public/www-webont-wg/2002Jul/0132.html 16:37:19 ----------- 16:37:31 ter horst review of ab syn: http://lists.w3.org/Archives/Public/www-webont-wg/2002Jul/0090.html 16:37:34 agenda - item inserted - straw poll on uniq/unamb names 16:38:16 ChrisW - proposal - names will be functionalProperty and inverseFunctionalProperty 16:38:51 proposed: FunctionalProperty and InverseFunctionalProperty 16:38:56 (note capitalization) 16:39:59 Chris - to date positive feedback - but no actual "against" 16:40:26 DanC - some webbies prefer manytoone and onetomany - Dan says he prefers, Evan agrees w/Dan. 16:40:54 mikes point is a good one... TransitiveProperty is from math-speak. 16:41:15 is the complete listing: transitiveProperty, functionalProperty, symmetricProperty, inverseFunctionalProperty 16:41:27 Evan - function means different things. Chris - manytoone and onetomany seem to imply "many" but of course it can be 1-1 16:41:39 DeborahMc, you're missing TransitiveProperty 16:41:45 oops; no you'ren ot. 16:42:37 Guus - maybe we've not yet seen all the proposals. 16:43:02 Ian - singleValuedProperty and InverseSingleValuedProperty 16:43:03 at the end of the day, this is an arbitrary decision; I'm greatful to Chris for taking the lead. I'm happy to offer him advice, and then I'm likely to accept whatever he proposes. 16:43:39 Guus - can you write a specific proposal for next week? 16:43:50 Chris - unclear - what do I do. 16:44:24 Dan - since you are issue owner, you choose your favorite, you propose that -- if it wins great, if not we return to the drawing board 16:44:24 ------------- 16:44:26 -??P6 16:44:30 Agenda Item 3 - documents 16:44:43 Feature synopsis document 16:45:50 Deb - I still have to add "nothing" to the full language 16:46:15 Guus - have you dealt with issues from Peter? Deb - working on them. Some have questions I'd like discussion on: 16:47:15 1) discussion of RDF - Deb - I describe what Owl does. what is the issue? 16:48:13 Peter - I just mean that OWL shouldn't be called a logic language (i.e. all of logic) - suggest rewording. 16:48:23 Deb - I will weaken. 16:49:46 ChrisW has joined #webont 16:50:01 Peter/Ian - we should have a definition of feature constructor? 16:50:03 peter's comments: http://lists.w3.org/Archives/Public/www-webont-wg/2002Jul/0089.html 16:50:04 Deb - should we use that term? 16:50:39 Ian - "class and property constructors?" - Deb, that's fine. 16:51:24 ACTION: Deb - add "property" to make sure we are using same terms. 16:53:52 ACTION: Deb to make sure names are same between her document and Mike's. 16:57:17 I coun't six grumbles 16:57:43 Jim - Peter, can you live with how it is? Peter - grumble, grumble, grumble, grumble (+ 2 more) 16:57:51 Peter - I guess so... 16:58:45 YOU CAN ALWAYS GRUMBLE, Ian 16:59:52 RESOLVED: to release this document pending Deb's final edits and Dan's review thereof 17:00:07 Resolved - Abstain (Peter, Evan) 17:00:24 ACTION: DanC to review Deb's final edits of feature document. 17:00:33 ------ 17:00:43 Mike Dean's document - 17:00:59 http://www.daml.org/2002/06/webont/owl-ref-proposed 17:01:06 There is a latest version 17:01:24 $Id: 18-webont-irc.txt,v 1.37 2002/07/18 17:37:21 swick Exp $ 17:01:46 main changes - incorporate what RDF has done (in collection) 17:02:02 some of the domain, range constraints changed by RDF 17:02:26 I 2nd the citing of the disjointUnionOf issue 17:02:43 cite two new issues - remove disjointunionof - issue of whether to have both rdfs:class and owl:class 17:03:05 Still addressing some issues Peter raised 17:03:19 the phrasing of the rdfs:class and owl:class issue... I disagree; seems close to my action on rdfs:subClassOf vs owl:subClassOf. I should follow up with mike on that.. 17:03:20 http://www.daml.org/2002/06/webont/owl.owl is now a proposed namespace document 17:03:42 adds some example of use of dublin core with ontology. 17:03:59 will try to update examples, but maybe not until after publication. 17:04:29 ACTION: Mike will summarize changes in email to the list. (by next week) 17:04:41 Guus - what about Peter's comments? 17:05:02 Mike - addressing them - have addressed the easy to fix ones, still working on others - will explain in the email 17:05:14 Mike - thanks to Peter for his feedback. 17:05:31 Dan - Mike are you asking for another week, instead of proposing to publish?? Mike, yes? 17:06:09 Deb - do you think any terms will change names? Mike - no, unless we resolve the unambiguous stuff. 17:07:04 q+ 17:07:35 I don't think the WG has reviewed mikes doc as much as debs. 17:07:45 Mike - I can have a new version by Tuesday for us to approve next week. 17:07:52 i.e. the WG just delegated the rest of the synopsis to deb and me; that hasn't happened for the lang desc. 17:08:14 q- 17:08:18 Peter - I want to look at the appendix in detail? 17:08:39 Mike - would like the feedback 17:09:16 Mike - can I remove the OIL refs? group concurs this is fine. 17:09:20 no opinion on removing "cf OWL OR" 17:09:28 (from me) 17:09:50 ACTION: Peter - will review appendix C. 17:10:01 rrsagent, actions? 17:10:01 I'm logging. Sorry, nothing found for 'actions' 17:10:39 rrsagent, show action items 17:10:39 I see 8 open action items: 17:10:39 ACTION: chairs - find photo of face to face example from the discussion of model theory. [1] 17:10:39 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-10-01 17:10:39 ACTION: Dan C. to work with Pat H to reconcile the issues of missing discussion of model theory in the log. [2] 17:10:39 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-18-28 17:10:39 ACTION: Jim H will set up a straw poll based on the offers - this will include choices of Dec/Jan and place [3] 17:10:39 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-28-21 17:10:39 ACTION: Deb - add "property" to make sure we are using same terms. [4] 17:10:39 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-51-24 17:10:39 ACTION: Deb to make sure names are same between her document and Mike's. [5] 17:10:39 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-53-52 17:10:39 ACTION: DanC to review Deb's final edits of feature document. [6] 17:10:39 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-00-24 17:10:39 ACTION: Mike will summarize changes in email to the list. (by next week) [7] 17:10:39 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-04-29 17:10:39 ACTION: Peter - will review appendix C. [8] 17:10:39 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-09-50 17:11:57 Peter - reminder, we should move the owl.owl to the appropriate namespace - DanC working on that 17:11:59 ------------ 17:12:06 3.3 - Abstract Syntax document 17:13:16 correct URI - http://lists.w3.org/Archives/Public/www-webont-wg/2002Jul/0093.html 17:13:35 which goes to -- http://www-db.research.bell-labs.com/user/pfps/owl/specification.html 17:13:50 Peter - Herman, did I address the things you cared about? 17:13:58 Herman - I think it is okay 17:15:17 Peter - some other issues are problems with punctuation caused by mailers. 17:15:34 Guus - Dan, you were okay so far? Peter - yes. 17:16:08 Peter - added examples, will check them carefully 17:16:42 Dan - I am okay with publishing this in the current form 17:17:14 Resolved - to release the Abstract Syntax document after final edits by Peter. 17:18:12 Resolution passes Abstention(Hendler) 17:18:50 -------------- 17:21:01 Discussion of release of Mike's document. 17:21:52 Mike agrees changes are basically editorial 17:22:41 Resolved: to release Mike's document pending editorial changes and favorable review of Appendix C 17:22:54 RESOLVED: 17:23:11 Guus - I thank the editors for all the hard work (Jim H agrees) 17:25:01 Dan - 10 min extension to discuss press release. 17:25:06 Dan - Press release 17:25:16 1) three bullets about why the world should care 17:25:32 2) draft press release and have Janet Daley work w/it 17:25:44 3) Costs money - so needs to be convinced it is worth her money 17:26:01 4) quotes are hard - but can have endorsements page (we probably wouldn't do that) 17:26:10 5) list members of org in press release 17:26:27 (doing endorsements for a WD is probably not needed) 17:26:51 This goes out on PR newswire. 17:27:10 does this tend to have good pickup? Dan - tends to get picked up on web pubs 17:27:25 even w/o press release we tend to get pickup 17:29:03 ChrisW has joined #webont 17:29:55 Resolution: W3C press release would be desirable - we endorse doing this. Jim H to draft, limited time for WG to interact. 17:30:03 RESOLVED: 17:30:29 -??P42 17:30:40 ACTION: JimH to draft press release - solicits input ASAP from WG members. 17:30:47 ------- 17:31:16 AOB 17:32:34 One item of AOB - Nick Gibbins was awarded his PhD at our graduation ceremony this afternoon :-) 17:32:56 Yay Nick! 17:33:09 Congratulations! 17:33:26 WOWG adds our congrats to Nick. 17:33:53 ADJOURNED 17:33:59 -??P50 17:34:08 -M_Smith 17:34:09 -??P7 17:34:10 -Guus 17:34:11 -Pfps 17:34:12 -??P41 17:34:12 -Mike_Dean 17:34:13 -JosdeRoo 17:34:14 -JeffH 17:34:14 rrsagent, what are the actions? 17:34:14 I see 9 open action items: 17:34:14 ACTION: chairs - find photo of face to face example from the discussion of model theory. [1] 17:34:14 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-10-01 17:34:14 ACTION: Dan C. to work with Pat H to reconcile the issues of missing discussion of model theory in the log. [2] 17:34:14 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-18-28 17:34:14 ACTION: Jim H will set up a straw poll based on the offers - this will include choices of Dec/Jan and place [3] 17:34:14 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-28-21 17:34:14 ACTION: Deb - add "property" to make sure we are using same terms. [4] 17:34:14 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-51-24 17:34:14 ACTION: Deb to make sure names are same between her document and Mike's. [5] 17:34:14 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-53-52 17:34:14 ACTION: DanC to review Deb's final edits of feature document. [6] 17:34:14 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-00-24 17:34:14 ACTION: Mike will summarize changes in email to the list. (by next week) [7] 17:34:14 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-04-29 17:34:14 ACTION: Peter - will review appendix C. [8] 17:34:14 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-09-50 17:34:14 ACTION: JimH to draft press release - solicits input ASAP from WG members. [9] 17:34:14 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-30-40 17:34:16 -??P31 17:34:18 -John_Stanton 17:34:20 -Leo 17:34:25 -??P45 17:35:20 -??P43 17:35:26 -Ian_Horrocks 17:35:52 -Jim_Hendler 17:35:53 -Jonathan_Borden 17:35:54 -PatH? 17:35:59 -DanC 17:36:00 SW_WebOnt()12:00PM has ended 17:36:01 rrsagent, bookmark 17:36:01 See http://www.w3.org/2002/07/18-webont-irc#T17-36-01 17:36:17 rrsagent, leave. 17:36:17 I see 9 open action items: 17:36:17 ACTION: chairs - find photo of face to face example from the discussion of model theory. [1] 17:36:17 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-10-01 17:36:17 ACTION: Dan C. to work with Pat H to reconcile the issues of missing discussion of model theory in the log. [2] 17:36:17 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-18-28 17:36:17 ACTION: Jim H will set up a straw poll based on the offers - this will include choices of Dec/Jan and place [3] 17:36:17 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-28-21 17:36:17 ACTION: Deb - add "property" to make sure we are using same terms. [4] 17:36:17 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-51-24 17:36:17 ACTION: Deb to make sure names are same between her document and Mike's. [5] 17:36:17 recorded in http://www.w3.org/2002/07/18-webont-irc#T16-53-52 17:36:17 ACTION: DanC to review Deb's final edits of feature document. [6] 17:36:17 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-00-24 17:36:17 ACTION: Mike will summarize changes in email to the list. (by next week) [7] 17:36:17 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-04-29 17:36:17 ACTION: Peter - will review appendix C. [8] 17:36:17 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-09-50 17:36:17 ACTION: JimH to draft press release - solicits input ASAP from WG members. [9] 17:36:17 recorded in http://www.w3.org/2002/07/18-webont-irc#T17-30-40