OWL Working Group

Minutes of 21 January 2009

Present
Jie Bao Bernardo Cuenca Grau Michael Schneider Markus Krötzsch Peter Patel-Schneider Bijan Parsia Boris Motik Ivan Herman Uli Sattler Alan Ruttenberg Zhe Wu Achille Fokoue Mike Smith Sandro Hawke
Regrets
Ian Horrocks Elisa Kendall Evan Wallace Rinke Hoekstra
Chair
Alan Ruttenberg
Scribe
Jie Bao
IRC Log
Original and Editable Wiki Version
Resolutions
  1. Respond to ALR1 on the basis of Ian suggestions for using named classes as a workaround link
  2. Peter will propose fix for MS1 in the form of edits to the RDF Mapping Document link
  3. Respond to JH1 by adding documentation in F&R and then sending that documentation in the response link
  4. also address JH1 by Bijan adding a clarificatory sentence to the syntax specification and passing that on in the response link
  5. IH1 to be resolved by editors of syntax document will add examples for section 11, in coordination with Ivan. To be reviewed by WG after done. link
  6. Address IH2 by chairs + others interested writing a new abstract that stands on it's own to introduce OWL 2. Keep info from the current abstract for another section. link
Topics
00:00:00 <scribenick> PRESENT: baojie, Bernardo Cuenca Grau, Michael Schneider, MarkusK_, Peter_Patel-Schneider, bijan, bmotik , Ivan, uli, Alan Ruttenberg, Zhe, Achille, msmith, sandro
00:00:00 <scribenick> REGRETS: Ian Horrocks, Elisa Kendall, Evan Wallace, Rinke Hoekstra
00:00:00 <scribenick> CHAIR: Alan Ruttenberg
18:02:47 <alanr> alanr has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2009.01.21/Agenda

Alan Ruttenberg: alanr has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2009.01.21/Agenda

18:06:05 <sandro> scribe: jie

(Scribe set to Jie Bao)

18:06:15 <Jie> Topic: Admin

1. Admin

18:06:15 <Jie> Subtopic: Agenda amendments?

1.1. Agenda amendments?

18:06:18 <alanr> http://www.w3.org/2007/OWL/meeting/2009-01-14

Alan Ruttenberg: http://www.w3.org/2007/OWL/meeting/2009-01-14

18:06:20 <Jie> Sub topic: Preious minutes

Sub topic: Preious minutes

18:06:27 <bijan> I have a problem

Bijan Parsia: I have a problem

18:06:47 <bijan> Christine Golbreich: we should vote now becasue last time we postponed it because bijan was not there

Bijan Parsia: Christine Golbreich: we should vote now becasue last time we postponed it because bijan was not there

18:07:26 <Jie> bijan: problem on vote on Manchester Sytnax as a note

Bijan Parsia: problem on vote on Manchester Sytnax as a note

18:07:42 <Jie> bijan: it is not time critical to determine this issue

Bijan Parsia: it is not time critical to determine this issue

18:08:01 <Jie> bijan: I suggest to postponed it

Bijan Parsia: I suggest to postponed it

18:08:38 <sandro> alan: What Christine meant, I think, is that we had postponed it for only one week.   So we postponed because Bijan wasn't there, but we only postponed for one week.

Alan Ruttenberg: What Christine meant, I think, is that we had postponed it for only one week. So we postponed because Bijan wasn't there, but we only postponed for one week. [ Scribe Assist by Sandro Hawke ]

18:08:44 <alanr> ack Achille

Alan Ruttenberg: ack Achille

18:09:07 <msmith> yes, my recollection matches achille's

Mike Smith: yes, my recollection matches achille's

18:09:10 <MarkusK_> +1 to Achille, that is what Christine tried to express

Markus Krötzsch: +1 to Achille, that is what Christine tried to express

18:09:19 <sandro> achille: I was scribe.   Christine wanted to vote then because she didn't want it postponed again and again.

Achille Fokoue: I was scribe. Christine wanted to vote then because she didn't want it postponed again and again. [ Scribe Assist by Sandro Hawke ]

18:09:20 <uli> I agree with Achille's memory of this

Uli Sattler: I agree with Achille's memory of this

18:09:53 <Jie> Alan: we will do it next week

Alan Ruttenberg: we will do it next week

18:10:36 <sandro> alan: let's not approve the minutes yet, given no one expressing an opinion, other than this issue about what Christine said.

Alan Ruttenberg: let's not approve the minutes yet, given no one expressing an opinion, other than this issue about what Christine said. [ Scribe Assist by Sandro Hawke ]

18:10:41 <Jie> Subtopic: Actions

1.2. Actions

18:11:14 <alanr> ack pfps

Alan Ruttenberg: ack pfps

18:11:25 <Jie> Subsubtopic: Action 247
1.2.1. ACTION-247
18:11:46 <Jie> Alan: don't have time to do it, will try to finish next week

Alan Ruttenberg: don't have time to do it, will try to finish next week

18:12:17 <sandro> ADD YOURSELF TO http://www.w3.org/2007/OWL/wiki/F2F5_People

Sandro Hawke: ADD YOURSELF TO http://www.w3.org/2007/OWL/wiki/F2F5_People

18:12:18 <pfps> pfps: several documents depend on the Manchester syntax, so there soon needs to be a final determination of what is going on here

Peter Patel-Schneider: several documents depend on the Manchester syntax, so there soon needs to be a final determination of what is going on here [ Scribe Assist by Peter Patel-Schneider ]

18:12:23 <Jie> Topic Reivews of LC documents

Topic Reivews of LC documents

18:12:31 <Jie> Alan: we don't have many

Alan Ruttenberg: we don't have many

18:12:40 <Jie> subtopic: F2F5

