OWL Working Group

Draft Minutes of 04 June 2008

Present
Bijan Parsia Sandro Hawke Evan Wallace Peter Patel-Schneider Boris Motik Uli Sattler Michael Smith Elisa Kendall Michael Schneider Achille Fokoue Markus Krötzsch Ivan Herman Diego Calvanese Ratnesh Sahay Alan Ruttenberg Rinke Hoekstra Carsten Lutz Zhe Wu
Chair
Alan Ruttenberg
Scribe
Elisa Kendall
IRC Log
Original and Editable Wiki Version
Resolutions
  1. Accept Previous Minutes (28 May) link
  2. Accept Previous Minutes (21 May) link
Topics
16:52:52 <> PRESENT: bijan, Sandro, Evan_Wallace, Peter_Patel-Schneider, bmotik, uli, msmith, Elisa_Kendall, m_schnei, Achille, MarkusK, Ivan, calvanese, ratnesh, Ruttenberg, Rinke, Carsten, Zhe
16:52:52 <> CHAIR: alan
16:52:52 <RRSAgent> logging to http://www.w3.org/2008/06/04-owl-irc

RRSAgent IRC Bot: logging to http://www.w3.org/2008/06/04-owl-irc

16:53:07 <ewallace> ewallace has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2008.06.04/Agenda

Evan Wallace: ewallace has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2008.06.04/Agenda

16:54:34 <ewallace> Zakim, this will be owlwg

Evan Wallace: Zakim, this will be owlwg

16:54:34 <Zakim> ok, ewallace; I see SW_OWL()12:00PM scheduled to start 54 minutes ago

Zakim IRC Bot: ok, ewallace; I see SW_OWL()12:00PM scheduled to start 54 minutes ago

16:56:12 <Zakim> SW_OWL()12:00PM has now started

Zakim IRC Bot: SW_OWL()12:00PM has now started

17:02:11 <Elisa> scribe: Elisa

(No events recorded for 5 minutes)

(Scribe set to Elisa Kendall)

17:02:24 <ewallace> scribeNick:Elisa
17:02:27 <bijan> Ian is on vacation

Bijan Parsia: Ian is on vacation

17:04:18 <Elisa> Topic: Admin

1. Admin

17:04:38 <alanr> zakim, who is here?

Alan Ruttenberg: zakim, who is here?

17:04:38 <Zakim> On the phone I see bijan (muted), Evan_Wallace, Peter_Patel-Schneider, bmotik (muted), uli (muted), msmith (muted), m_schnei (muted), Elisa_Kendall, Achille, calvanese (muted),

Zakim IRC Bot: On the phone I see bijan (muted), Evan_Wallace, Peter_Patel-Schneider, bmotik (muted), uli (muted), msmith (muted), m_schnei (muted), Elisa_Kendall, Achille, calvanese (muted),

17:04:42 <Zakim> ... MarkusK, ratnesh, Ivan, Sandro, Alan, ??P15

Zakim IRC Bot: ... MarkusK, ratnesh, Ivan, Sandro, Alan, ??P15

17:04:43 <Zakim> On IRC I see Carsten, alanr, Rinke, MarkusK, calvanese, Achille, Elisa, msmith, m_schnei, uli, pfps, ratnesh, RRSAgent, ewallace, Zakim, bmotik, ivan, sandro, bijan, trackbot

Zakim IRC Bot: On IRC I see Carsten, alanr, Rinke, MarkusK, calvanese, Achille, Elisa, msmith, m_schnei, uli, pfps, ratnesh, RRSAgent, ewallace, Zakim, bmotik, ivan, sandro, bijan, trackbot

17:04:52 <Elisa> Link to Agenda is http://www.w3.org/2007/OWL/wiki/Teleconference.2008.06.04/Agenda

Link to Agenda is http://www.w3.org/2007/OWL/wiki/Teleconference.2008.06.04/Agenda

17:05:13 <Elisa> Alan: Agenda amendments: (1) we need to accept minutes of May 21

Alan Ruttenberg: Agenda amendments: (1) we need to accept minutes of May 21

17:05:37 <Elisa> Alan: (2) on imports and versioning, Alan needs to get back to Boris on wording, thus drop that

Alan Ruttenberg: (2) on imports and versioning, Alan needs to get back to Boris on wording, thus drop that

17:05:49 <Elisa> Alan: first, previous minutes, 28 May

Alan Ruttenberg: first, previous minutes, 28 May

17:05:51 <alanr> PROPOSED: Accept Previous Minutes (28 May)

PROPOSED: Accept Previous Minutes (28 May)

17:05:56 <alanr> +1

Alan Ruttenberg: +1

17:05:57 <msmith> +1 on minutes

Michael Smith: +1 on minutes

17:06:03 <Rinke> +1

Rinke Hoekstra: +1

17:06:08 <pfps> +1 minutes acceptable now

Peter Patel-Schneider: +1 minutes acceptable now

17:06:19 <Elisa> http://www.w3.org/2007/OWL/wiki/Teleconference.2008.05.28/Minutes

http://www.w3.org/2007/OWL/wiki/Teleconference.2008.05.28/Minutes

17:06:27 <ivan> +1

Ivan Herman: +1

17:06:34 <alanr> RESOLVED: Accept Previous Minutes (28 May)

RESOLVED: Accept Previous Minutes (28 May)

17:06:34 <uli> +1

Uli Sattler: +1

17:06:39 <alanr> PROPOSED: Accept Previous Minutes (21 May)

PROPOSED: Accept Previous Minutes (21 May)

17:06:47 <Elisa> http://www.w3.org/2007/OWL/wiki/Teleconference.2008.05.21/Minutes

http://www.w3.org/2007/OWL/wiki/Teleconference.2008.05.21/Minutes

17:07:04 <Elisa> Alan: there was work to be done on these -- has anyone checked them since last week?

Alan Ruttenberg: there was work to be done on these -- has anyone checked them since last week?

17:07:08 <Zakim> +Zhe

Zakim IRC Bot: +Zhe

17:07:08 <pfps> +1 minutes are better than last week

Peter Patel-Schneider: +1 minutes are better than last week

17:07:09 <uli> they look better than last time I looked

Uli Sattler: they look better than last time I looked

17:07:19 <msmith> there appeared to be reorderings, etc.

Michael Smith: there appeared to be reorderings, etc.

17:07:20 <msmith> +1

Michael Smith: +1

17:07:29 <Rinke> +1

Rinke Hoekstra: +1

17:07:29 <uli> +1

Uli Sattler: +1

17:07:34 <ivan> 0 (was not on that meeting:-)

Ivan Herman: 0 (was not on that meeting:-)

17:07:40 <ewallace> +1

Evan Wallace: +1

17:07:45 <ratnesh> 0

Ratnesh Sahay: 0

17:07:50 <alanr> RESOLVED: Accept Previous Minutes (21 May)

RESOLVED: Accept Previous Minutes (21 May)

17:08:18 <Elisa> Alan: Registration for F2F3 reminder

Alan Ruttenberg: Registration for F2F3 reminder

17:08:27 <Elisa> Topic: Pending Review Actions

2. Pending Review Actions

17:08:57 <Elisa> Alan: I've modified the action to be relative to the decision taken at the F2F.

Alan Ruttenberg: I've modified the action to be relative to the decision taken at the F2F.

17:09:07 <Elisa> Alan: I saw a note from Michael Schneider addressing some issues

Alan Ruttenberg: I saw a note from Michael Schneider addressing some issues

17:09:28 <bmotik> +1 to Alan

Boris Motik: +1 to Alan

17:09:31 <Elisa> if people agree, we could say that this action is done, but

if people agree, we could say that this action is done, but

17:09:36 <m_schnei> +1 to boris has done his job

Michael Schneider: +1 to boris has done his job

17:09:36 <Achille> +1 to Alan

Achille Fokoue: +1 to Alan

