IRC log of webont on 2003-02-27

Timestamps are in UTC.

16:47:10 [RRSAgent]
RRSAgent has joined #webont
16:47:18 [Zakim]
Zakim has joined #webont
16:47:35 [jhendler]
zakim, this will be webont
16:47:36 [Zakim]
ok, jhendler
16:49:17 [jhendler]
zakim, this will be SW_WebOnt
16:49:19 [Zakim]
ok, jhendler
16:49:36 [jhendler]
RRSAgent, pointer
16:49:36 [RRSAgent]
See http://www.w3.org/2003/02/27-webont-irc#T16-49-36
16:51:46 [jhendler]
jhendler has changed the topic to: Webont WG telecon, Feb 27 2003, chair:hendler, scribe:baget
16:52:42 [jhendler]
RRSAgent, agenda is http://lists.w3.org/Archives/Public/www-webont-wg/2003Feb/0391.html
16:52:42 [jhendler]
I'm logging. I don't understand 'agenda is http://lists.w3.org/Archives/Public/www-webont-wg/2003Feb/0391.html', jhendler. Try /msg RRSAgent help
16:55:30 [jhendler]
agenda http://lists.w3.org/Archives/Public/www-webont-wg/2003Feb/0391.html
16:55:40 [jhendler]
zakim, the agenda is http://lists.w3.org/Archives/Public/www-webont-wg/2003Feb/0391.html
16:55:41 [Zakim]
I don't understand 'the agenda is http://lists.w3.org/Archives/Public/www-webont-wg/2003Feb/0391.html', jhendler
16:57:01 [jhendler]
agenda+ http://lists.w3.org/Archives/Public/www-webont-wg/2003Feb/0391.html
16:57:22 [nmg]
nmg has joined #webont
16:57:31 [Zakim]
SW_WebOnt()12:00PM matches both webont and SW_WebOnt
16:58:49 [ora]
ora has joined #webont
17:00:38 [pfps]
pfps has joined #webont
17:01:06 [pfps]
zakim, ??P5 is pfps
17:01:07 [Zakim]
sorry, pfps, I do not recognize a party named '??P5'
17:01:25 [IanH]
IanH has joined #webont
17:01:35 [pfps]
zakim, ??p5 is pfps
17:01:36 [Zakim]
sorry, pfps, I do not recognize a party named '??p5'
17:02:02 [jhendler]
zakim, I am [umd]
17:02:03 [Zakim]
sorry, jhendler, I do not see a party named '[umd]'
17:02:09 [pfps]
zakim, who is on the phone?
17:02:10 [jhendler]
zakim, who is here?
17:02:10 [Zakim]
sorry, pfps, I don't know what conference this is
17:02:11 [Zakim]
sorry, jhendler, I don't know what conference this is
17:02:12 [Zakim]
On IRC I see IanH, pfps, ora, nmg, Zakim, RRSAgent, jhendler, baget, logger
17:02:21 [jhendler]
zakim, this is SW_Webont
17:02:22 [Zakim]
ok, jhendler
17:02:26 [pfps]
zakim, ??P5 is pfps
17:02:27 [Zakim]
+pfps; got it
17:02:27 [Zakim]
+Evan_Wallace
17:02:29 [jhendler]
zakim, who is here?
17:02:30 [Zakim]
On the phone I see JeromeE, ??P1, M_Smith, pfps, ??P7, ??P8, +39.058.689.aaaa, ??P10, ??P11, ??P13, Ian_Horrocks, [UMD], Evan_Wallace
17:02:32 [Zakim]
On IRC I see IanH, pfps, ora, nmg, Zakim, RRSAgent, jhendler, baget, logger
17:02:33 [jjc]
jjc has joined #webont
17:02:40 [jhendler]
zakim, I am [umd]
17:02:41 [Zakim]
ok, jhendler, I now associate you with [UMD]
17:02:43 [Zakim]
+Tim_Finin
17:02:55 [jhendler]
zakim, tim_finin is JeffH
17:02:56 [Zakim]
+JeffH; got it
17:03:03 [Zakim]
+??P20
17:03:04 [Zakim]
+??P21
17:03:09 [jjc]
Zakim, who is speaking?
17:03:14 [jhendler]
zakim, ??p1 is jeremy
17:03:15 [Zakim]
+jeremy; got it
17:03:20 [Zakim]
jjc, listening for 10 seconds I heard sound from the following: JeromeE (29%), M_Smith (4%), ??P8 (5%), +39.058.689.aaaa (15%), [UMD] (25%), Evan_Wallace (20%), ??P21 (55%)
17:03:27 [jhendler]
zakim, who is talking
17:03:28 [Zakim]
I don't understand 'who is talking', jhendler
17:03:39 [jhendler]
zakim, listen
17:03:40 [Zakim]
I see Team_Ralph's(test), SW_WebOnt()12:00PM, SYMM_TTWG()12:00PM
17:03:47 [jjc]
Zakim, temporarilly mute P21.
17:03:48 [Zakim]
I don't understand 'temporarilly mute P21.', jjc
17:03:58 [jhendler]
zakim, mute ??p21
17:04:00 [Zakim]
??P21 should now be muted
17:04:02 [timfinin]
timfinin has joined #webont
17:04:16 [jhendler]
zakim, who is speaking?
17:04:19 [jjc]
Zakim, unmute P21.
17:04:20 [Zakim]
sorry, jjc, I do not see a party named 'P21.'
17:04:27 [Zakim]
jhendler, listening for 10 seconds I heard sound from the following: JeromeE (17%), jeremy (18%), M_Smith (26%), +39.058.689.aaaa (24%), [UMD] (34%)
17:04:28 [jhendler]
zakim, unmute ??p21
17:04:29 [Zakim]
??P21 should no longer be muted
17:04:52 [jhendler]
zakim, temporarily mute M_Smith
17:04:53 [Zakim]
M_Smith should now be muted
17:04:53 [jjc]
Zakim, who's on the call?.
17:04:55 [Zakim]
On the phone I see JeromeE, jeremy, M_Smith (muted), pfps, ??P7, ??P8, +39.058.689.aaaa (muted), ??P10, ??P11, ??P13, Ian_Horrocks, [UMD], Evan_Wallace, JeffH, ??P21, ??P20
17:04:56 [Zakim]
On IRC I see timfinin, jjc, IanH, pfps, ora, nmg, Zakim, RRSAgent, jhendler, baget, logger
17:04:57 [mdean]
mdean has joined #webont
17:05:08 [Zakim]
M_Smith should now be unmuted again
17:05:18 [jjc]
I am calling from +39
17:05:45 [jhendler]
zakim, aaaa is jeremy
17:05:47 [Zakim]
+jeremy; got it
17:05:57 [jjc]
I am now muted.
17:06:02 [jjc]
Zakim, who's on the call?
17:06:03 [Zakim]
On the phone I see JeromeE, jeremy, M_Smith, pfps, ??P7, ??P8, jeremy.a (muted), ??P10, ??P11, ??P13, Ian_Horrocks, [UMD], Evan_Wallace, JeffH, ??P21, ??P20
17:06:05 [jhendler]
zakim, JeromeE is baget
17:06:07 [Zakim]
+baget; got it
17:06:22 [jhendler]
zakim, temproarily mute baget
17:06:25 [Zakim]
I don't understand 'temproarily mute baget', jhendler
17:06:33 [jhendler]
zakim, temporarily mute baget
17:06:34 [Zakim]
baget should now be muted
17:06:48 [Zakim]
baget should now be unmuted again
17:07:01 [JosD]
JosD has joined #webont
17:07:37 [jhendler]
zakim, mute baget
17:07:39 [Zakim]
baget should now be muted
17:07:55 [jjc]
The unmute command is 60#
17:08:17 [Zakim]
+??P24
17:08:23 [baget]
OK.
17:08:26 [jhendler]
zakim, ??p24 is jos
17:08:27 [Zakim]
+jos; got it
17:08:30 [jhendler]
zakim, who is here?
17:08:31 [Zakim]
On the phone I see baget (muted), jeremy, M_Smith, pfps, ??P7, ??P8, jeremy.a (muted), ??P10, ??P11, ??P13, Ian_Horrocks, [UMD], Evan_Wallace, JeffH, ??P21, ??P20, jos
17:08:34 [Zakim]
On IRC I see JosD, mdean, timfinin, jjc, IanH, pfps, ora, nmg, Zakim, RRSAgent, jhendler, baget, logger
17:08:54 [jhendler]
zakim, [umd] is hendler
17:08:56 [Zakim]
+hendler; got it
17:09:04 [jhendler]
zakim, ??p7 is ziv
17:09:06 [Zakim]
+ziv; got it
17:09:12 [jhendler]
zakim, ??p8 is herman
17:09:13 [Zakim]
+herman; got it
17:09:21 [jhendler]
zakim, jeremy.a is ora
17:09:22 [Zakim]
+ora; got it
17:09:30 [jhendler]
zakim, ??p10 is timF
17:09:31 [Zakim]
+timF; got it
17:09:45 [jhendler]
zakim, ??p11 is yassar
17:09:46 [Zakim]
+yassar; got it
17:09:53 [jhendler]
zakim, who is here?
17:09:54 [Zakim]
On the phone I see baget (muted), jeremy, M_Smith, pfps, ziv, herman, ora (muted), timF, yassar, ??P13, Ian_Horrocks, hendler, Evan_Wallace, JeffH, ??P21, ??P20, jos
17:09:56 [Zakim]
On IRC I see JosD, mdean, timfinin, jjc, IanH, pfps, ora, nmg, Zakim, RRSAgent, jhendler, baget, logger
17:10:19 [ora]
zakim, unmute ora
17:10:20 [Zakim]
I don't understand 'unmute ora ', ora
17:10:23 [jhendler]
zakim, ??p13 is gibbins
17:10:25 [Zakim]
+gibbins; got it
17:10:37 [Zakim]
+??P25
17:10:39 [jhendler]
zakim, ??p21 is hori
17:10:40 [Zakim]
+hori; got it
17:10:46 [jhendler]
zakim, ??p25 is marwan
17:10:47 [Zakim]
+marwan; got it
17:10:52 [jhendler]
zakim, who is here?
17:10:54 [Zakim]
On the phone I see baget (muted), jeremy, M_Smith, pfps, ziv, herman, ora (muted), timF, yassar, gibbins, Ian_Horrocks, hendler, Evan_Wallace, JeffH, hori, ??P20, jos, marwan
17:10:56 [Zakim]
On IRC I see JosD, mdean, timfinin, jjc, IanH, pfps, ora, nmg, Zakim, RRSAgent, jhendler, baget, logger
17:11:05 [jhendler]
zakim, ??p20 is mikeD
17:11:06 [jjc]
The unknown mute is me
17:11:06 [Zakim]
+mikeD; got it
17:11:22 [ora]
I don't think I am "ora" on the phone list, since I cannot unmute myself
17:12:37 [ora]
zakim, who is here?
17:12:39 [Zakim]
On the phone I see baget (muted), jeremy, M_Smith, pfps (muted), ziv, herman, ora, timF, yassar, gibbins, Ian_Horrocks, hendler, Evan_Wallace, JeffH, hori, mikeD, jos, marwan
17:12:40 [Zakim]
On IRC I see JosD, mdean, timfinin, jjc, IanH, pfps, ora, nmg, Zakim, RRSAgent, jhendler, baget, logger
17:12:58 [baget]
Approval of Minutes of last telecon: DONE
17:13:07 [ora]
I seem to be "pfps" on the phone :-)
17:13:27 [pfps]
zakim, pfps is orax
17:13:28 [Zakim]
+orax; got it
17:13:33 [pfps]
zakim, ora is pfps
17:13:34 [Zakim]
+pfps; got it
17:13:40 [pfps]
zakim, orax is ora
17:13:41 [Zakim]
+ora; got it
17:15:36 [baget]
Next telecon - March 13th (note - no telecon March 6!)
17:15:41 [jhendler]
zakim, pick a scribe
17:15:43 [Zakim]
Not knowing who is chairing or who scribed recently, I propose herman
17:15:59 [baget]
Next scrie:
17:16:05 [baget]
Herman
17:18:21 [Massimo]
Massimo has joined #webont
17:18:44 [baget]
Relation between RDFS and OWL Lite: Jeremy write something fopr the coordinating group
17:20:08 [baget]
Which action continued ?
17:20:26 [baget]
MiME type issue, OK...
17:20:51 [baget]
Evan and Mike Dean to take MIME type and produce MIME type doc. CONTINUED
17:23:42 [baget]
Requirements have been added laer
17:24:40 [jhendler]
ACTION: pfps to send Mike S. answer re: anootation questions
17:25:03 [baget]
+ Requirements -
17:25:04 [baget]
http://www.cse.lehigh.edu/~heflin/webont/reqdoc/
17:26:24 [jjc]
q+ more on test
17:26:59 [jjc]
q+ to say more on test
17:27:10 [baget]
continue eviews of these documents
17:32:55 [baget]
Questions
17:33:04 [baget]
1) what datatypes reasoners an handle ?
17:33:16 [baget]
2) With what datatypes can they be sound and complete ?
17:33:36 [baget]
3) Axioms required to start ?
17:35:00 [baget]
Answer:
17:35:06 [baget]
datatypes implementation issue, basic inheritance mechanism enough at the moment
17:36:21 [baget]
Answer 2: Contradictory with current sound and complete definition
17:38:06 [baget]
3: New axioms required for each new datatype
17:42:04 [baget]
Support for date, integers ?
17:46:20 [baget]
Example of sound and complete reasoner for OWL lite without datatypes. What's is status ?
17:47:54 [baget]
Proposal: support primitive datatypes, but not constructed ones.
17:48:02 [Zakim]
-timF
17:51:33 [jjc]
http://www.w3.org/2002/03owlt/editors-draft/snapshot#consistencyChecker
17:51:38 [jhendler]
ACTION: Ian will look at section 4.2.2 of Test editor's draft and propose some wording for what is expected of datatypes
17:52:51 [baget]
JimH: It would be beter to go to Last Call with that problem resolved
17:53:07 [baget]
good
17:53:36 [baget]
4.0 DL Syntax ISSUE
17:57:50 [baget]
For the moment, is it treated as a RDF triple ? (Noise problems)
17:59:00 [baget]
It should be possible to give a warning then proceed.
17:59:55 [baget]
That should be reflected in the testcase doc.
18:00:53 [baget]
RDF generates a warning, then behave nomally
18:01:44 [baget]
Implement "Warning test"
18:03:25 [jhendler]
Proposed: OWL will use the same solution for unused terms in the OWL namespace that RDF currently uses for the Rdf namespace (i.e. OWL:foober may be used in an ontology, but should generate a warning)
18:03:40 [baget]
owl:foobar when foobar not known should generate a warning
18:04:14 [baget]
RESOLUTION: owl:foobar when foobar not known should generate a warning
18:22:03 [ora]
ora has left #webont
18:22:07 [ora]
ora has joined #webont
18:32:47 [Zakim]
-jeremy
18:33:02 [Zakim]
-M_Smith
18:33:09 [Zakim]
-mikeD
18:33:11 [Zakim]
-marwan
18:33:11 [Zakim]
-pfps
18:33:12 [Zakim]
-JeffH
18:33:13 [Zakim]
-yassar
18:33:13 [Zakim]
-jos
18:33:14 [Zakim]
-ora
18:33:14 [Zakim]
-ziv
18:33:14 [timfinin]
timfinin has left #webont
18:33:16 [jhendler]
zakim, bye
18:33:16 [Zakim]
-herman
18:33:18 [Zakim]
Zakim has left #webont
18:33:23 [jhendler]
RRSAgent, bye
18:33:24 [RRSAgent]
I see 2 open action items:
18:33:24 [RRSAgent]
ACTION: pfps to send Mike S. answer re: anootation questions [1]
18:33:24 [RRSAgent]
recorded in http://www.w3.org/2003/02/27-webont-irc#T17-24-40
18:33:24 [RRSAgent]
ACTION: Ian will look at section 4.2.2 of Test editor's draft and propose some wording for what is expected of datatypes [2]
18:33:24 [RRSAgent]
recorded in http://www.w3.org/2003/02/27-webont-irc#T17-51-38
18:33:24 [ora]
ora has left #webont