1.3. F2F5

18:13:05 <bijan> I'm not sure we need it

Bijan Parsia: I'm not sure we need it

18:13:23 <pfps> I don't need much (if any) lead time to be there.

Peter Patel-Schneider: I don't need much (if any) lead time to be there.

18:14:06 <Jie> bijan: i'm not sure if we need it

Bijan Parsia: i'm not sure if we need it

18:14:21 <Jie> ... it is an expensive trip also

... it is an expensive trip also

18:14:48 <pfps> hopefully we will be able to get good facilities for remote participation

Peter Patel-Schneider: hopefully we will be able to get good facilities for remote participation

18:14:48 <sandro> q+ agenda topics

Sandro Hawke: q+ agenda topics

18:15:02 <Jie> bijan: unless we have major changes

Bijan Parsia: unless we have major changes

18:15:20 <bijan> Tests are easy to do offline

Bijan Parsia: Tests are easy to do offline

18:15:21 <Jie> Sandro: we have big test cases to go through

Sandro Hawke: we have big test cases to go through

18:15:35 <bijan> I definitely wouldn't go to a f2f in the States to do tests :)

Bijan Parsia: I definitely wouldn't go to a f2f in the States to do tests :)

18:15:39 <Jie> if nothing else, we can have two days to get the tests done

if nothing else, we can have two days to get the tests done

18:15:42 <sandro> :-)

Sandro Hawke: :-)

18:15:45 <bijan> How about a vote mechanism in the wiki for the tests

Bijan Parsia: How about a vote mechanism in the wiki for the tests

18:16:12 <sandro> the thing on tests is getting people to spend the time on them.

Sandro Hawke: the thing on tests is getting people to spend the time on them.

18:16:19 <Jie> Alan: let decide about F2F5 next week

Alan Ruttenberg: let decide about F2F5 next week

18:16:25 <Jie> Topic: Last Call comments

2. Last Call comments

18:16:57 <sandro> http://www.w3.org/2007/OWL/wiki/Responses_to_Last_Call_Comments

Sandro Hawke: http://www.w3.org/2007/OWL/wiki/Responses_to_Last_Call_Comments

18:17:10 <Jie> Alan: let's go through the comments page

Alan Ruttenberg: let's go through the comments page

18:17:27 <Jie> Subtopic: Comment 1: Alan Rector

2.1. Comment 1: Alan Rector

18:17:27 <alanr> ack pfps

Alan Ruttenberg: ack pfps

18:17:38 <Jie> Peter: I'm worried about it

Peter Patel-Schneider: I'm worried about it

18:17:53 <schneid> q+

Michael Schneider: q+

18:17:55 <Jie> It includes changes to the spec that is not operational yet

It includes changes to the spec that is not operational yet

18:18:39 <alanr> http://www.w3.org/2007/OWL/wiki/LC_Responses/ALR1

Alan Ruttenberg: http://www.w3.org/2007/OWL/wiki/LC_Responses/ALR1

18:18:42 <sandro> +1 don't say we're changing the spec until the change is fully done.

Sandro Hawke: +1 don't say we're changing the spec until the change is fully done.

18:19:34 <Zakim> +Zhe

Zakim IRC Bot: +Zhe

18:19:45 <Jie> Peter: if there are changes, we need somehow track it

Peter Patel-Schneider: if there are changes, we need somehow track it

18:21:10 <Jie> bijan: what you want us to do with this page?

Bijan Parsia: what you want us to do with this page?

18:21:52 <Jie> Peter: if anybody make proposal to change, he/she has to make the change trackable

Peter Patel-Schneider: if anybody make proposal to change, he/she has to make the change trackable

18:22:08 <Jie> Peter: voteable

Peter Patel-Schneider: voteable

18:22:37 <Jie> Peter: the WG has to vote for a change

Peter Patel-Schneider: the WG has to vote for a change

18:23:58 <sandro> agenda-

Sandro Hawke: agenda-

18:24:07 <sandro> q=schneid

Sandro Hawke: q=schneid

18:24:08 <Jie> bijan: I think we should reject

Bijan Parsia: I think we should reject

18:24:12 <sandro> queue=schneid

Sandro Hawke: queue=schneid

18:24:57 <uli> q+

Uli Sattler: q+

18:25:43 <Jie> the workaround is sufficient

the workaround is sufficient

18:25:49 <alanr> ack schneid

Alan Ruttenberg: ack schneid

18:26:20 <Jie> Schneid: No change

Michael Schneider: No change

18:26:47 <Jie> no need to introduce a new language feature

no need to introduce a new language feature

18:26:49 <bijan> One could even annotate the naming axiom saying "this is for annotation purposes, not modeling"

Bijan Parsia: One could even annotate the naming axiom saying "this is for annotation purposes, not modeling"

18:26:50 <alanr> q+ to ask whether named class workaround has performance impact

Alan Ruttenberg: q+ to ask whether named class workaround has performance impact

18:26:58 <alanr> ack uli

Alan Ruttenberg: ack uli

18:27:13 <Jie> Uli: I chatted with Alan Rector

Uli Sattler: I chatted with Alan Rector

18:27:39 <alanr> q-

Alan Ruttenberg: q-

18:27:40 <bijan> If the change doesn't address his use cases, we should reject it

Bijan Parsia: If the change doesn't address his use cases, we should reject it

18:28:38 <Jie> Alan: then we should respond that there is a workaround to this issue

Alan Ruttenberg: then we should respond that there is a workaround to this issue

18:29:05 <schneid> schneid: I would keep things as they are, since naming class expressions is possible anyway, and can be used. Maybe we put an informative note in our spec to inform people about the nameing "trick"