17:09:40 <Rinke> +1

Rinke Hoekstra: +1

17:09:42 <pfps> +1 to accepting action 131

Peter Patel-Schneider: +1 to accepting ACTION-131

17:09:53 <uli> +1

Uli Sattler: +1

17:09:54 <bijan> +1

Bijan Parsia: +1

17:09:58 <Zhe> +1

Zhe Wu: +1

17:10:01 <Achille> +1

Achille Fokoue: +1

17:10:09 <msmith> +1

Michael Smith: +1

17:10:16 <Elisa> but that as people review it that we would raise any issues, that we will discuss as they come up.

but that as people review it that we would raise any issues, that we will discuss as they come up.

17:10:17 <ewallace> +1 to saying the action is done, related concerns may lead to new issues

Evan Wallace: +1 to saying the action is done, related concerns may lead to new issues

17:10:33 <bijan> I'll push

Bijan Parsia: I'll push

17:10:35 <Elisa> Alan: let's consider that closed.

Alan Ruttenberg: let's consider that closed.

17:10:46 <Elisa> Alan: issue 42

Alan Ruttenberg: ISSUE-42

17:11:14 <ewallace> issue 42 will be pushed out

Evan Wallace: ISSUE-42 will be pushed out

17:11:22 <Elisa> m_schnei: Expect something written towards the end of the week (action 147).

Michael Schneider: Expect something written towards the end of the week (ACTION-147).

17:12:11 <bijan> Primer is being rewritten to take all this into account

Bijan Parsia: Primer is being rewritten to take all this into account

17:12:12 <Elisa> Achille: I did the review - just added a reviewer note on a couple of issues; we need to adjust the primer accordingly

Achille Fokoue: I did the review - just added a reviewer note on a couple of issues; we need to adjust the primer accordingly

17:12:24 <Elisa> Alan: Action 148 will be closed.

Alan Ruttenberg: ACTION-148 will be closed.

17:12:50 <Elisa> Alan: Action 150 continued to next week.

Alan Ruttenberg: ACTION-150 continued to next week.

17:13:16 <Elisa> Alan: Another agenda amendment, Ian and I have accepted 4 more issues - we'll send email

Alan Ruttenberg: Another agenda amendment, Ian and I have accepted 4 more issues - we'll send email

17:13:40 <Elisa> Alan:  Issue 104 - the status of this is editorial

Alan Ruttenberg: ISSUE-104 - the status of this is editorial

17:14:01 <Elisa> m_schnei: I didn't quite understand -- this issue is about to be resolved today ... difficult to see from the agenda.

Michael Schneider: I didn't quite understand -- this issue is about to be resolved today ... difficult to see from the agenda.

17:14:31 <Elisa> Alan: When an issue is considered editorial, anyone in the wg can address it and close it when they do

Alan Ruttenberg: When an issue is considered editorial, anyone in the wg can address it and close it when they do

17:14:56 <Elisa> m_schnei: This certainly isn't editorial -- in the old OWL 1.1 DL spec there was a complete list of URIs that were not allowed to be used, and everything that was not in the list is allowed to be used.

Michael Schneider: This certainly isn't editorial -- in the old OWL 1.1 DL spec there was a complete list of URIs that were not allowed to be used, and everything that was not in the list is allowed to be used.

17:15:31 <alanr> Noted, Boris ...

Alan Ruttenberg: Noted, Boris ...

17:15:51 <Elisa> m_schnei: In the current form, all RDF and RDFS URIs are excluded, so in particular the reification vocabulary would not allowed to be used and so this is a backwards compatibility issue

Michael Schneider: In the current form, all RDF and RDFS URIs are excluded, so in particular the reification vocabulary would not allowed to be used and so this is a backwards compatibility issue

17:16:06 <Elisa> Alan: If you and Boris can work this out, then we can make this editorial.

Alan Ruttenberg: If you and Boris can work this out, then we can make this editorial.

17:16:33 <Elisa> m_schnei: It's a problem to make this editorial - I would not be in favor of that.

Michael Schneider: It's a problem to make this editorial - I would not be in favor of that.

17:17:05 <Elisa> Alan: That's enough for me to consider it an issue for discussion ... do you feel you would be comfortable to discuss it now or over email?

Alan Ruttenberg: That's enough for me to consider it an issue for discussion ... do you feel you would be comfortable to discuss it now or over email?

17:17:20 <alanr> ack m_schnei

Alan Ruttenberg: ack m_schnei

17:17:25 <Elisa> m_schnei: I will come up with a list of uris from the old spec that were allowed.

Michael Schneider: I will come up with a list of uris from the old spec that were allowed.

17:17:30 <bmotik> OK.

Boris Motik: OK.

17:17:37 <Elisa> Alan: Let's put that on the list for discussion next week.

Alan Ruttenberg: Let's put that on the list for discussion next week.

17:17:48 <alanr> put 104 on next week's agenda for discussion. Not editorial any more.

Alan Ruttenberg: put 104 on next week's agenda for discussion. Not editorial any more.

17:18:42 <bmotik> Yes

Boris Motik: Yes

17:18:47 <Elisa> Alan: Should we proceed on the general discussion first, since Boris needs to leave at 2

Alan Ruttenberg: Should we proceed on the general discussion first, since Boris needs to leave at 2

17:18:54 <Elisa> Topic: General Discussion

3. General Discussion

17:19:35 <Elisa> Alan: there were some concerns with easy keys, one had to do with implementation, the other had to do with being at risk since there were no implementations yet

Alan Ruttenberg: there were some concerns with easy keys, one had to do with implementation, the other had to do with being at risk since there were no implementations yet

17:20:10 <Elisa> Boris: so, I've been thinking about implementation -- in email I tried to explain why I don't think this is trivial and on the other hand why it might work.

Boris Motik: so, I've been thinking about implementation -- in email I tried to explain why I don't think this is trivial and on the other hand why it might work.

<Elisa> ... In order to explain the details, you need to be involved in tableaux algorithms. For the moment I would say that this is work in progress, and then we shall see whether or not it goes into the spec.

... In order to explain the details, you need to be involved in tableaux algorithms. For the moment I would say that this is work in progress, and then we shall see whether or not it goes into the spec.

17:21:28 <Elisa> Alan: Does that mean it cannot be implemented using rule-based techniques?

Alan Ruttenberg: Does that mean it cannot be implemented using rule-based techniques?

17:21:48 <Elisa> Boris: in rule-based techniques it is much easier

Boris Motik: in rule-based techniques it is much easier

17:22:04 <MarkusK> Re Boris (the problem is in existentials): this is not the case for EL++, where the existentials are also harmless

Markus Krötzsch: Re Boris (the problem is in existentials): this is not the case for EL++, where the existentials are also harmless

17:22:04 <Elisa> Boris: The problems arise when you get these existentially introduced individuals.

Boris Motik: The problems arise when you get these existentially introduced individuals.

17:22:48 <Elisa> Bijan: I think we need to keep a distinction between it being easy in all cases and easy in key cases and easy for users to write properly.

Bijan Parsia: I think we need to keep a distinction between it being easy in all cases and easy in key cases and easy for users to write properly.

17:23:00 <bmotik> Markus, why do you think this?

Boris Motik: Markus, why do you think this?

17:23:12 <Elisa> Bijan: So it's clear that the much easier keys, where you look for explicit data values, rather than data ranges, is going to be easier, but that's always going to be the case.

Bijan Parsia: So it's clear that the much easier keys, where you look for explicit data values, rather than data ranges, is going to be easier, but that's always going to be the case.

17:23:29 <MarkusK> Boris, because you can compile EL++ into Datalog, and use a rule based reasoning too

Markus Krötzsch: Boris, because you can compile EL++ into Datalog, and use a rule based reasoning too

17:23:38 <Elisa> Bijan: If you enumerate, or define finite subsets of individuals you may have trouble there, so I'm wondering what standard Boris thinks we need for scalability.

