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 (link)
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 (link)
16:54:34 <ewallace> Zakim, this will be owlwg
Evan Wallace: Zakim, this will be owlwg (link)
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 (link)
16:56:12 <Zakim> SW_OWL()12:00PM has now started
Zakim IRC Bot: SW_OWL()12:00PM has now started (link)
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 (link)
17:04:18 <Elisa> Topic: Admin
17:04:38 <alanr> zakim, who is here?
Alan Ruttenberg: zakim, who is here? (link)
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), (link)
17:04:42 <Zakim> ... MarkusK, ratnesh, Ivan, Sandro, Alan, ??P15
Zakim IRC Bot: ... MarkusK, ratnesh, Ivan, Sandro, Alan, ??P15 (link)
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 (link)
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 (link)
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 (link)
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 (link)
17:05:49 <Elisa> Alan: first, previous minutes, 28 May
Alan Ruttenberg: first, previous minutes, 28 May (link)
17:05:51 <alanr> PROPOSED: Accept Previous Minutes (28 May)
PROPOSED: Accept Previous Minutes (28 May) (link)
17:05:56 <alanr> +1
Alan Ruttenberg: +1 (link)
17:05:57 <msmith> +1 on minutes
Michael Smith: +1 on minutes (link)
17:06:03 <Rinke> +1
Rinke Hoekstra: +1 (link)
17:06:08 <pfps> +1 minutes acceptable now
Peter Patel-Schneider: +1 minutes acceptable now (link)
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 (link)
17:06:27 <ivan> +1
Ivan Herman: +1 (link)
17:06:34 <alanr> RESOLVED: Accept Previous Minutes (28 May)
RESOLVED: Accept Previous Minutes (28 May) (link)
17:06:34 <uli> +1
Uli Sattler: +1 (link)
17:06:39 <alanr> PROPOSED: Accept Previous Minutes (21 May)
PROPOSED: Accept Previous Minutes (21 May) (link)
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 (link)
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? (link)
17:07:08 <Zakim> +Zhe
Zakim IRC Bot: +Zhe (link)
17:07:08 <pfps> +1 minutes are better than last week
Peter Patel-Schneider: +1 minutes are better than last week (link)
17:07:09 <uli> they look better than last time I looked
Uli Sattler: they look better than last time I looked (link)
17:07:19 <msmith> there appeared to be reorderings, etc.
Michael Smith: there appeared to be reorderings, etc. (link)
17:07:20 <msmith> +1
Michael Smith: +1 (link)
17:07:29 <Rinke> +1
Rinke Hoekstra: +1 (link)
17:07:29 <uli> +1
Uli Sattler: +1 (link)
17:07:34 <ivan> 0 (was not on that meeting:-)
Ivan Herman: 0 (was not on that meeting:-) (link)
17:07:40 <ewallace> +1
Evan Wallace: +1 (link)
17:07:45 <ratnesh> 0
Ratnesh Sahay: 0 (link)
17:07:50 <alanr> RESOLVED: Accept Previous Minutes (21 May)
RESOLVED: Accept Previous Minutes (21 May) (link)
17:08:18 <Elisa> Alan: Registration for F2F3 reminder
Alan Ruttenberg: Registration for F2F3 reminder (link)
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. (link)
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 (link)
17:09:28 <bmotik> +1 to Alan
Boris Motik: +1 to Alan (link)
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 (link)
17:09:36 <m_schnei> +1 to boris has done his job
Michael Schneider: +1 to boris has done his job (link)
17:09:36 <Achille> +1 to Alan
Achille Fokoue: +1 to Alan (link)
17:09:40 <Rinke> +1
Rinke Hoekstra: +1 (link)
17:09:42 <pfps> +1 to accepting action 131
Peter Patel-Schneider: +1 to accepting action 131 (link)
17:09:53 <uli> +1
Uli Sattler: +1 (link)
17:09:54 <bijan> +1
Bijan Parsia: +1 (link)
17:09:58 <Zhe> +1
17:10:01 <Achille> +1
Achille Fokoue: +1 (link)
17:10:09 <msmith> +1
Michael Smith: +1 (link)
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. (link)
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 (link)
17:10:33 <bijan> I'll push
Bijan Parsia: I'll push (link)
17:10:35 <Elisa> Alan: let's consider that closed.
Alan Ruttenberg: let's consider that closed. (link)
17:10:46 <Elisa> Alan: issue 42
Alan Ruttenberg: issue 42 (link)
17:11:14 <ewallace> issue 42 will be pushed out
Evan Wallace: issue 42 will be pushed out (link)
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). (link)
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 (link)
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 (link)
17:12:24 <Elisa> Alan: Action 148 will be closed.
Alan Ruttenberg: Action 148 will be closed. (link)
17:12:50 <Elisa> Alan: Action 150 continued to next week.
Alan Ruttenberg: Action 150 continued to next week. (link)
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 (link)
17:13:40 <Elisa> Alan: Issue 104 - the status of this is editorial
Alan Ruttenberg: Issue 104 - the status of this is editorial (link)
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. (link)
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 (link)
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. (link)
17:15:31 <alanr> Noted, Boris ...
Alan Ruttenberg: Noted, Boris ... (link)
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 (link)
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. (link)
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. (link)
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? (link)
17:17:20 <alanr> ack m_schnei
Alan Ruttenberg: ack m_schnei (link)
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. (link)
17:17:30 <bmotik> OK.
Boris Motik: OK. (link)
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. (link)
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. (link)
17:18:42 <bmotik> Yes
Boris Motik: Yes (link)
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 (link)
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 (link)
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. (link)
<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. (link)
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? (link)
17:21:48 <Elisa> Boris: in rule-based techniques it is much easier
Boris Motik: in rule-based techniques it is much easier (link)
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 (link)
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. (link)
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. (link)
17:23:00 <bmotik> Markus, why do you think this?
Boris Motik: Markus, why do you think this? (link)
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. (link)
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 (link)
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. (link)
17:23:56 <MarkusK> ... where the compilation is trivial
Markus Krötzsch: ... where the compilation is trivial (link)
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. (link)
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. (link)
17:24:54 <bijan> To be precise, it is "pay as you go"
Bijan Parsia: To be precise, it is "pay as you go" (link)
17:24:58 <bmotik> q+ to answer to Ivan
Boris Motik: q+ to answer to Ivan (link)
17:25:02 <Carsten> +1 to ivan
Carsten Lutz: +1 to ivan (link)
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. (link)
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. (link)
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 (link)
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. (link)
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. (link)
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. (link)
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) (link)
17:27:17 <Zakim> bmotik, you wanted to answer to Ivan
Zakim IRC Bot: bmotik, you wanted to answer to Ivan (link)
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". (link)
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) (link)
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. (link)
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. (link)
17:30:12 <Elisa> Boris: Yes
Boris Motik: Yes (link)
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? (link)
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? (link)
17:30:49 <alanr> yes
Alan Ruttenberg: yes (link)
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 (link)
17:31:20 <bijan> WE can always have implemetnatiosn :)
Bijan Parsia: WE can always have implemetnatiosn :) (link)
17:31:31 <alanr> do they need to be correct?
Alan Ruttenberg: do they need to be correct? (link)
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 ] (link)
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. (link)
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. (link)
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. (link)
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? (link)
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. (link)
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. (link)
17:33:23 <bijan> No
Bijan Parsia: No (link)
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. (link)
17:34:13 <bmotik> +1 to Uli
Boris Motik: +1 to Uli (link)
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. (link)
17:35:09 <uli> yes
Uli Sattler: yes (link)
17:35:13 <uli> yes
Uli Sattler: yes (link)
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 (link)
17:35:50 <bijan> See that uri
Bijan Parsia: See that uri (link)
17:35:50 <uli> Michael, this makes trouble to define
Uli Sattler: Michael, this makes trouble to define (link)
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 (link)
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? (link)
17:36:37 <uli> yes
Uli Sattler: yes (link)
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 (link)
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 (link)
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 (link)
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*? (link)
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 (link)
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 ] (link)
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. (link)
17:38:20 <alanr> peachy keys
Alan Ruttenberg: peachy keys (link)
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(.,.)" ? (link)
17:38:51 <bijan> Deliberately so!
Bijan Parsia: Deliberately so! (link)
17:39:12 <uli> michael, indeed (see the discussion Bijan has pointed out)
Uli Sattler: michael, indeed (see the discussion Bijan has pointed out) (link)
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. (link)
17:40:55 <bijan> +1 to uli
Bijan Parsia: +1 to uli (link)
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. (link)
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 (link)
17:42:03 <uli> ...and bottom role is easy anyway
Uli Sattler: ...and bottom role is easy anyway (link)
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. (link)
17:44:39 <uli> s/keyes/keys
Uli Sattler: s/keyes/keys (link)
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? (link)
17:45:08 <Carsten> yes
Carsten Lutz: yes (link)
17:45:08 <sandro> +0.5 keep top and bottom
Sandro Hawke: +0.5 keep top and bottom (link)
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 (link)
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. (link)
17:45:11 <MarkusK> +0.5 to top
Markus Krötzsch: +0.5 to top (link)
17:45:16 <ivan> 0
Ivan Herman: 0 (link)
17:45:17 <bmotik> +1 to investigate top and bottom
Boris Motik: +1 to investigate top and bottom (link)
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 (link)
17:45:25 <m_schnei> 0
Michael Schneider: 0 (link)
17:45:29 <Rinke> +0.5 to have top
Rinke Hoekstra: +0.5 to have top (link)
17:45:29 <Achille> 0
Achille Fokoue: 0 (link)
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) (link)
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 (link)
17:46:20 <Rinke> +1 MarkusK
Rinke Hoekstra: +1 MarkusK (link)
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. (link)
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 (link)
17:47:43 <sandro> "at risk"
Sandro Hawke: "at risk" (link)
17:47:54 <uli> sounds fine
Uli Sattler: sounds fine (link)
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. (link)
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 (link)
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 (link)
17:49:08 <ewallace> do we have volunteers to implement?
Evan Wallace: do we have volunteers to implement? (link)
17:49:16 <ewallace> applauds Boris as well!
Evan Wallace: applauds Boris as well! (link)
17:49:31 <bijan> I'm experiementing with Top and Bottom
Bijan Parsia: I'm experiementing with Top and Bottom (link)
17:49:37 <bijan> And some easy key stuff as well
Bijan Parsia: And some easy key stuff as well (link)
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. (link)
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" (link)
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. (link)
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 (link)
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) (link)
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 (link)
17:52:07 <bijan> SHOULD, in practice, varies in its strength
Bijan Parsia: SHOULD, in practice, varies in its strength (link)
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 (link)
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 (link)
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 (link)
17:52:11 <alanr> carefully weighed before choosing a different course.
Alan Ruttenberg: carefully weighed before choosing a different course. (link)
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 (link)
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 (link)
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 (link)
17:52:22 <alanr> implications should be understood and the case carefully weighed
Alan Ruttenberg: implications should be understood and the case carefully weighed (link)
17:52:23 <alanr> before implementing any behavior described with this label.
Alan Ruttenberg: before implementing any behavior described with this label. (link)
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. (link)
17:52:35 <Elisa> Sandro: it doesn't mean optional ...
Sandro Hawke: it doesn't mean optional ... (link)
17:52:38 <msmith> http://www.ietf.org/rfc/rfc2119.txt
Michael Smith: http://www.ietf.org/rfc/rfc2119.txt (link)
17:52:52 <Elisa> Boris: then I looked at a different document
Boris Motik: then I looked at a different document (link)
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. (link)
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) (link)
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. (link)
17:54:51 <bijan> "Warnings"
Bijan Parsia: "Warnings" (link)
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. (link)
17:55:31 <alanr> http://www.w3.org/2001/06/manual/#RFC
Alan Ruttenberg: http://www.w3.org/2001/06/manual/#RFC (link)
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. (link)
17:56:18 <sandro> "conformance labels"
Sandro Hawke: "conformance labels" (link)
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. (link)
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 (link)
17:57:38 <bijan> we do!
Bijan Parsia: we do! (link)
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 ... (link)
17:57:49 <sandro> I think we can require warnings.
Sandro Hawke: I think we can require warnings. (link)
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. (link)
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. (link)
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. (link)
18:01:05 <bijan> Issue-130 has been raised
Bijan Parsia: Issue-130 has been raised (link)
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 (link)
18:02:30 <bijan> Ok
Bijan Parsia: Ok (link)
18:02:59 <sandro> ivan! ivan!
Sandro Hawke: ivan! ivan! (link)
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. (link)
18:03:08 <bijan> I could do it :)
Bijan Parsia: I could do it :) (link)
18:03:33 <bijan> I won't be at the f2f either
Bijan Parsia: I won't be at the f2f either (link)
18:03:43 <bijan> I can write the pro case!
Bijan Parsia: I can write the pro case! (link)
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. (link)
18:04:11 <Elisa> Ivan: ok
Ivan Herman: ok (link)
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 (link)
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]. (link)
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 (link)
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 (link)
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]. (link)
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? (link)
18:06:16 <bijan> I'mahving trouble finding it
Bijan Parsia: I'mahving trouble finding it (link)
18:06:20 <pfps> I'm happy to talk about 124
Peter Patel-Schneider: I'm happy to talk about 124 (link)
18:06:26 <Elisa> Alan: Issue 124 - should we discuss this?
Alan Ruttenberg: Issue 124 - should we discuss this? (link)
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 (link)
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. (link)
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. (link)
18:08:32 <ivan> :-0
Ivan Herman: :-0 (link)
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 ... (link)
18:09:14 <Elisa> Bijan: so where does that leave us?
Bijan Parsia: so where does that leave us? (link)
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 (link)
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 (link)
18:10:05 <Elisa> Alan: Issue 124
Alan Ruttenberg: Issue 124 (link)
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, ... (link)
18:11:44 <alanr> peter - agree, my mistake - will fix
Alan Ruttenberg: peter - agree, my mistake - will fix (link)
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. (link)
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, ... (link)
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 (link)
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 (link)
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. (link)
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. (link)
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 ] (link)
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 (link)
18:15:38 <m_schnei> thanks, peter ;-)
Michael Schneider: thanks, peter ;-) (link)
18:15:44 <Elisa> Peter: Michael's solution for this is perfect
Peter Patel-Schneider: Michael's solution for this is perfect (link)
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? (link)
18:16:08 <Elisa> m_schnei: Yes, I'll do that
Michael Schneider: Yes, I'll do that (link)
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 (link)
18:17:12 <ivan> http://www.w3.org/mid/4846A073.2020203@w3.org
Ivan Herman: http://www.w3.org/mid/4846A073.2020203@w3.org (link)
18:17:45 <bijan> I'm not so pessimistic either
Bijan Parsia: I'm not so pessimistic either (link)
18:18:16 <bijan> Or homicide!
Bijan Parsia: Or homicide! (link)
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. (link)
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 (link)
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 (link)
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? (link)
18:19:58 <bijan> hornSHIQ is a good profile!
Bijan Parsia: hornSHIQ is a good profile! (link)
18:20:02 <alanr> http://www.w3.org/mid/006a01c8c278$9cd57cc0$d6807640$@com
Alan Ruttenberg: http://www.w3.org/mid/006a01c8c278$9cd57cc0$d6807640$@com (link)
18:20:13 <Carsten> He is within OWL2 DL
Carsten Lutz: He is within OWL2 DL (link)
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? (link)
18:20:20 <uli> ...there was "too many profiles"
Uli Sattler: ...there was "too many profiles" (link)
18:20:31 <msmith> +1 to uli's recollection
Michael Smith: +1 to uli's recollection (link)
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 ... (link)
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. (link)
18:22:30 <pfps> +1 to carsten
Peter Patel-Schneider: +1 to carsten (link)
18:22:49 <Carsten> That applies to every user
Carsten Lutz: That applies to every user (link)
18:22:51 <MarkusK> +1 to Carsten
Markus Krötzsch: +1 to Carsten (link)
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. (link)
18:23:42 <Carsten> I disagree
Carsten Lutz: I disagree (link)
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? (link)
18:24:30 <uli> +1 to Carsten's recollection
Uli Sattler: +1 to Carsten's recollection (link)
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 (link)
18:24:38 <alanr> q+ to say perhaps I mispoke
Alan Ruttenberg: q+ to say perhaps I mispoke (link)
18:24:39 <ivan> +1 to Carsten
Ivan Herman: +1 to Carsten (link)
18:24:43 <Zakim> alanr, you wanted to say perhaps I mispoke
Zakim IRC Bot: alanr, you wanted to say perhaps I mispoke (link)
18:24:56 <Carsten> ok
Carsten Lutz: ok (link)
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. (link)
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 (link)
18:25:53 <Carsten> maximal in OWL*2*?
Carsten Lutz: maximal in OWL*2*? (link)
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... (link)
18:26:19 <bijan> Carsten, ooo, dunno
Bijan Parsia: Carsten, ooo, dunno (link)
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. (link)
18:26:24 <uli> +1 to Bijan
Uli Sattler: +1 to Bijan (link)
18:26:36 <uli> ...to Bijan's first suggestion!
Uli Sattler: ...to Bijan's first suggestion! (link)
18:26:37 <ivan> +1 to bijan
Ivan Herman: +1 to bijan (link)
18:26:50 <calvanese> +1 to Bijan
Diego Calvanese: +1 to Bijan (link)
18:26:52 <pfps> +1 to bijan
Peter Patel-Schneider: +1 to bijan (link)
18:26:56 <Zhe> +1 to bijan
18:26:57 <alanr> +1
Alan Ruttenberg: +1 (link)
18:26:59 <Achille> +1 to bijan
Achille Fokoue: +1 to bijan (link)
18:26:59 <Elisa> Alan: I like what Bijan says -
Alan Ruttenberg: I like what Bijan says - (link)
18:27:00 <msmith> +1
Michael Smith: +1 (link)
18:27:04 <Rinke> +1
Rinke Hoekstra: +1 (link)
18:27:04 <Carsten> +1
Carsten Lutz: +1 (link)
18:27:05 <bijan> +1 to me
Bijan Parsia: +1 to me (link)
18:27:08 <MarkusK> +1
Markus Krötzsch: +1 (link)
18:27:09 <ewallace> +1
Evan Wallace: +1 (link)
18:27:20 <bijan> Chair response
Bijan Parsia: Chair response (link)
18:27:28 <Elisa> Ivan: I think Alan should respond
Ivan Herman: I think Alan should respond (link)
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 (link)
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]. (link)
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 ... (link)
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 (link)
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 (link)
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 (link)
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? (link)
18:29:39 <uli> michael, I think we should
Uli Sattler: michael, I think we should (link)
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. (link)
18:30:04 <bijan> ALl our javascript dumbs down well
Bijan Parsia: ALl our javascript dumbs down well (link)
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. (link)
18:30:37 <uli> Sandro, what does W3C normally do?
Uli Sattler: Sandro, what does W3C normally do? (link)
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 (link)
18:31:13 <Elisa> Alan: AOB?
Alan Ruttenberg: AOB? (link)
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 (link)
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]. (link)
18:32:59 <Zakim> SW_OWL()12:00PM has ended
Zakim IRC Bot: SW_OWL()12:00PM has ended (link)
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, (link)
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 (link)
This revision (#6) generated 2008-06-13 19:12:45 UTC by 'sandro', comments: "Making a saved version. When Elisa was working on this, the system didn't save versions."