Michael Schneider: I would keep things as they are, since naming class expressions is possible anyway, and can be used. Maybe we put an informative note in our spec to inform people about the nameing "trick" [ Scribe Assist by Michael Schneider ]

18:29:09 <uli> I had a chat with Alan Rector and he seemed to be willing to accept that his proposed change would only help him to make work-arounds, but not really provide a solution. As a consequence, he indicated that he wouldn't insist on this change

Uli Sattler: I had a chat with Alan Rector and he seemed to be willing to accept that his proposed change would only help him to make work-arounds, but not really provide a solution. As a consequence, he indicated that he wouldn't insist on this change

18:29:25 <uli> ?

Uli Sattler: ?

18:29:28 <alanr> PROPOSED: Respond to ALR1 on the basis of Ian suggestions for using named classes as a workaround

PROPOSED: Respond to ALR1 on the basis of Ian suggestions for using named classes as a workaround

18:29:34 <pfps> q+

Peter Patel-Schneider: q+

18:29:56 <alanr> ack pfps

Alan Ruttenberg: ack pfps

18:30:20 <alanr> PROPOSED: Respond to ALR1 on the basis of the suggestions for workarounds

PROPOSED: Respond to ALR1 on the basis of the suggestions for workarounds

18:30:29 <pfps> ok

Peter Patel-Schneider: ok

18:30:37 <ivan> +1

Ivan Herman: +1

18:30:39 <pfps> +1

Peter Patel-Schneider: +1

18:30:40 <Bernardo> +1

Bernardo Cuenca Grau: +1

18:30:41 <alanr> +1

Alan Ruttenberg: +1

18:30:41 <Jie> +1

+1

18:30:42 <bmotik> +1

Boris Motik: +1

18:30:43 <Zhe> +1

Zhe Wu: +1

18:30:43 <MarkusK_> +1

Markus Krötzsch: +1

18:30:44 <Achille> +1

Achille Fokoue: +1

18:30:45 <uli> +1

Uli Sattler: +1

18:30:46 <bijan> +!

Bijan Parsia: +!

18:30:49 <msmith> +1

Mike Smith: +1

18:30:55 <sandro> +1

Sandro Hawke: +1

18:30:59 <schneid> +1

Michael Schneider: +1

18:31:04 <alanr> RESOLVED: Respond to ALR1 on the basis of Ian suggestions for using named classes as a workaround

RESOLVED: Respond to ALR1 on the basis of Ian suggestions for using named classes as a workaround

18:31:12 <bijan> I'm writing one right now

Bijan Parsia: I'm writing one right now

18:31:25 <bijan> on the page

Bijan Parsia: on the page

18:31:27 <bijan> Already

Bijan Parsia: Already

18:31:52 <bijan> not saved yet :)

Bijan Parsia: not saved yet :)

18:32:00 <Jie> Subtopic: comment COL1

2.2. comment COL1

18:32:05 <alanr> Action: Bijan to draft response to ALR1

ACTION: Bijan to draft response to ALR1

18:32:05 <trackbot> Created ACTION-265 - Draft response to ALR1 [on Bijan Parsia - due 2009-01-28].

Trackbot IRC Bot: Created ACTION-265 - Draft response to ALR1 [on Bijan Parsia - due 2009-01-28].

18:32:18 <alanr> q?

Alan Ruttenberg: q?

18:32:20 <Jie> Subtopic: comment MS1

2.3. comment MS1

18:32:28 <alanr> http://www.w3.org/2007/OWL/wiki/LC_Responses/MS1

Alan Ruttenberg: http://www.w3.org/2007/OWL/wiki/LC_Responses/MS1

18:32:53 <pfps> q+

Peter Patel-Schneider: q+

18:32:58 <alanr> ack pfps

Alan Ruttenberg: ack pfps

18:34:00 <alanr> action: pfps to provide fix to MS1 in RDF Mapping and put diff on http://www.w3.org/2007/OWL/wiki/LC_Responses/MS1.

ACTION: pfps to provide fix to MS1 in RDF Mapping and put diff on http://www.w3.org/2007/OWL/wiki/LC_Responses/MS1.

18:34:00 <trackbot> Created ACTION-266 - Provide fix to MS1 in RDF Mapping and put diff on http://www.w3.org/2007/OWL/wiki/LC_Responses/MS1. [on Peter Patel-Schneider - due 2009-01-28].

Trackbot IRC Bot: Created ACTION-266 - Provide fix to MS1 in RDF Mapping and put diff on http://www.w3.org/2007/OWL/wiki/LC_Responses/MS1. [on Peter Patel-Schneider - due 2009-01-28].

18:34:03 <pfps> process is then to change the document and put a diff into the reponse page (along with rationale, I guess)

Peter Patel-Schneider: process is then to change the document and put a diff into the reponse page (along with rationale, I guess)

18:34:20 <pfps> q+

Peter Patel-Schneider: q+

18:34:23 <alanr> ack pfps

Alan Ruttenberg: ack pfps

18:35:01 <alanr> PROPOSED: Peter will propose fix for MS1 in the form of edits to the RDF Mapping Document

PROPOSED: Peter will propose fix for MS1 in the form of edits to the RDF Mapping Document

18:35:02 <Jie> Peter: we need to vote on it, if I gonna to work on it

Peter Patel-Schneider: we need to vote on it, if I gonna to work on it

18:35:06 <pfps> +1

Peter Patel-Schneider: +1

18:35:10 <msmith> +1

Mike Smith: +1

18:35:11 <Jie> +1

+1

18:35:11 <alanr> +1

Alan Ruttenberg: +1

18:35:11 <ivan> +1

Ivan Herman: +1

18:35:12 <MarkusK_> +1

Markus Krötzsch: +1

18:35:13 <Bernardo> +1

Bernardo Cuenca Grau: +1