Bijan Parsia: If you enumerate, or define finite subsets of individuals you may have trouble there, so I'm wondering what standard Boris thinks we need for scalability.

17:23:56 <MarkusK> ... where the compilation is trivial

Markus Krötzsch: ... where the compilation is trivial

17:24:08 <Elisa> Bijan: We could put a restriction on the data properties, but that seems unfortunate in this case.

Bijan Parsia: We could put a restriction on the data properties, but that seems unfortunate in this case.

17:24:45 <Elisa> Ivan: in some ways I agree with what Bijan just said ... in some ways easy keys seems an important set of use cases.

Ivan Herman: in some ways I agree with what Bijan just said ... in some ways easy keys seems an important set of use cases.

17:24:54 <bijan> To be precise, it is "pay as you go"

Bijan Parsia: To be precise, it is "pay as you go"

17:24:58 <bmotik> q+ to answer to Ivan

Boris Motik: q+ to answer to Ivan

17:25:02 <Carsten> +1 to ivan

Carsten Lutz: +1 to ivan

17:25:18 <Elisa> Ivan: It seems doable in OWL-R, and with some difficulty in OWL DL, but that doesn't seem a good argument.

Ivan Herman: It seems doable in OWL-R, and with some difficulty in OWL DL, but that doesn't seem a good argument.

17:25:37 <Elisa> Uli: We know the harmful and harmless cases and can distinguish them.

Uli Sattler: We know the harmful and harmless cases and can distinguish them.

17:25:53 <MarkusK> +1 to Uli: there are other ways to break reasoning already

Markus Krötzsch: +1 to Uli: there are other ways to break reasoning already

17:26:01 <Elisa> Uli: If you want to break the reasoning you can do this -- I don't see the difference between this case and other cases in OWL DL.

Uli Sattler: If you want to break the reasoning you can do this -- I don't see the difference between this case and other cases in OWL DL.

17:26:12 <bijan> Or to rephrase it, would people prefer to have a syntactic restriction on key properties or to have potential nonscalable cases.

Bijan Parsia: Or to rephrase it, would people prefer to have a syntactic restriction on key properties or to have potential nonscalable cases.

17:26:31 <Elisa> Alan: Perhaps it makes sense to distinguish between the two cases -- handle the easier case in the first pass, and then have a pass if possible.

Alan Ruttenberg: Perhaps it makes sense to distinguish between the two cases -- handle the easier case in the first pass, and then have a pass if possible.

17:27:10 <bijan> (It's easier to spec easy keys than easy peasy keys)

Bijan Parsia: (It's easier to spec easy keys than easy peasy keys)

17:27:17 <Zakim> bmotik, you wanted to answer to Ivan

Zakim IRC Bot: bmotik, you wanted to answer to Ivan

17:27:35 <Elisa> Uli: If we can leave it with the easy case, then the easy keys become "easy-peasy".

Uli Sattler: If we can leave it with the easy case, then the easy keys become "easy-peasy".

17:28:05 <bijan> (Right, easy keys dumb down to easy-peasy keys in e.g., owl-r)

Bijan Parsia: (Right, easy keys dumb down to easy-peasy keys in e.g., owl-r)

17:28:07 <Elisa> Boris: in OWL-R both are the same -- I wasn't necessarily advocating for only easy-peasy keys.  I do believe that there is a difference, though, because of the complexity of the algorithms.  But we have had some validation of these features - SNOMED, Galen, where we have empirically demonstrated that you can use the existing constructs and not get into problems.  The email I wrote talked about difficulties that could arise.

Boris Motik: in OWL-R both are the same -- I wasn't necessarily advocating for only easy-peasy keys. I do believe that there is a difference, though, because of the complexity of the algorithms. But we have had some validation of these features - SNOMED, Galen, where we have empirically demonstrated that you can use the existing constructs and not get into problems. The email I wrote talked about difficulties that could arise.

17:30:03 <Elisa> Bijan: We haven't had implementation experience, but you believe that the examples are going to be relatively common.

Bijan Parsia: We haven't had implementation experience, but you believe that the examples are going to be relatively common.

17:30:12 <Elisa> Boris: Yes

Boris Motik: Yes

17:30:29 <Elisa> Bijan: So let's say that it turns out to be harder in that case, what's your strategy for it?

Bijan Parsia: So let's say that it turns out to be harder in that case, what's your strategy for it?

17:30:43 <pfps> if there are no implementations, then keys *have* to be dumped, right?

Peter Patel-Schneider: if there are no implementations, then keys *have* to be dumped, right?

17:30:49 <alanr> yes

Alan Ruttenberg: yes

17:31:12 <Elisa> Boris: if it turns out in these typical cases where you go beyond OWL-R, then ... I would really suggest that we keep these two things separate

Boris Motik: if it turns out in these typical cases where you go beyond OWL-R, then ... I would really suggest that we keep these two things separate

17:31:20 <bijan> WE can always have implemetnatiosn :)

Bijan Parsia: WE can always have implemetnatiosn :)

17:31:31 <alanr> do they need to be correct?

Alan Ruttenberg: do they need to be correct?

17:31:31 <ivan> pfps: actually, the usual CR exit criteria is to have 2 independent implementations for each feature...

Peter Patel-Schneider: actually, the usual CR exit criteria is to have 2 independent implementations for each feature... [ Scribe Assist by Ivan Herman ]

17:31:32 <Elisa> Boris: We would have something in the language that doesn't really fit. Perhaps given the implementation we will know how to put the proper disclaimer on it.

Boris Motik: We would have something in the language that doesn't really fit. Perhaps given the implementation we will know how to put the proper disclaimer on it.

17:32:06 <Elisa> Bijan: I still didn't quite understand the alternative to dumping keys altogether.

Bijan Parsia: I still didn't quite understand the alternative to dumping keys altogether.

17:32:23 <Elisa> Boris: you could consider them DL-safe rules, or define them outside the spec.

Boris Motik: you could consider them DL-safe rules, or define them outside the spec.

17:32:42 <Elisa> Bijan: you do advocate dumping them from our spec and keeping them outside?

Bijan Parsia: you do advocate dumping them from our spec and keeping them outside?

17:33:00 <Elisa> Boris: Well it depends on the results of the implementation experience, but yes.

Boris Motik: Well it depends on the results of the implementation experience, but yes.

17:33:17 <Elisa> Alan: Perhaps we should discuss this over the week and then revisit it next week.

Alan Ruttenberg: Perhaps we should discuss this over the week and then revisit it next week.

17:33:23 <bijan> No

Bijan Parsia: No

17:33:29 <Elisa> Alan: Would it help to have more time? I wouldn't mind having another week to figure out some way forward to putting these in the spec, perhaps at least easy-peasy keys.

Alan Ruttenberg: Would it help to have more time? I wouldn't mind having another week to figure out some way forward to putting these in the spec, perhaps at least easy-peasy keys.

17:34:13 <bmotik> +1 to Uli

Boris Motik: +1 to Uli

17:34:48 <Elisa> Uli: What would help to sort this out would be to see use cases, and if nobody uses datatype predicates on them, then we will know that easy keys are not more difficult than easy peasy keys, and we could check syntactically, and I agree with Boris that we don't have other cases like that in there.

Uli Sattler: What would help to sort this out would be to see use cases, and if nobody uses datatype predicates on them, then we will know that easy keys are not more difficult than easy peasy keys, and we could check syntactically, and I agree with Boris that we don't have other cases like that in there.

17:35:09 <uli> yes

Uli Sattler: yes

17:35:13 <uli> yes

Uli Sattler: yes

17:35:19 <bijan> http://www.w3.org/2007/OWL/wiki/Easy_Keys#Why_not_easiest_keys.3F

Bijan Parsia: http://www.w3.org/2007/OWL/wiki/Easy_Keys#Why_not_easiest_keys.3F

