IRC Log: Original and Cleaned Up
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
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
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
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
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.
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
17:45:29 <Rinke> +0.5 to have top
Rinke Hoekstra: +0.5 to have top
17:45:29 <Achille> 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
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
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