18:35:14 <Achille> 0

Achille Fokoue: 0

18:35:18 <uli> +1

Uli Sattler: +1

18:35:19 <sandro> +1

Sandro Hawke: +1

18:35:21 <bijan> +!

Bijan Parsia: +!

18:35:22 <bmotik> +1

Boris Motik: +1

18:35:23 <bijan> +1

Bijan Parsia: +1

18:35:26 <alanr> RESOLVED: Peter will propose fix for MS1 in the form of edits to the RDF Mapping Document

RESOLVED: Peter will propose fix for MS1 in the form of edits to the RDF Mapping Document

18:35:28 <Zhe> +1

Zhe Wu: +1

18:35:45 <Jie> Subtopic: MD1

2.4. MD1

18:35:52 <alanr> http://www.w3.org/2007/OWL/wiki/LC_Responses/MD1

Alan Ruttenberg: http://www.w3.org/2007/OWL/wiki/LC_Responses/MD1

18:36:24 <alanr> lost my connection

Alan Ruttenberg: lost my connection

18:36:24 <Jie> Alan: anybody knows the difference between Unicode 3.0/5.0?

Alan Ruttenberg: anybody knows the difference between Unicode 3.0/5.0?

18:36:26 <alanr> back in a sec

Alan Ruttenberg: back in a sec

18:36:37 <bijan> Lots and lots of characters

Bijan Parsia: Lots and lots of characters

18:36:40 <pfps> Was there a response from Martin?

Peter Patel-Schneider: Was there a response from Martin?

18:36:43 <schneid> q+

Michael Schneider: q+

18:37:18 <bijan> No

Bijan Parsia: No

18:37:22 <Jie> schneid: I wonder if it is necessary to have Unicode version mentioned

Michael Schneider: I wonder if it is necessary to have Unicode version mentioned

18:37:23 <alanr> q?

Alan Ruttenberg: q?

18:37:30 <schneid> q-

Michael Schneider: q-

18:37:45 <sandro> I guess it should be latest version, otherwise we will have

Sandro Hawke: I guess it should be latest version, otherwise we will have

18:37:45 <sandro> some people wondering whether they can use the latest characters.

Sandro Hawke: some people wondering whether they can use the latest characters.

18:37:45 <sandro> For more details, please see http://www.w3.org/TR/charmod/#sec-RefUnicode.

Sandro Hawke: For more details, please see http://www.w3.org/TR/charmod/#sec-RefUnicode.

18:37:50 <Jie> Sandro: I talked with Martin Duerst

Sandro Hawke: I talked with Martin Duerst

18:38:02 <schneid> schneid: wonders whether it would be allowed to generically refer to the "latest Unicode version"

Michael Schneider: wonders whether it would be allowed to generically refer to the "latest Unicode version" [ Scribe Assist by Michael Schneider ]

18:38:19 <Jie> Alan: we need somebody to read this

Alan Ruttenberg: we need somebody to read this

18:38:19 <msmith> q+ to respond to michael about a specific version

Mike Smith: q+ to respond to michael about a specific version

18:38:24 <bijan> I'm finished my Alan Rector action

Bijan Parsia: I'm finished my Alan Rector action

18:38:24 <alanr> ack msmith

Alan Ruttenberg: ack msmith

18:38:24 <Zakim> msmith, you wanted to respond to michael about a specific version

Zakim IRC Bot: msmith, you wanted to respond to michael about a specific version

18:38:30 <sandro> (I was quoting from private e-mail from Martin Duerst there)

Sandro Hawke: (I was quoting from private e-mail from Martin Duerst there)

18:38:54 <bmotik> q+

Boris Motik: q+

18:39:08 <alanr> ack bmotik

Alan Ruttenberg: ack bmotik

18:39:10 <alanr> q?

Alan Ruttenberg: q?

18:39:11 <Jie> Msmith: we need address a specific version of Unicode for datatype implementation

Mike Smith: we need address a specific version of Unicode for datatype implementation

18:39:37 <Jie> Boris: one problem is whether the set of characters is infinite

Boris Motik: one problem is whether the set of characters is infinite

18:40:11 <Jie> if the number of characters in Unicode changes across versions

if the number of characters in Unicode changes across versions

18:40:46 <Jie> it is possible that one consistent ontology to be inconsistent when using a different version of Unicode

it is possible that one consistent ontology to be inconsistent when using a different version of Unicode

18:40:52 <bijan> q+

Bijan Parsia: q+

18:40:53 <msmith> ok, it seems I remembered it incompletely then.  thanks for clarifying Boris.

Mike Smith: ok, it seems I remembered it incompletely then. thanks for clarifying Boris.

18:41:32 <schneid> hey, we have a new testcase :)

Michael Schneider: hey, we have a new testcase :)

18:42:13 <alanr> ack bijan

Alan Ruttenberg: ack bijan

18:42:40 <schneid> but referring to the "latest version" will also refer to a finite alphabet (at every time)

Michael Schneider: but referring to the "latest version" will also refer to a finite alphabet (at every time)

18:42:43 <Jie> bijan: at two places we deal with Unicode

Bijan Parsia: at two places we deal with Unicode

18:42:48 <bmotik> yes

Boris Motik: yes

18:42:52 <Jie> Datatype, and syntax

Datatype, and syntax

18:43:03 <schneid> IRIs refer also to Unicode, right?

Michael Schneider: IRIs refer also to Unicode, right?

18:43:36 <Jie> in the syntax, if we don't address unicode version, there may be gap between functional syntax and other syntaxes

in the syntax, if we don't address unicode version, there may be gap between functional syntax and other syntaxes

18:44:19 <Jie> e.g., XML only allows certain versions of Unicode

e.g., XML only allows certain versions of Unicode