17:35:50 <bijan> See that uri

Bijan Parsia: See that uri

17:35:50 <uli> Michael, this makes trouble to define

Uli Sattler: Michael, this makes trouble to define

17:35:54 <Elisa> m_schnei: I see even an easier feature, where the property versions that would be the easiest way compared to easy-peasy keys, these

Michael Schneider: I see even an easier feature, where the property versions that would be the easiest way compared to easy-peasy keys, these

17:36:09 <uli> Michael, we can't define a semantics for these - or can you?

Uli Sattler: Michael, we can't define a semantics for these - or can you?

17:36:37 <uli> yes

Uli Sattler: yes

17:36:41 <Elisa> Boris: as long as the assertions contain constants, it isn't too bad, the issue is when you have individuals that can be interpreted in any way

Boris Motik: as long as the assertions contain constants, it isn't too bad, the issue is when you have individuals that can be interpreted in any way

17:37:07 <Elisa> Bijan: Can I just point out that there is a pretty extensive discussion on the easy keys page

Bijan Parsia: Can I just point out that there is a pretty extensive discussion on the easy keys page

17:37:43 <Elisa> Ivan: So one more thing - I can't really comment on the DL side, but I would object to removing the keys from OWL-R, where it isn't really a problem. I certainly don't think that removing from the whole spec is justifiable

Ivan Herman: So one more thing - I can't really comment on the DL side, but I would object to removing the keys from OWL-R, where it isn't really a problem. I certainly don't think that removing from the whole spec is justifiable

17:37:48 <pfps> Are keys *in* OWL-R?  If not, how can they be *removed*?

Peter Patel-Schneider: Are keys *in* OWL-R? If not, how can they be *removed*?

17:38:01 <uli> Ivan, I don't think that this will be necessary

Uli Sattler: Ivan, I don't think that this will be necessary

17:38:18 <ivan> pfps: my understanding is that it can be added to OWL-R easily

Peter Patel-Schneider: my understanding is that it can be added to OWL-R easily [ Scribe Assist by Ivan Herman ]

17:38:19 <Elisa> Boris: I'm not advocating a change to the semantics, or two different constructs ... the semantics is ok; I do believe that there might be a reason to drop this out of OWL -- they apply only to these explicitly named individuals and are much more akin to rules.

Boris Motik: I'm not advocating a change to the semantics, or two different constructs ... the semantics is ok; I do believe that there might be a reason to drop this out of OWL -- they apply only to these explicitly named individuals and are much more akin to rules.

17:38:20 <alanr> peachy keys

Alan Ruttenberg: peachy keys

17:38:42 <m_schnei> uli, yes you're right, this seems hard. for the variables, we have the "HU(.)" predicate, but what can we say about the "r(.,.)" ?

Michael Schneider: uli, yes you're right, this seems hard. for the variables, we have the "HU(.)" predicate, but what can we say about the "r(.,.)" ?

17:38:51 <bijan> Deliberately so!

Bijan Parsia: Deliberately so!

17:39:12 <uli> michael, indeed (see the discussion Bijan has pointed out)

Uli Sattler: michael, indeed (see the discussion Bijan has pointed out)

17:39:38 <Elisa> Boris: it might make sense to think about how to implement it before putting it in there.  I do think in all likelihood it is implementable but if you have a million individuals then you have a million squared individuals. We should see if it really works before putting it into the spec.

Boris Motik: it might make sense to think about how to implement it before putting it in there. I do think in all likelihood it is implementable but if you have a million individuals then you have a million squared individuals. We should see if it really works before putting it into the spec.

17:40:55 <bijan> +1 to uli

Bijan Parsia: +1 to uli

17:40:57 <Elisa> Uli: In contrast to easy keys, I have seen more use cases for top and bottom property, but i haven't heard anyone shout so loudly for them as I have for keys. I think we can drop them far more easily than keys.

Uli Sattler: In contrast to easy keys, I have seen more use cases for top and bottom property, but i haven't heard anyone shout so loudly for them as I have for keys. I think we can drop them far more easily than keys.

17:41:35 <Elisa> Boris: we don't see OWL DL reasoners that can handle a million individuals ... in OWL R you can - you put it into one of our reasoners, you see whether or not it can be done ... let's just do this

Boris Motik: we don't see OWL DL reasoners that can handle a million individuals ... in OWL R you can - you put it into one of our reasoners, you see whether or not it can be done ... let's just do this

17:42:03 <uli> ...and bottom role is easy anyway

Uli Sattler: ...and bottom role is easy anyway

17:42:49 <Elisa> Bijan: I think that Uli pointed out that in one of these cases there has been a huge battle/desire/complaints for keys, not so much for top and bottom property, so I think it's easier to drop these. There is different motivation for these, for keys it's a huge wart on the language, but we can request implementation and see what happens. So there is always a wide balance of considerations, and no one was trying to suggest otherwise. Whether we keep this on a separate page or include them is a different issue now -- we're at the implementation stage and need to see whether or not we can do them.

Bijan Parsia: I think that Uli pointed out that in one of these cases there has been a huge battle/desire/complaints for keys, not so much for top and bottom property, so I think it's easier to drop these. There is different motivation for these, for keys it's a huge wart on the language, but we can request implementation and see what happens. So there is always a wide balance of considerations, and no one was trying to suggest otherwise. Whether we keep this on a separate page or include them is a different issue now -- we're at the implementation stage and need to see whether or not we can do them.

17:44:39 <uli> s/keyes/keys

Uli Sattler: s/keyes/keys

17:44:48 <Elisa> Alan: would there be any strong objectors to dropping top and bottom role?  Do you think there isn't any reason to spend more time on them?

Alan Ruttenberg: would there be any strong objectors to dropping top and bottom role? Do you think there isn't any reason to spend more time on them?

17:45:08 <Carsten> yes

Carsten Lutz: yes

17:45:08 <sandro> +0.5 keep top and bottom

Sandro Hawke: +0.5 keep top and bottom

17:45:09 <pfps> no - no strong objection from me to not including top/bottom

Peter Patel-Schneider: no - no strong objection from me to not including top/bottom

17:45:10 <Elisa> Alan: If you say yes then you really want them.

Alan Ruttenberg: If you say yes then you really want them.

17:45:11 <MarkusK> +0.5 to top

Markus Krötzsch: +0.5 to top

17:45:16 <ivan> 0

Ivan Herman: 0

17:45:17 <bmotik> +1 to investigate top and bottom

Boris Motik: +1 to investigate top and bottom

17:45:23 <uli> +0.3 ...it would be a shame if we dropped them unnecessarily

Uli Sattler: +0.3 ...it would be a shame if we dropped them unnecessarily

17:45:25 <m_schnei> 0

Michael Schneider: 0

17:45:29 <Rinke> +0.5 to have top

Rinke Hoekstra: +0.5 to have top

17:45:29 <Achille> 0

Achille Fokoue: 0

17:45:33 <MarkusK> (+1 to not drop something based on theoretical performance considerations)

Markus Krötzsch: (+1 to not drop something based on theoretical performance considerations)

17:46:02 <Elisa> Alan: so it's been mentioned several times, so regardless of whether we put something into the spec, we will need 2 implementations

Alan Ruttenberg: so it's been mentioned several times, so regardless of whether we put something into the spec, we will need 2 implementations

17:46:20 <Rinke> +1 MarkusK

Rinke Hoekstra: +1 MarkusK

17:47:16 <Elisa> Alan: so I'm wondering whether we should resolve such problems by saying that we should put these things in and see what happens, or not? The advantage of putting them in is that folks have something to think about for longer.

Alan Ruttenberg: so I'm wondering whether we should resolve such problems by saying that we should put these things in and see what happens, or not? The advantage of putting them in is that folks have something to think about for longer.

17:47:30 <bijan> I'd prefer for things to get  into Working Drafts