18:44:25 <ivan> q+

Ivan Herman: q+

18:44:28 <alanr> ack ivan

Alan Ruttenberg: ack ivan

18:45:12 <bijan> q+

Bijan Parsia: q+

18:45:13 <Jie> Ivan: Martin's question is what version we use, and he suggests 5.0

Ivan Herman: Martin's question is what version we use, and he suggests 5.0

18:45:26 <alanr> ack bijan

Alan Ruttenberg: ack bijan

18:45:32 <Jie> We just need to respond we use the  latest version

We just need to respond we use the latest version

18:46:07 <Jie> Bijan: XML is tied to Unicode 3

Bijan Parsia: XML is tied to Unicode 3

18:46:45 <alanr> q?

Alan Ruttenberg: q?

18:46:53 <ivan> [[[C064  [S]  All generic references to the Unicode Standard [Unicode] must refer to the latest version of the Unicode Standard available at the date of publication of the containing specification.]]]

Ivan Herman: [[[C064 [S] All generic references to the Unicode Standard [Unicode] must refer to the latest version of the Unicode Standard available at the date of publication of the containing specification.]]]

18:46:59 <Jie> Sandro: is it the latest version for now, or latest version ever?

Sandro Hawke: is it the latest version for now, or latest version ever?

18:47:30 <alanr> q+ to ask why not make is finite but 2^32

Alan Ruttenberg: q+ to ask why not make is finite but 2^32

18:49:12 <Jie> alan: we need list on the page the points we need address

Alan Ruttenberg: we need list on the page the points we need address

18:49:40 <Jie> ... on Bijan, Boris, Sandro

... on Bijan, Boris, Sandro

18:50:16 <bijan> working on it

Bijan Parsia: working on it

18:50:39 <bijan> Er..dunno

Bijan Parsia: Er..dunno

18:50:43 <bmotik> q+

Boris Motik: q+

18:50:45 <bijan> I'll write and see what happens ;)

Bijan Parsia: I'll write and see what happens ;)

18:50:50 <alanr> ack alanr

Alan Ruttenberg: ack alanr

18:50:50 <Zakim> alanr, you wanted to ask why not make it finite but 2^32

Zakim IRC Bot: alanr, you wanted to ask why not make it finite but 2^32

18:50:57 <alanr> ack bmotik

Alan Ruttenberg: ack bmotik

18:51:18 <sandro> ACTION: Bijan to write about unicode versioning issue

ACTION: Bijan to write about unicode versioning issue

18:51:18 <trackbot> Created ACTION-267 - Write about unicode versioning issue [on Bijan Parsia - due 2009-01-28].

Trackbot IRC Bot: Created ACTION-267 - Write about unicode versioning issue [on Bijan Parsia - due 2009-01-28].

18:51:27 <ivan> q+

Ivan Herman: q+

18:51:36 <Jie> Boris: after reading the note, I agree that the infinite supply of characters is not relevant

Boris Motik: after reading the note, I agree that the infinite supply of characters is not relevant

18:51:47 <bmotik> q+

Boris Motik: q+

18:52:02 <bijan> q+

Bijan Parsia: q+

18:52:03 <bmotik> -q

Boris Motik: -q

18:52:10 <alanr> ack ivan

Alan Ruttenberg: ack ivan

18:52:37 <bijan> I've got it, ivan

Bijan Parsia: I've got it, ivan

18:52:41 <alanr> ack Bijan

Alan Ruttenberg: ack Bijan

18:53:11 <alanr> http://www.w3.org/2007/OWL/wiki/LC_Responses/JH1

Alan Ruttenberg: http://www.w3.org/2007/OWL/wiki/LC_Responses/JH1

18:53:13 <Jie> Subtopic: JH1

2.5. JH1

18:53:35 <Jie> Alan: it is about better documentation of key

Alan Ruttenberg: it is about better documentation of key

18:53:50 <Jie> ... Syntax editors

... Syntax editors

18:53:54 <alanr> q?

Alan Ruttenberg: q?

18:54:29 <bmotik> q+

Boris Motik: q+

18:54:32 <Jie> bijan: Jim is over-stating. I don't know if to put it into Syntax

Bijan Parsia: Jim is over-stating. I don't know if to put it into Syntax

18:54:35 <alanr> ack bmotik

Alan Ruttenberg: ack bmotik

18:54:37 <Jie> ... maybe Rationale

... maybe Rationale

18:54:39 <bijan> q+

Bijan Parsia: q+

18:54:45 <alanr> ack bijan

Alan Ruttenberg: ack bijan

18:54:52 <Jie> Boris: I don't understand the problem of this comment

Boris Motik: I don't understand the problem of this comment

18:54:59 <alanr> they didn't grok the feature

Alan Ruttenberg: they didn't grok the feature

18:55:27 <Jie> bijan: The problem is that they assume key is global

Bijan Parsia: The problem is that they assume key is global

18:55:34 <alanr> q?

Alan Ruttenberg: q?

18:55:36 <uli> ...but they have been now convinced, haven't they?

Uli Sattler: ...but they have been now convinced, haven't they?

18:55:50 <alanr> yes, they want some documentation so someone else doesn't make the same mistake

Alan Ruttenberg: yes, they want some documentation so someone else doesn't make the same mistake

18:56:32 <ivan> q+

Ivan Herman: q+

18:56:37 <alanr> ack ivan

Alan Ruttenberg: ack ivan

18:56:46 <uli> I'd prefer new features and rationale

Uli Sattler: I'd prefer new features and rationale

18:56:50 <Jie> Alan: maybe document it in Primer or Rationale

Alan Ruttenberg: maybe document it in Primer or Rationale

18:57:10 <schneid> +1 to Ivan, this is the document meant to be read if one wants to know about the new features