Bijan Parsia: I'd prefer for things to get into Working Drafts

17:47:43 <sandro> "at risk"

Sandro Hawke: "at risk"

17:47:54 <uli> sounds fine

Uli Sattler: sounds fine

17:48:00 <Elisa> Sandro: the W3C key is to say that something is at risk, then if you take it out later you don't have to worry about the process.

Sandro Hawke: the W3C key is to say that something is at risk, then if you take it out later you don't have to worry about the process.

17:48:11 <bijan> If something is not labeled at risk and gets pulled out, the default is to go back to last call

Bijan Parsia: If something is not labeled at risk and gets pulled out, the default is to go back to last call

17:48:54 <Elisa> Boris:  I don't think that discussing this over email would be useful -- my proposal would be to implement these features and then come back and say yes this was the experience

Boris Motik: I don't think that discussing this over email would be useful -- my proposal would be to implement these features and then come back and say yes this was the experience

17:49:08 <ewallace> do we have volunteers to implement?

Evan Wallace: do we have volunteers to implement?

17:49:16 <ewallace> applauds Boris as well!

Evan Wallace: applauds Boris as well!

17:49:31 <bijan> I'm experiementing with Top and Bottom

Bijan Parsia: I'm experiementing with Top and Bottom

17:49:37 <bijan> And some easy key stuff as well

Bijan Parsia: And some easy key stuff as well

17:49:40 <Elisa> Boris: My proposal would be to postpone this for a week, 2, 3 and then see what really happens ... in my case the implementation isn't really there so it would be a month before I could come back with an answer.

Boris Motik: My proposal would be to postpone this for a week, 2, 3 and then see what really happens ... in my case the implementation isn't really there so it would be a month before I could come back with an answer.

17:50:00 <bijan> We can always mark them in WDs as "needing implementor feedback"

Bijan Parsia: We can always mark them in WDs as "needing implementor feedback"

17:50:03 <Elisa> Alan: We should discuss next week whether or not we should put things that are at risk into the spec.

Alan Ruttenberg: We should discuss next week whether or not we should put things that are at risk into the spec.

17:50:20 <Elisa> Topic: Issue Discussions

4. Issue Discussions

17:51:00 <bmotik> It's not issue 108; it's a thing that doesn't have an issue

Boris Motik: It's not ISSUE-108; it's a thing that doesn't have an issue

17:51:16 <Elisa> Alan: issue 108 -- I sent out mail to the W3C space to see what was there and there seemed to be some relevant things about how we should be using the keywords (should, must)

Alan Ruttenberg: ISSUE-108 -- I sent out mail to the W3C space to see what was there and there seemed to be some relevant things about how we should be using the keywords (should, must)

17:51:55 <Elisa> Boris: I also looked in one of these RFCs, regarding "should" and I wasn't happy with that because it says this is optional, and I would like something more than optional

Boris Motik: I also looked in one of these RFCs, regarding "should" and I wasn't happy with that because it says this is optional, and I would like something more than optional

17:52:07 <bijan> SHOULD, in practice, varies in its strength

Bijan Parsia: SHOULD, in practice, varies in its strength

17:52:10 <alanr> 3. SHOULD   This word, or the adjective "RECOMMENDED", mean that there

Alan Ruttenberg: 3. SHOULD This word, or the adjective "RECOMMENDED", mean that there

17:52:11 <alanr>    may exist valid reasons in particular circumstances to ignore a

Alan Ruttenberg: may exist valid reasons in particular circumstances to ignore a

17:52:11 <alanr>    particular item, but the full implications must be understood and

Alan Ruttenberg: particular item, but the full implications must be understood and

17:52:11 <alanr>    carefully weighed before choosing a different course.

Alan Ruttenberg: carefully weighed before choosing a different course.

17:52:22 <alanr> 4. SHOULD NOT   This phrase, or the phrase "NOT RECOMMENDED" mean that

Alan Ruttenberg: 4. SHOULD NOT This phrase, or the phrase "NOT RECOMMENDED" mean that

17:52:22 <alanr>    there may exist valid reasons in particular circumstances when the

Alan Ruttenberg: there may exist valid reasons in particular circumstances when the

17:52:22 <alanr>    particular behavior is acceptable or even useful, but the full

Alan Ruttenberg: particular behavior is acceptable or even useful, but the full

17:52:22 <alanr>    implications should be understood and the case carefully weighed

Alan Ruttenberg: implications should be understood and the case carefully weighed

17:52:23 <alanr>    before implementing any behavior described with this label.

Alan Ruttenberg: before implementing any behavior described with this label.

17:52:24 <Elisa> Boris: We've been using this to say something is default ... do it like this unless you have a very good reason for not doing it.

Boris Motik: We've been using this to say something is default ... do it like this unless you have a very good reason for not doing it.

17:52:35 <Elisa> Sandro: it doesn't mean optional ...

Sandro Hawke: it doesn't mean optional ...

17:52:38 <msmith> http://www.ietf.org/rfc/rfc2119.txt

Michael Smith: http://www.ietf.org/rfc/rfc2119.txt

17:52:52 <Elisa> Boris: then I looked at a different document

Boris Motik: then I looked at a different document

17:53:34 <Elisa> Bijan: the official definition is what you were asking for, but in general, "should" can have the effect of being optional, or could have the effect of being mandatory, depending on how you read it.  If we are going to have shoulds, then we can use it as specified in the RFC -- shoulds are compatibility points.

Bijan Parsia: the official definition is what you were asking for, but in general, "should" can have the effect of being optional, or could have the effect of being mandatory, depending on how you read it. If we are going to have shoulds, then we can use it as specified in the RFC -- shoulds are compatibility points.