Michael Schneider: +1 to Ivan, this is the document meant to be read if one wants to know about the new features

18:57:20 <uli> a simple "please note that "keyfor(C P)" only concerns instances of C, not everything

Uli Sattler: a simple "please note that "keyfor(C P)" only concerns instances of C, not everything

18:57:35 <msmith> editors of that doc?

Mike Smith: editors of that doc?

18:57:46 <alanr> PROPOSED: Respond to JH1 by adding documentation in F&R and then sending that documentation in the response.

PROPOSED: Respond to JH1 by adding documentation in F&amp;R and then sending that documentation in the response.

18:57:50 <bmotik> +1

Boris Motik: +1

18:57:54 <ivan> +1

Ivan Herman: +1

18:57:57 <Bernardo> +1

Bernardo Cuenca Grau: +1

18:57:58 <alanr> +1

Alan Ruttenberg: +1

18:57:59 <schneid> +1

Michael Schneider: +1

18:58:00 <Zhe> +1

Zhe Wu: +1

18:58:00 <MarkusK_> +1

Markus Krötzsch: +1

18:58:02 <pfps> +1

Peter Patel-Schneider: +1

18:58:02 <Achille> +1

Achille Fokoue: +1

18:58:02 <Jie> 0

0

18:58:03 <sandro> +1

Sandro Hawke: +1

18:58:10 <alanr> RESOLVED: Respond to JH1 by adding documentation in F&R and then sending that documentation in the response

RESOLVED: Respond to JH1 by adding documentation in F&amp;R and then sending that documentation in the response

18:58:11 <uli> +1

Uli Sattler: +1

18:58:11 <msmith> +0 (neither christine or evan is here)

Mike Smith: +0 (neither christine or evan is here)

18:58:15 <bijan> Rereading the syntax, I can see how o ne *might* find "A key axiom of the form HasKey( owl:Thing OPE ) is similar to the axiom InverseFunctionalProperty( OPE ); the main difference is that the first axiom is applicable only to individuals that are explicitly named in an ontology, while the second axiom is also applicable to individuals whose existence is implied by existential quantification. The structure of such axiom is shown in Figure 17."

Bijan Parsia: Rereading the syntax, I can see how o ne *might* find "A key axiom of the form HasKey( owl:Thing OPE ) is similar to the axiom InverseFunctionalProperty( OPE ); the main difference is that the first axiom is applicable only to individuals that are explicitly named in an ontology, while the second axiom is also applicable to individuals whose existence is implied by existential quantification. The structure of such axiom is shown in Figure 17."

18:58:17 <bijan> a bit misleading

Bijan Parsia: a bit misleading

18:58:23 <bijan> I can add a bit of clarificatory text

Bijan Parsia: I can add a bit of clarificatory text

18:59:23 <Jie> bijan: I can add a single sentence in Syntax

Bijan Parsia: I can add a single sentence in Syntax

19:00:11 <alanr> PROPOSED: also address JH1 by Bijan adding a clarificatory sentence to the syntax specification and passing that on in the response.

PROPOSED: also address JH1 by Bijan adding a clarificatory sentence to the syntax specification and passing that on in the response.

19:00:13 <bmotik> I'd add this sentence in the example that Jim identified.

Boris Motik: I'd add this sentence in the example that Jim identified.

19:00:25 <Jie> +1

+1

19:00:26 <bmotik> +1

Boris Motik: +1

19:00:27 <ivan> +1

Ivan Herman: +1

19:00:29 <MarkusK_> +1

Markus Krötzsch: +1

19:00:31 <Zhe> +1

Zhe Wu: +1

19:00:34 <Bernardo> +1

Bernardo Cuenca Grau: +1

19:00:34 <Achille> +1

Achille Fokoue: +1

19:00:37 <pfps> +1

Peter Patel-Schneider: +1

19:00:38 <sandro> +1

Sandro Hawke: +1

19:00:38 <uli> +1

Uli Sattler: +1

19:00:40 <schneid> +1

Michael Schneider: +1

19:00:41 <bijan> +1

Bijan Parsia: +1

19:00:43 <msmith> +1

Mike Smith: +1

19:00:45 <alanr> RESOLVED: also address JH1 by Bijan adding a clarificatory sentence to the syntax specification and passing that on in the response

RESOLVED: also address JH1 by Bijan adding a clarificatory sentence to the syntax specification and passing that on in the response

19:01:18 <alanr> Action: Bijan to add sentence to address JH1. Add diff to http://www.w3.org/2007/OWL/wiki/LC_Responses/JH1

ACTION: Bijan to add sentence to address JH1. Add diff to http://www.w3.org/2007/OWL/wiki/LC_Responses/JH1

19:01:18 <trackbot> Created ACTION-268 - Add sentence to address JH1. Add diff to http://www.w3.org/2007/OWL/wiki/LC_Responses/JH1 [on Bijan Parsia - due 2009-01-28].

Trackbot IRC Bot: Created ACTION-268 - Add sentence to address JH1. Add diff to http://www.w3.org/2007/OWL/wiki/LC_Responses/JH1 [on Bijan Parsia - due 2009-01-28].

19:01:41 <bijan> what's up with features and rationales?

Bijan Parsia: what's up with features and rationales?

19:01:55 <bijan> Oh sorry, I see

Bijan Parsia: Oh sorry, I see

19:02:27 <alanr> Action: Alan to mail Christine & Evan about resolution to JH1

ACTION: Alan to mail Christine &amp; Evan about resolution to JH1

19:02:27 <trackbot> Created ACTION-269 - Mail Christine & Evan about resolution to JH1 [on Alan Ruttenberg - due 2009-01-28].

Trackbot IRC Bot: Created ACTION-269 - Mail Christine &amp; Evan about resolution to JH1 [on Alan Ruttenberg - due 2009-01-28].

19:02:40 <Jie> Subtopic: MS2

2.6. MS2

19:02:48 <alanr> http://www.w3.org/2007/OWL/wiki/LC_Responses/MS2

Alan Ruttenberg: http://www.w3.org/2007/OWL/wiki/LC_Responses/MS2

19:03:11 <schneid> q+

Michael Schneider: q+

19:03:34 <alanr> ack schneid

Alan Ruttenberg: ack schneid

19:04:26 <Jie> schneid: I do not understand the meaning of the phrase "arbitrary object" here

Michael Schneider: I do not understand the meaning of the phrase "arbitrary object" here

19:05:18 <bmotik> q+

Boris Motik: q+

19:06:04 <alanr> ack bmotik

Alan Ruttenberg: ack bmotik

19:06:45 <Jie> Boris: I phrased like this because the values are not from a datatype

Boris Motik: I phrased like this because the values are not from a datatype

19:07:16 <Jie> ... but it is hard to say where they are from

... but it is hard to say where they are from

19:07:24 <alanr> It has to be serialized, at least

Alan Ruttenberg: It has to be serialized, at least

19:08:00 <Jie> Boris: datatypes can be extended

Boris Motik: datatypes can be extended

19:08:13 <Jie> ... it can't be predefined

... it can't be predefined

19:08:38 <pfps> the question (I think) is whether the value can be an object identifier (as opposed to a literal)

Peter Patel-Schneider: the question (I think) is whether the value can be an object identifier (as opposed to a literal)

19:09:05 <Jie> schneid: is OWL 2 datatype map close to that?

Michael Schneider: is OWL 2 datatype map close to that?

19:09:20 <bmotik> q+

Boris Motik: q+

19:09:58 <alanr> ack bmotik

Alan Ruttenberg: ack bmotik

19:11:22 <alanr> q+

Alan Ruttenberg: q+

19:12:03 <bmotik> q+

Boris Motik: q+

19:12:06 <Jie> schneid: the problem is that if there is no domain, in semantics we don't have an interpretation function

Michael Schneider: the problem is that if there is no domain, in semantics we don't have an interpretation function

19:12:24 <Zakim> -Alan

Zakim IRC Bot: -Alan

19:12:32 <alanr> phone dropped. calling back in

Alan Ruttenberg: phone dropped. calling back in

19:12:39 <bijan> q+

Bijan Parsia: q+

19:12:42 <Zakim> +Alan

Zakim IRC Bot: +Alan

19:12:43 <alanr> back

Alan Ruttenberg: back

19:13:01 <ivan> ack alanr

Ivan Herman: ack alanr

19:13:26 <alanr> ack bmotik

Alan Ruttenberg: ack bmotik

19:14:38 <Jie> Boris: schneid: your suggestion may lead to a family of semantics

Boris Motik: schneid: your suggestion may lead to a family of semantics

19:15:29 <Jie> Alan: it is rather technical, maybe go on on mail list

Alan Ruttenberg: it is rather technical, maybe go on on mail list

19:16:53 <Jie> bijan: can we close this comment with a new comment that is closer to what you thought?

Bijan Parsia: can we close this comment with a new comment that is closer to what you thought?

19:17:57 <Jie> Subtopic: test cases

2.7. test cases

19:18:02 <bijan> profile validation?

Bijan Parsia: profile validation?

19:18:04 <bijan> Or species?

Bijan Parsia: Or species?

19:18:14 <bijan> A profile recognizer is coming

Bijan Parsia: A profile recognizer is coming

19:18:17 <bijan> well, I didn't know ;)

Bijan Parsia: well, I didn't know ;)

19:18:27 <Jie> Subtopic: IH1

2.8. IH1

19:18:49 <Jie> Alan: on global restrictions

Alan Ruttenberg: on global restrictions

19:19:12 <bijan> Why?

Bijan Parsia: Why?

19:19:14 <bijan> q+

Bijan Parsia: q+

19:19:24 <Jie> Alan: I'm not against adding examples

Alan Ruttenberg: I'm not against adding examples

19:19:30 <alanr> ack Bijan

Alan Ruttenberg: ack Bijan

19:20:04 <Jie> bijan: OK, it is editorial

Bijan Parsia: OK, it is editorial

19:20:06 <pfps> q+

Peter Patel-Schneider: q+

19:20:36 <alanr> ack pfps

Alan Ruttenberg: ack pfps

19:21:26 <bijan> Seriously?

Bijan Parsia: Seriously?

19:21:38 <bijan> q+

Bijan Parsia: q+

19:21:42 <Jie> Peter: editorial changes could cause problems

Peter Patel-Schneider: editorial changes could cause problems

19:22:01 <alanr> ack bijan

Alan Ruttenberg: ack bijan

19:22:55 <Jie> bijan: examples are not normative, I don't think they will cause problems

Bijan Parsia: examples are not normative, I don't think they will cause problems

19:25:22 <alanr> PROPOSAL: Editors of syntax document will add examples for section 11, in coordination with Ivan. To be reviewed by WG after done.

PROPOSED: Editors of syntax document will add examples for section 11, in coordination with Ivan. To be reviewed by WG after done.

19:25:30 <bmotik> +1

Boris Motik: +1

19:25:32 <Jie> Bernardo: I can work with Boris offline on examples

Bernardo Cuenca Grau: I can work with Boris offline on examples

19:25:33 <pfps> +1

Peter Patel-Schneider: +1

19:25:34 <uli> +1

Uli Sattler: +1

19:25:34 <ivan> +1

Ivan Herman: +1

19:25:35 <Jie> =1

=1

19:25:37 <Jie> +1

+1