17:53:58 <ewallace> We SHOULD use SHOULD an interpret it as Alan quoted under 3 (Boris' meaning)

Evan Wallace: We SHOULD use SHOULD an interpret it as Alan quoted under 3 (Boris' meaning)

17:54:22 <Elisa> Boris: as we are using it, the meaning is exactly as in the RFC, so perhaps we should repeat it. I don't think we will be using other keywords.  If you are departing from this default, you should advertize it clearly. The inventor is obliged to say what he really did there.

Boris Motik: as we are using it, the meaning is exactly as in the RFC, so perhaps we should repeat it. I don't think we will be using other keywords. If you are departing from this default, you should advertize it clearly. The inventor is obliged to say what he really did there.

17:54:51 <bijan> "Warnings"

Bijan Parsia: "Warnings"

17:55:12 <sandro> +1 boris, yes we can/should require vendors to be clear about when they are exercising a SHOULD.

Sandro Hawke: +1 boris, yes we can/should require vendors to be clear about when they are exercising a SHOULD.

17:55:31 <alanr> http://www.w3.org/2001/06/manual/#RFC

Alan Ruttenberg: http://www.w3.org/2001/06/manual/#RFC

17:55:32 <Elisa> Alan: The only question I have is that the manuals say how to do this and make it typographically visible - is there any reason we shouldn't do that?  In the w3c manual, it says explicitly how to use them.

Alan Ruttenberg: The only question I have is that the manuals say how to do this and make it typographically visible - is there any reason we shouldn't do that? In the w3c manual, it says explicitly how to use them.

17:56:18 <sandro> "conformance labels"

Sandro Hawke: "conformance labels"

17:56:38 <Elisa> Bijan: This idea that we should have some kind of --- from vendors we should talk about some notion of conformance, and that we could ask that warnings be given in some form or another, we haven't done any of that yet.

Bijan Parsia: This idea that we should have some kind of --- from vendors we should talk about some notion of conformance, and that we could ask that warnings be given in some form or another, we haven't done any of that yet.

17:57:04 <Elisa> Alan: If you could put an issue in for this, it's distinct from what we're discussing and useful

Alan Ruttenberg: If you could put an issue in for this, it's distinct from what we're discussing and useful

17:57:38 <bijan> we do!

Bijan Parsia: we do!

17:57:39 <Elisa> Boris: If people really depart from these things, it has to be clear that an implementation is really departing from the "should". It would be useful for the implementer to say what part of the shoulds they did not implement; if a vendor says they are compliant, they should say that they are OWL 2 compliant BUT ...

Boris Motik: If people really depart from these things, it has to be clear that an implementation is really departing from the "should". It would be useful for the implementer to say what part of the shoulds they did not implement; if a vendor says they are compliant, they should say that they are OWL 2 compliant BUT ...

17:57:49 <sandro> I think we can require warnings.

Sandro Hawke: I think we can require warnings.

17:59:28 <Elisa> Bijan: Among our options are conformance labels, warnings ... and we can choose what we say about these. Similar things occur in other W3C specifications - we can say that in order to conform with OWL 2 you must adhere to the shoulds.

Bijan Parsia: Among our options are conformance labels, warnings ... and we can choose what we say about these. Similar things occur in other W3C specifications - we can say that in order to conform with OWL 2 you must adhere to the shoulds.

17:59:52 <Elisa> Boris: I agree that the last thing you said is just a conformance label and I've put this into the spec.

Boris Motik: I agree that the last thing you said is just a conformance label and I've put this into the spec.

18:00:45 <Elisa> Alan: The issue is if we are going to use "SHOULD" then we should follow the advice of the TR with respect to how we use them; if we are going to talk about conformance levels, that's an interesting and separate issue that we should put in and take up at another meeting. We also need to cite it as a reference and do the other things they say we need to do.

Alan Ruttenberg: The issue is if we are going to use "SHOULD" then we should follow the advice of the TR with respect to how we use them; if we are going to talk about conformance levels, that's an interesting and separate issue that we should put in and take up at another meeting. We also need to cite it as a reference and do the other things they say we need to do.

18:01:05 <bijan> Issue-130 has been raised

Bijan Parsia: ISSUE-130 has been raised

18:02:25 <Elisa> Alan: Issue 97 - We decided that we would write up a short doc about how to handle GRDDL for the OWL XML syntax; the issue is regarding who would take up this document development

Alan Ruttenberg: ISSUE-97 - We decided that we would write up a short doc about how to handle GRDDL for the OWL XML syntax; the issue is regarding who would take up this document development

18:02:30 <bijan> Ok

Bijan Parsia: Ok

18:02:59 <sandro> ivan!   ivan!

Sandro Hawke: ivan! ivan!

18:03:01 <Elisa> Alan: Action on Bijan to write up this point of view; It would be good to have one of the W3c guys write up something on how to do this using XSLT.  I want to get someone to commit to the writing.

Alan Ruttenberg: Action on Bijan to write up this point of view; It would be good to have one of the W3c guys write up something on how to do this using XSLT. I want to get someone to commit to the writing.

18:03:08 <bijan> I could do it :)

Bijan Parsia: I could do it :)

18:03:33 <bijan> I won't be at the f2f either

Bijan Parsia: I won't be at the f2f either

18:03:43 <bijan> I can write the pro case!

Bijan Parsia: I can write the pro case!

18:04:07 <Elisa> Alan: Ivan would you write up the first draft? On email or the wiki.

Alan Ruttenberg: Ivan would you write up the first draft? On email or the wiki.

18:04:11 <Elisa> Ivan: ok

Ivan Herman: ok

18:05:07 <alanr> action: bijan write 1/2 of GRDDL pro/con document for presentation and vote in next f2f

ACTION: bijan write 1/2 of GRDDL pro/con document for presentation and vote in next f2f

18:05:07 <trackbot> Created ACTION-154 - Write 1/2 of GRDDL pro/con document for presentation and vote in next f2f [on Bijan Parsia - due 2008-06-11].

Trackbot IRC Bot: Created ACTION-154 - Write 1/2 of GRDDL pro/con document for presentation and vote in next f2f [on Bijan Parsia - due 2008-06-11].

18:05:31 <alanr> ivan write 1/2 of GRDDL pro/con document for presentation and vote in next f2f, Sandro to own it at F2F

Alan Ruttenberg: ivan write 1/2 of GRDDL pro/con document for presentation and vote in next f2f, Sandro to own it at F2F

18:05:48 <alanr> action: ivan write 1/2 of GRDDL pro/con document for presentation and vote in next f2f, Sandro to own it at F2F

ACTION: ivan write 1/2 of GRDDL pro/con document for presentation and vote in next f2f, Sandro to own it at F2F

18:05:49 <trackbot> Created ACTION-155 - Write 1/2 of GRDDL pro/con document for presentation and vote in next f2f, Sandro to own it at F2F [on Ivan Herman - due 2008-06-11].

Trackbot IRC Bot: Created ACTION-155 - Write 1/2 of GRDDL pro/con document for presentation and vote in next f2f, Sandro to own it at F2F [on Ivan Herman - due 2008-06-11].

18:06:13 <bijan> Can I get a pointer ot hte discussion last week?

Bijan Parsia: Can I get a pointer ot hte discussion last week?

18:06:16 <bijan> I'mahving trouble finding it

Bijan Parsia: I'mahving trouble finding it

18:06:20 <pfps> I'm happy to talk about 124

Peter Patel-Schneider: I'm happy to talk about 124

18:06:26 <Elisa> Alan: Issue 124 - should we discuss this?

Alan Ruttenberg: ISSUE-124 - should we discuss this?

18:07:03 <alanr> agreed to http://lists.w3.org/Archives/Public/public-owl-wg/2008May/0118.html

Alan Ruttenberg: agreed to http://lists.w3.org/Archives/Public/public-owl-wg/2008May/0118.html

18:07:27 <Elisa> Bijan: I'm confused about what I should be writing up on GRDDL - need a little context, but it came from the discussion two weeks ago.

Bijan Parsia: I'm confused about what I should be writing up on GRDDL - need a little context, but it came from the discussion two weeks ago.

18:08:29 <Elisa> Sandro: The process could be that Bijan writes it, and everyone screams, or Alan writes it and everyone screams -- Sandro will provide the context to Bijan with regard to how to resolve this from the minutes two weeks ago.

Sandro Hawke: The process could be that Bijan writes it, and everyone screams, or Alan writes it and everyone screams -- Sandro will provide the context to Bijan with regard to how to resolve this from the minutes two weeks ago.

18:08:32 <ivan> :-0

Ivan Herman: :-0

18:08:58 <Elisa> Alan: we were going to have a formal vote on this ...

Alan Ruttenberg: we were going to have a formal vote on this ...

18:09:14 <Elisa> Bijan: so where does that leave us?

Bijan Parsia: so where does that leave us?

18:09:46 <Elisa> Alan: I would rather have Bijan contribute the piece he needs to create, and then have Ivan do the same with the other side

Alan Ruttenberg: I would rather have Bijan contribute the piece he needs to create, and then have Ivan do the same with the other side

18:09:58 <sandro> two weeks ago discussion: http://www.w3.org/2007/OWL/wiki/Teleconference.2008.05.21/Minutes#General_Discussion:_Issue_97

Sandro Hawke: two weeks ago discussion: http://www.w3.org/2007/OWL/wiki/Teleconference.2008.05.21/Minutes#General_Discussion:_Issue_97

18:10:05 <Elisa> Alan: Issue 124

Alan Ruttenberg: ISSUE-124

18:10:41 <pfps> q+ to note that the "related notes" in the issue appear to be incorrect, ...

Peter Patel-Schneider: q+ to note that the "related notes" in the issue appear to be incorrect, ...

18:11:44 <alanr> peter - agree, my mistake - will fix

Alan Ruttenberg: peter - agree, my mistake - will fix

18:11:45 <Elisa> m_schnei: The issue is for OWL Full in the current semantics, the complement is relative to the whole domain, and the problem is that all datatypes, or all subsets of RDFSLiteral. The currently used URI for this is overloaded.