19:25:37 <Zhe> +1

Zhe Wu: +1

19:25:48 <sandro> +1

Sandro Hawke: +1

19:25:57 <MarkusK_> +1

Markus Krötzsch: +1

19:26:03 <alanr> +1

Alan Ruttenberg: +1

19:26:03 <Achille> 1

Achille Fokoue: 1

19:26:09 <msmith> +1

Mike Smith: +1

19:26:13 <alanr> RESOLVED: IH1 to be resolved by editors of syntax document will add examples for section 11, in coordination with Ivan. To be reviewed by WG after done.

RESOLVED: IH1 to be resolved by editors of syntax document will add examples for section 11, in coordination with Ivan. To be reviewed by WG after done.

19:26:49 <bmotik> ACTION: bmotik2 to Add new examples in response to IH1

ACTION: bmotik2 to Add new examples in response to IH1

19:26:49 <trackbot> Created ACTION-270 - Add new examples in response to IH1 [on Boris Motik - due 2009-01-28].

Trackbot IRC Bot: Created ACTION-270 - Add new examples in response to IH1 [on Boris Motik - due 2009-01-28].

19:27:13 <Jie> Subtopic: IH2

2.9. IH2

19:27:09 <alanr> http://www.w3.org/2007/OWL/wiki/LC_Responses/IH2

Alan Ruttenberg: http://www.w3.org/2007/OWL/wiki/LC_Responses/IH2

19:28:05 <ivan> q+

Ivan Herman: q+

19:28:09 <alanr> ack ivan

Alan Ruttenberg: ack ivan

19:28:16 <Jie> Alan: it says abstract should be stand-alone

Alan Ruttenberg: it says abstract should be stand-alone

19:29:05 <bijan> +1 to making abstract applicable to people who don't know about OWL 1 and don't need to

Bijan Parsia: +1 to making abstract applicable to people who don't know about OWL 1 and don't need to

19:29:57 <alanr> PROPOSAL: Address IH2 by chairs + others interested writing a new abstract that stands on it's own to introduce OWL 2. Keep info from the current abstract for another section.

PROPOSED: Address IH2 by chairs + others interested writing a new abstract that stands on it's own to introduce OWL 2. Keep info from the current abstract for another section.

19:30:10 <Jie> +1

+1

19:30:12 <ivan> +1

Ivan Herman: +1

19:30:16 <pfps> +1

Peter Patel-Schneider: +1

19:30:17 <MarkusK_> +1

Markus Krötzsch: +1

19:30:17 <msmith> +1

Mike Smith: +1

19:30:19 <bijan> +1

Bijan Parsia: +1

19:30:19 <alanr> +1

Alan Ruttenberg: +1

19:30:19 <uli> +1

Uli Sattler: +1

19:30:21 <Achille> +1

Achille Fokoue: +1

19:30:22 <bmotik> +1

Boris Motik: +1

19:30:24 <Zhe> +1

Zhe Wu: +1

19:30:29 <sandro> +1

Sandro Hawke: +1

19:30:33 <Bernardo> +1

Bernardo Cuenca Grau: +1

19:30:36 <alanr> RESOLVED: Address IH2 by chairs + others interested writing a new abstract that stands on it's own to introduce OWL 2. Keep info from the current abstract for another section.

RESOLVED: Address IH2 by chairs + others interested writing a new abstract that stands on it's own to introduce OWL 2. Keep info from the current abstract for another section.

19:30:48 <Jie> Topic: adjourn

3. adjourn

19:30:50 <Zakim> -uli

Zakim IRC Bot: -uli

19:30:53 <Zakim> -Peter_Patel-Schneider

Zakim IRC Bot: -Peter_Patel-Schneider

19:30:54 <MarkusK_> bye

Markus Krötzsch: bye

19:30:54 <uli> bye

Uli Sattler: bye

19:30:55 <Zakim> -msmith

Zakim IRC Bot: -msmith

19:30:56 <Zakim> -bijan

Zakim IRC Bot: -bijan

19:30:57 <Zakim> -Zhe

Zakim IRC Bot: -Zhe

19:30:57 <Zakim> -Sandro

Zakim IRC Bot: -Sandro

19:30:58 <Zakim> -MarkusK_

Zakim IRC Bot: -MarkusK_

19:30:58 <Zakim> -Alan

Zakim IRC Bot: -Alan

19:31:00 <Zakim> -Ivan

Zakim IRC Bot: -Ivan

19:31:01 <Zakim> -Bernardo

Zakim IRC Bot: -Bernardo

19:31:03 <Zakim> -bmotik

Zakim IRC Bot: -bmotik

19:31:05 <Zakim> -baojie

Zakim IRC Bot: -baojie

19:31:07 <schneid> missed RDF-Based the third time, sigh...

Michael Schneider: missed RDF-Based the third time, sigh...

19:31:15 <schneid> quit

Michael Schneider: quit

19:31:24 <Zakim> -schneid

Zakim IRC Bot: -schneid

19:31:29 <Zakim> -Achille

Zakim IRC Bot: -Achille

19:31:30 <Zakim> SW_OWL()1:00PM has ended

Zakim IRC Bot: SW_OWL()1:00PM has ended

19:31:32 <Zakim> Attendees were baojie, Bernardo, schneid, MarkusK_, Peter_Patel-Schneider, bijan, bmotik, Ivan, uli, Alan, msmith, Sandro, Achille, Zhe

Zakim IRC Bot: Attendees were baojie, Bernardo, schneid, MarkusK_, Peter_Patel-Schneider, bijan, bmotik, Ivan, uli, Alan, msmith, Sandro, Achille, Zhe


This revision (#1) generated 2009-01-25 18:47:51 UTC by 'jbao', comments: 'First saved version'