Michael Schneider: The issue is for OWL Full in the current semantics, the complement is relative to the whole domain, and the problem is that all datatypes, or all subsets of RDFSLiteral. The currently used URI for this is overloaded.

18:12:28 <Zakim> pfps, you wanted to note that the "related notes" in the issue appear to be incorrect, ...

Zakim IRC Bot: pfps, you wanted to note that the "related notes" in the issue appear to be incorrect, ...

18:12:34 <Elisa> m_schnei: There are two domains for this in OWL DL but only one domain in OWL Full

Michael Schneider: There are two domains for this in OWL DL but only one domain in OWL Full

18:13:45 <m_schnei> what i am talking about here is actually a distinct issue, which just came up in the discussion of 124

Michael Schneider: what i am talking about here is actually a distinct issue, which just came up in the discussion of 124

18:14:13 <Elisa> Alan: Originally, when we talked about complement of datarange, when we talked about the complement of 5 integer, you got all other integers ... but then Boris said that the complement would include all other datatypes, not just integers.

Alan Ruttenberg: Originally, when we talked about complement of datarange, when we talked about the complement of 5 integer, you got all other integers ... but then Boris said that the complement would include all other datatypes, not just integers.

18:14:37 <Elisa> m_schnei: What I propose is to just give it a strict name for this other complement.  This is different from issue 124 -- it is much easier to fix, all we need to do is provide an owl data complement uri.  This came up during the discussion of issue 124.

Michael Schneider: What I propose is to just give it a strict name for this other complement. This is different from ISSUE-124 -- it is much easier to fix, all we need to do is provide an owl data complement uri. This came up during the discussion of ISSUE-124.

18:15:27 <m_schnei> m_schnei: this is an RDF mapping issue

Michael Schneider: this is an RDF mapping issue [ Scribe Assist by Michael Schneider ]

18:15:34 <Elisa> Alan: my thought is to include this in the same issue, rather than opening another issue

Alan Ruttenberg: my thought is to include this in the same issue, rather than opening another issue

18:15:38 <m_schnei> thanks, peter ;-)

Michael Schneider: thanks, peter ;-)

18:15:44 <Elisa> Peter: Michael's solution for this is perfect

Peter Patel-Schneider: Michael's solution for this is perfect

18:16:02 <Elisa> Alan: Michael, would you come up with a solution of this for our agenda for next week?

Alan Ruttenberg: Michael, would you come up with a solution of this for our agenda for next week?

18:16:08 <Elisa> m_schnei: Yes, I'll do that

Michael Schneider: Yes, I'll do that

18:17:00 <Elisa> Alan: Issue 109 is a question of what namespace to use for the OWL XML schema, and whether or not it should be distinct from or the same as what we're using for the RDF/XML OWL namespace

Alan Ruttenberg: ISSUE-109 is a question of what namespace to use for the OWL XML schema, and whether or not it should be distinct from or the same as what we're using for the RDF/XML OWL namespace

18:17:12 <ivan> http://www.w3.org/mid/4846A073.2020203@w3.org

Ivan Herman: http://www.w3.org/mid/4846A073.2020203@w3.org

18:17:45 <bijan> I'm not so pessimistic either

Bijan Parsia: I'm not so pessimistic either

18:18:16 <bijan> Or homicide!

Bijan Parsia: Or homicide!

18:18:26 <Elisa> Ivan: I have written up some of the discussion I had yesterday with Bijan, but I am not as pessimistic about this as you are.  I tried to write down what the choice is and next week we can vote on this and people can choose between the two options.  It's not that big of a deal.

Ivan Herman: I have written up some of the discussion I had yesterday with Bijan, but I am not as pessimistic about this as you are. I tried to write down what the choice is and next week we can vote on this and people can choose between the two options. It's not that big of a deal.

18:18:39 <Elisa> Alan: That's fine with me unless anyone has anything else to add

Alan Ruttenberg: That's fine with me unless anyone has anything else to add

18:18:56 <alanr> put 109 on agenda for next week - all to read http://www.w3.org/mid/4846A073.2020203@w3.org

Alan Ruttenberg: put 109 on agenda for next week - all to read http://www.w3.org/mid/4846A073.2020203@w3.org

18:19:22 <Elisa> Topic: Additional Other Business

5. Additional Other Business

18:19:54 <Elisa> Alan: we have a mail from a user asking about horn shiq and about why it's not in OWL ... how should we respond?

Alan Ruttenberg: we have a mail from a user asking about horn shiq and about why it's not in OWL ... how should we respond?

18:19:58 <bijan> hornSHIQ is a good profile!

Bijan Parsia: hornSHIQ is a good profile!

18:20:02 <alanr> http://www.w3.org/mid/006a01c8c278$9cd57cc0$d6807640$@com

Alan Ruttenberg: http://www.w3.org/mid/006a01c8c278$9cd57cc0$d6807640$@com

18:20:13 <Carsten> He is within OWL2 DL

Carsten Lutz: He is within OWL2 DL

18:20:20 <Elisa> Bijan: is there any reason not to include it as one more profile?

Bijan Parsia: is there any reason not to include it as one more profile?

18:20:20 <uli> ...there was "too many profiles"

Uli Sattler: ...there was "too many profiles"

18:20:31 <msmith> +1 to uli's recollection

Michael Smith: +1 to uli's recollection

18:20:54 <Elisa> Bijan: depending on whether you count 3 or 5 or 7, depending on how you count the full versions of the little ones ... hornSHIQ is a distinct and interesting profile, so would this open the floodgates? there is a user who wants this ...

Bijan Parsia: depending on whether you count 3 or 5 or 7, depending on how you count the full versions of the little ones ... hornSHIQ is a distinct and interesting profile, so would this open the floodgates? there is a user who wants this ...

18:22:28 <Elisa> Carsten: If we want to consider adding this, is it interesting enough to become rec?  That's not a very strong point for adding it - we already have one data complexity profile, so I'm not really convinced.

Carsten Lutz: If we want to consider adding this, is it interesting enough to become rec? That's not a very strong point for adding it - we already have one data complexity profile, so I'm not really convinced.

18:22:30 <pfps> +1 to carsten

Peter Patel-Schneider: +1 to carsten

18:22:49 <Carsten> That applies to every user

Carsten Lutz: That applies to every user

18:22:51 <MarkusK> +1 to Carsten

Markus Krötzsch: +1 to Carsten

18:23:06 <Elisa> Bijan: The other thing is that there are modeling problems that fall into hornSHIQ that are not relevant to the other data complexity profile - that's where he's coming from, otherwise i agree with you in general, but Christian was coming from both a modeling and performance perspective.

Bijan Parsia: The other thing is that there are modeling problems that fall into hornSHIQ that are not relevant to the other data complexity profile - that's where he's coming from, otherwise i agree with you in general, but Christian was coming from both a modeling and performance perspective.

18:23:42 <Carsten> I disagree

Carsten Lutz: I disagree

18:23:54 <Elisa> Alan: I wonder if we should have the requirements people capture the modeling issue?

Alan Ruttenberg: I wonder if we should have the requirements people capture the modeling issue?

18:24:30 <uli> +1 to Carsten's recollection

Uli Sattler: +1 to Carsten's recollection

18:24:35 <Elisa> Carsten: I disagree, because that something was good for modeling is not a good reason to include something - there should be an additional virtue that it has when you don't use DL full

Carsten Lutz: I disagree, because that something was good for modeling is not a good reason to include something - there should be an additional virtue that it has when you don't use DL full

18:24:38 <alanr> q+ to say perhaps I mispoke

Alan Ruttenberg: q+ to say perhaps I mispoke

18:24:39 <ivan> +1 to Carsten

Ivan Herman: +1 to Carsten

18:24:43 <Zakim> alanr, you wanted to say perhaps I mispoke

Zakim IRC Bot: alanr, you wanted to say perhaps I mispoke

18:24:56 <Carsten> ok

Carsten Lutz: ok

18:25:27 <Elisa> Alan: I meant modeling in the sense of the inference you could make from it -- and whether the use case was compelling enough and the performance gain compelling enough to consider.

Alan Ruttenberg: I meant modeling in the sense of the inference you could make from it -- and whether the use case was compelling enough and the performance gain compelling enough to consider.

18:25:35 <bijan> Well, hornSHIQ can be compiled to (potentially exponentially many) datalog rules. KAON2 shows that performance (in that case) is pretty reasonable. In that sense, it's sort ofa  "maximal" DLP

Bijan Parsia: Well, hornSHIQ can be compiled to (potentially exponentially many) datalog rules. KAON2 shows that performance (in that case) is pretty reasonable. In that sense, it's sort ofa "maximal" DLP

18:25:53 <Carsten> maximal in OWL*2*?

Carsten Lutz: maximal in OWL*2*?

18:26:11 <bijan> So we could respond: It's unclear that hornSHIQ is a profile that will have enough implementor and user support to be a viable profile, esp. given how many fragments we already have. If you would like the WG to reconsider, could you provide some more information...

Bijan Parsia: So we could respond: It's unclear that hornSHIQ is a profile that will have enough implementor and user support to be a viable profile, esp. given how many fragments we already have. If you would like the WG to reconsider, could you provide some more information...

18:26:19 <bijan> Carsten, ooo, dunno

Bijan Parsia: Carsten, ooo, dunno

18:26:23 <Elisa> Alan: So - we have on one hand some people are saying well use OWL DL, we have too many fragments already and it isn't sufficiently compelling; the alternative would be to say we will investigate a little more and you should talk with our requirements people about it.

Alan Ruttenberg: So - we have on one hand some people are saying well use OWL DL, we have too many fragments already and it isn't sufficiently compelling; the alternative would be to say we will investigate a little more and you should talk with our requirements people about it.

18:26:24 <uli> +1 to Bijan

Uli Sattler: +1 to Bijan

18:26:36 <uli> ...to Bijan's first suggestion!

Uli Sattler: ...to Bijan's first suggestion!

18:26:37 <ivan> +1 to bijan

Ivan Herman: +1 to bijan

18:26:50 <calvanese> +1 to Bijan

Diego Calvanese: +1 to Bijan

18:26:52 <pfps> +1 to bijan

Peter Patel-Schneider: +1 to bijan

18:26:56 <Zhe> +1 to bijan

Zhe Wu: +1 to bijan

18:26:57 <alanr> +1

Alan Ruttenberg: +1

18:26:59 <Achille> +1 to bijan

Achille Fokoue: +1 to bijan

18:26:59 <Elisa> Alan: I like what Bijan says -

Alan Ruttenberg: I like what Bijan says -

18:27:00 <msmith> +1

Michael Smith: +1

18:27:04 <Rinke> +1

Rinke Hoekstra: +1

18:27:04 <Carsten> +1

Carsten Lutz: +1

18:27:05 <bijan> +1 to me

Bijan Parsia: +1 to me

18:27:08 <MarkusK> +1

Markus Krötzsch: +1

18:27:09 <ewallace> +1

Evan Wallace: +1

18:27:20 <bijan> Chair response

Bijan Parsia: Chair response

18:27:28 <Elisa> Ivan: I think Alan should respond

Ivan Herman: I think Alan should respond

18:27:42 <alanr> action: Alan to respond to the email along the lines Bijan suggests above

ACTION: Alan to respond to the email along the lines Bijan suggests above

18:27:42 <trackbot> Created ACTION-156 - Respond to the email along the lines Bijan suggests above [on Alan Ruttenberg - due 2008-06-11].

Trackbot IRC Bot: Created ACTION-156 - Respond to the email along the lines Bijan suggests above [on Alan Ruttenberg - due 2008-06-11].

18:28:17 <Elisa> Alan: last item -- Bijan brought up the issue of accessibility guidelines, and the work that needs to be done to follow those guidelines in our documents - what work needs to be done, how do we get started ...

Alan Ruttenberg: last item -- Bijan brought up the issue of accessibility guidelines, and the work that needs to be done to follow those guidelines in our documents - what work needs to be done, how do we get started ...

18:28:47 <Elisa> Sandro: I know there is something to be done but don't know how much work it is

Sandro Hawke: I know there is something to be done but don't know how much work it is

18:28:55 <Rinke> http://lists.w3.org/Archives/Public/public-html/2008May/0433.html

Rinke Hoekstra: http://lists.w3.org/Archives/Public/public-html/2008May/0433.html

18:29:16 <Elisa> Bijan: It's certainly the case that for our images we need to have alternate text, tables are often hard for assisted technology without additional mark-up ... there may be work to be done to make sure that the tables are good enough

Bijan Parsia: It's certainly the case that for our images we need to have alternate text, tables are often hard for assisted technology without additional mark-up ... there may be work to be done to make sure that the tables are good enough

18:29:21 <m_schnei> unless there is no official W3C policy on this (is there any?), are we supposed to do anything in this direction?

Michael Schneider: unless there is no official W3C policy on this (is there any?), are we supposed to do anything in this direction?

18:29:39 <uli> michael, I think we should

Uli Sattler: michael, I think we should

18:29:51 <Elisa> Bijan: There are some tools that check from an accessibility point of view.

Bijan Parsia: There are some tools that check from an accessibility point of view.

18:30:04 <bijan> ALl our javascript dumbs down well

Bijan Parsia: ALl our javascript dumbs down well

18:30:15 <Elisa> Ivan: I don't know how extensively we use java scripting - that would require some additional explanation in the text.

Ivan Herman: I don't know how extensively we use java scripting - that would require some additional explanation in the text.

18:30:37 <uli> Sandro, what does W3C normally do?

Uli Sattler: Sandro, what does W3C normally do?

18:30:54 <Elisa> Alan: It seems like we need some research on this, and someone to review our documents ... maybe we can discuss on the chairs list how we can get additional information and get back to the group with some harder facts

Alan Ruttenberg: It seems like we need some research on this, and someone to review our documents ... maybe we can discuss on the chairs list how we can get additional information and get back to the group with some harder facts

18:31:13 <Elisa> Alan: AOB?

Alan Ruttenberg: AOB?

18:31:57 <alanr> action: Alan to confer with chairs list about how to get more information about what we need to do re: accessibility

ACTION: Alan to confer with chairs list about how to get more information about what we need to do re: accessibility

18:31:57 <trackbot> Created ACTION-157 - Confer with chairs list about how to get more information about what we need to do re: accessibility [on Alan Ruttenberg - due 2008-06-11].

Trackbot IRC Bot: Created ACTION-157 - Confer with chairs list about how to get more information about what we need to do re: accessibility [on Alan Ruttenberg - due 2008-06-11].

18:32:59 <Zakim> SW_OWL()12:00PM has ended

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

18:33:00 <Zakim> Attendees were bijan, Sandro, Evan_Wallace, Peter_Patel-Schneider, bmotik, uli, msmith, Elisa_Kendall, m_schnei, +1.857.362.aaaa, +39.047.101.aabb, Achille, MarkusK, Ivan,

Zakim IRC Bot: Attendees were bijan, Sandro, Evan_Wallace, Peter_Patel-Schneider, bmotik, uli, msmith, Elisa_Kendall, m_schnei, +1.857.362.aaaa, +39.047.101.aabb, Achille, MarkusK, Ivan,

18:33:02 <Zakim> ... calvanese, ratnesh, Alan, Rinke, +49.351.463.3.aacc, Carsten, Zhe

Zakim IRC Bot: ... calvanese, ratnesh, Alan, Rinke, +49.351.463.3.aacc, Carsten, Zhe


This revision (#7) generated 2008-07-02 13:27:23 UTC by 'sandro', comments: 'fix tracker links'