edit

OWL Working Group

Minutes of 03 June 2009

Seen
Alan Ruttenberg, Antoine Zimmermann, Bernardo Cuenca Grau, Bijan Parsia, Boris Motik, Ian Horrocks, Ivan Herman, Jie Bao, Markus Krötzsch, Michael Smith, Michael Schneider, Peter Patel-Schneider, Sandro Hawke, Uli Sattler, Zhe Wu
Scribe
Bijan Parsia
IRC Log
Original
Resolutions
  1. Accept Previous Minutes http://www.w3.org/2007/OWL/meeting/2009-05-27 link
  2. The OWL WG will defer to the editors of rdf:PlainLiteral to resolve the issue described in http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0295.html link
  3. rdf:PlainLiteral is ready for publication as a Candidate Recommendation link
  4. send email to XML Schema group as per draft http://www.w3.org/2007/OWL/wiki/XSD_1.1_Comment_draft modulo minor edits link
Topics

There are some format problems with the chatlog. Please correct them and reload this page. They are labeled on this page in a red box, like this message.

It may be helpful to

16:50:06 <RRSAgent> logging to http://www.w3.org/2009/06/03-owl-irc

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

16:54:29 <bmotik> Zakim, this will be owl

Boris Motik: Zakim, this will be owl

16:54:29 <Zakim> ok, bmotik; I see SW_OWL()1:00PM scheduled to start in 6 minutes

Zakim IRC Bot: ok, bmotik; I see SW_OWL()1:00PM scheduled to start in 6 minutes

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

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

16:56:17 <Zakim> +??P1

Zakim IRC Bot: +??P1

16:57:00 <ivan> zakim, dial ivan-voip

Ivan Herman: zakim, dial ivan-voip

16:57:00 <Zakim> ok, ivan; the call is being made

Zakim IRC Bot: ok, ivan; the call is being made

16:57:01 <Zakim> +Ivan

Zakim IRC Bot: +Ivan

16:57:21 <bijan> scribe: bijan

(Scribe set to Bijan Parsia)

16:57:28 <Zakim> +Ian_Horrocks

Zakim IRC Bot: +Ian_Horrocks

16:57:38 <bijan> zakim, ??p1 is me

zakim, ??p1 is me

16:57:38 <Zakim> +bijan; got it

Zakim IRC Bot: +bijan; got it

16:58:04 <bijan> scribenick: bijan
16:58:07 <IanH> zakim, this is OWL

Ian Horrocks: zakim, this is OWL

16:58:07 <Zakim> IanH, this was already SW_OWL()1:00PM

Zakim IRC Bot: IanH, this was already SW_OWL()1:00PM

16:58:08 <Zakim> ok, IanH; that matches SW_OWL()1:00PM

Zakim IRC Bot: ok, IanH; that matches SW_OWL()1:00PM

16:58:20 <IanH> zakim, Ian_Horrocks is IanH

Ian Horrocks: zakim, Ian_Horrocks is IanH

16:58:21 <Zakim> +IanH; got it

Zakim IRC Bot: +IanH; got it

16:58:56 <IanH> IanH has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2009.06.03/Agenda

Ian Horrocks: IanH has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2009.06.03/Agenda

16:59:03 <IanH> zakim, who is here?

Ian Horrocks: zakim, who is here?

16:59:05 <Zakim> On the phone I see bijan, Ivan, IanH

Zakim IRC Bot: On the phone I see bijan, Ivan, IanH

16:59:08 <Zakim> On IRC I see MarkusK_, IanH, bmotik, zimmer, ivan, RRSAgent, Zakim, bijan, sandro, trackbot

Zakim IRC Bot: On IRC I see MarkusK_, IanH, bmotik, zimmer, ivan, RRSAgent, Zakim, bijan, sandro, trackbot

16:59:21 <IanH> RRSAgent, make records public

Ian Horrocks: RRSAgent, make records public

17:00:06 <Zakim> +??P9

Zakim IRC Bot: +??P9

17:00:40 <Zakim> + +03539149aaaa

Zakim IRC Bot: + +03539149aaaa

17:00:52 <Zakim> +Sandro

Zakim IRC Bot: +Sandro

17:01:09 <Zakim> +??P12

Zakim IRC Bot: +??P12

17:01:09 <zimmer> Zakim, +03539149aaaa is me

Antoine Zimmermann: Zakim, +03539149aaaa is me

17:01:10 <Zakim> +zimmer; got it

Zakim IRC Bot: +zimmer; got it

17:01:12 <bmotik> Zakim, ??P12 is me

Boris Motik: Zakim, ??P12 is me

17:01:13 <Zakim> +bmotik; got it

Zakim IRC Bot: +bmotik; got it

17:01:17 <bmotik> Zakim, mute me

Boris Motik: Zakim, mute me

17:01:17 <Zakim> bmotik should now be muted

Zakim IRC Bot: bmotik should now be muted

17:01:27 <IanH> zakim, who is here?

Ian Horrocks: zakim, who is here?

17:01:27 <Zakim> On the phone I see bijan, Ivan, IanH, MarkusK_, zimmer, Sandro, bmotik (muted)

Zakim IRC Bot: On the phone I see bijan, Ivan, IanH, MarkusK_, zimmer, Sandro, bmotik (muted)

17:01:29 <Zakim> On IRC I see uli, msmith, MarkusK_, IanH, bmotik, zimmer, ivan, RRSAgent, Zakim, bijan, sandro, trackbot

Zakim IRC Bot: On IRC I see uli, msmith, MarkusK_, IanH, bmotik, zimmer, ivan, RRSAgent, Zakim, bijan, sandro, trackbot

17:01:47 <Zakim> +??P2

Zakim IRC Bot: +??P2

17:01:53 <uli> zakim, ??P2 is me

Uli Sattler: zakim, ??P2 is me

17:01:53 <Zakim> +uli; got it

Zakim IRC Bot: +uli; got it

17:01:57 <bijan> Topic: Admin

1. Admin

17:02:02 <IanH> zakim, who is here?

Ian Horrocks: zakim, who is here?

17:02:02 <Zakim> On the phone I see bijan, Ivan, IanH, MarkusK_, zimmer, Sandro, bmotik (muted), uli

Zakim IRC Bot: On the phone I see bijan, Ivan, IanH, MarkusK_, zimmer, Sandro, bmotik (muted), uli

17:02:04 <Zakim> On IRC I see alanr, msmith1, bcuencagrau, uli, msmith, MarkusK_, IanH, bmotik, zimmer, ivan, RRSAgent, Zakim, bijan, sandro, trackbot

Zakim IRC Bot: On IRC I see alanr, msmith1, bcuencagrau, uli, msmith, MarkusK_, IanH, bmotik, zimmer, ivan, RRSAgent, Zakim, bijan, sandro, trackbot

17:02:26 <bijan> IanH: No agenda amendments. Previous minutes?

Ian Horrocks: No agenda amendments. Previous minutes?

17:02:26 <uli> yes

Uli Sattler: yes

17:02:29 <uli> look fine

Uli Sattler: look fine

17:02:31 <Zakim> + +0186528aabb

Zakim IRC Bot: + +0186528aabb

17:02:40 <bcuencagrau> Zakim, 0186528aabb is me

Bernardo Cuenca Grau: Zakim, 0186528aabb is me

17:02:40 <Zakim> sorry, bcuencagrau, I do not recognize a party named '0186528aabb'

Zakim IRC Bot: sorry, bcuencagrau, I do not recognize a party named '0186528aabb'

17:02:51 <bijan> IanH:  Hearing no objection, they are approved.

Ian Horrocks: Hearing no objection, they are approved.

17:02:51 <bcuencagrau> Zakim, +0186528aabb is me

Bernardo Cuenca Grau: Zakim, +0186528aabb is me

17:02:51 <Zakim> +bcuencagrau; got it

Zakim IRC Bot: +bcuencagrau; got it

17:02:52 <Zakim> +Alan

Zakim IRC Bot: +Alan

17:02:54 <Zakim> + +1.603.897.aacc

Zakim IRC Bot: + +1.603.897.aacc

17:02:57 <bcuencagrau> Zakim, mute me

Bernardo Cuenca Grau: Zakim, mute me

17:02:57 <Zakim> bcuencagrau should now be muted

Zakim IRC Bot: bcuencagrau should now be muted

17:02:58 <IanH> RESOLVED: Accept Previous Minutes http://www.w3.org/2007/OWL/meeting/2009-05-27

RESOLVED: Accept Previous Minutes http://www.w3.org/2007/OWL/meeting/2009-05-27

17:03:04 <Zhe> zakim, +1.603.897.aacc is me

Zhe Wu: zakim, +1.603.897.aacc is me

17:03:04 <Zakim> +Zhe; got it

Zakim IRC Bot: +Zhe; got it

17:03:08 <Zakim> +Peter_Patel-Schneider

Zakim IRC Bot: +Peter_Patel-Schneider

17:03:10 <Zhe> zakim, mute me

Zhe Wu: zakim, mute me

17:03:10 <Zakim> Zhe should now be muted

Zakim IRC Bot: Zhe should now be muted

17:03:32 <Zakim> + +1.518.276.aadd

Zakim IRC Bot: + +1.518.276.aadd

17:03:37 <bijan> IanH: action item review...pending ones are done.

Ian Horrocks: action item review...pending ones are done.

17:03:39 <baojie> Zakim, aadd is baojie

Jie Bao: Zakim, aadd is baojie

17:03:39 <Zakim> +baojie; got it

Zakim IRC Bot: +baojie; got it

17:04:16 <Zakim> + +1.202.408.aaee

Zakim IRC Bot: + +1.202.408.aaee

17:04:19 <bijan> IanH: Bijan's overdue action item. When should it be do?

Ian Horrocks: Bijan's overdue action item. When should it be do?

17:04:30 <bijan> bijan: would like to do it by PR

Bijan Parsia: would like to do it by PR

17:04:37 <bijan> IanH: Any problem with that? Ivan?

Ian Horrocks: Any problem with that? Ivan?

17:04:41 <bijan> ivan: no

Ivan Herman: no

17:04:50 <bijan> Topic: Advancing documents to Last Call and Candidate Recommendation

2. Advancing documents to Last Call and Candidate Recommendation

17:05:14 <zimmer> q+

Antoine Zimmermann: q+

17:05:16 <bijan> IanH: PlainLiteral seems to be in good shape. yay to shapers

Ian Horrocks: PlainLiteral seems to be in good shape. yay to shapers

17:05:34 <IanH> q?

Ian Horrocks: q?

17:05:49 <Zakim> +??P18

Zakim IRC Bot: +??P18

17:05:57 <bijan> Sandro: Last week, Peter and I became editors. And it seems that there is consensus. SPARQL and RIF are ok. Axel has a little issue.

Sandro Hawke: Last week, Peter and I became editors. And it seems that there is consensus. SPARQL and RIF are ok. Axel has a little issue.

17:05:57 <mschneid> zakim, ??P18 is me

Michael Schneider: zakim, ??P18 is me

17:05:57 <Zakim> +mschneid; got it

Zakim IRC Bot: +mschneid; got it

17:06:01 <mschneid> zakim, mute me

Michael Schneider: zakim, mute me

17:06:01 <Zakim> mschneid should now be muted

Zakim IRC Bot: mschneid should now be muted

17:06:01 <IanH> q?

Ian Horrocks: q?

17:06:27 <bijan> ...RIF approved it as ready for LC2 or CR, whichever we go for. We should go for CR.

...RIF approved it as ready for LC2 or CR, whichever we go for. We should go for CR.

17:06:29 <pfps> CR all the way!

Peter Patel-Schneider: CR all the way!

17:06:47 <IanH> q?

Ian Horrocks: q?

17:06:47 <bijan> IanH: We've gotten the positive email from SPARQL

Ian Horrocks: We've gotten the positive email from SPARQL

17:06:48 <ivan> q+

Ivan Herman: q+

17:07:00 <IanH> ack zimmer

Ian Horrocks: ack zimmer

17:07:15 <IanH> q?

Ian Horrocks: q?

17:07:38 <uli> could we see this sentence?

Uli Sattler: could we see this sentence?

17:08:08 <sandro> http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0295.html

Sandro Hawke: http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0295.html

17:08:12 <alanr> minimizing objections suggests accepting his wording. no one objected.

Alan Ruttenberg: minimizing objections suggests accepting his wording. no one objected.

17:08:15 <bijan> zimmer: Repping Axel: He said that he would not like the document published without the issue resolved. There were 3 proposed solutions to changing the sentence. But he won't accept leaving at as it is. DERI would vote against publication without some change.

Antoine Zimmermann: Repping Axel: He said that he would not like the document published without the issue resolved. There were 3 proposed solutions to changing the sentence. But he won't accept leaving at as it is. DERI would vote against publication without some change.

17:08:22 <zimmer> Therefore, typed literals with rdf:PlainLiteral as the datatype do not occur in syntaxes for RDF graphs, nor in syntaxes for SPARQL.

Antoine Zimmermann: Therefore, typed literals with rdf:PlainLiteral as the datatype do not occur in syntaxes for RDF graphs, nor in syntaxes for SPARQL.

17:08:43 <uli> zakim, mute me

Uli Sattler: zakim, mute me

17:08:43 <Zakim> uli should now be muted

Zakim IRC Bot: uli should now be muted

17:08:45 <ivan> q-

Ivan Herman: q-

17:08:51 <sandro> in http://www.w3.org/2007/OWL/wiki/PlainLiteral#Syntax_for_rdf:PlainLiteral_Literals

Sandro Hawke: in http://www.w3.org/2007/OWL/wiki/PlainLiteral#Syntax_for_rdf:PlainLiteral_Literals

17:09:25 <uli> which is your preferred option?

Uli Sattler: which is your preferred option?

17:09:52 <uli> 3?

Uli Sattler: 3?

17:09:52 <IanH> q?

Ian Horrocks: q?

17:10:51 <bijan> IanH: What are we supposed to do? If we decide which one we want, then do we have to wait for the RIF people, and then for the SPARQL people? And the heat death of the universe?

Ian Horrocks: What are we supposed to do? If we decide which one we want, then do we have to wait for the RIF people, and then for the SPARQL people? And the heat death of the universe?

17:11:00 <bijan> sandro: Ok to defer to the rdf-text list.

Sandro Hawke: Ok to defer to the rdf-text list.

17:11:20 <bijan> ...It's really an editorial change.

...It's really an editorial change.

17:11:44 <alanr> +1 to bijan

Alan Ruttenberg: +1 to sandro

17:12:06 <IanH> q?

Ian Horrocks: q?

17:12:09 <bijan> s/bijan/sandro/
17:12:30 <bijan> q+

q+

17:12:48 <IanH> ack bijan

Ian Horrocks: ack bijan

17:13:28 <pfps> I suggest that we vote, and say that any of the 3 options are OK.

Peter Patel-Schneider: I suggest that we vote, and say that any of the 3 options are OK.

17:13:37 <bijan> +1 to pfps

+1 to pfps

17:13:40 <sandro> +1 pfps

Sandro Hawke: +1 pfps

17:14:00 <ivan> +1 pfps

Ivan Herman: +1 pfps

17:14:04 <IanH> q?

Ian Horrocks: q?

17:15:27 <sandro> http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0295.html

Sandro Hawke: http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0295.html

17:15:42 <IanH> PROPOSED: The OWL WG will defer to the editors or rdf:PlainLiteral to resolve the issue described in http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0295.html

PROPOSED: The OWL WG will defer to the editors or rdf:PlainLiteral to resolve the issue described in http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0295.html

17:15:48 <sandro> +1

Sandro Hawke: +1

17:15:48 <bijan> +1

+1

17:15:50 <zimmer> +1

Antoine Zimmermann: +1

17:15:52 <uli> +1

Uli Sattler: +1

17:15:52 <Zhe> +1

Zhe Wu: +1

17:15:53 <MarkusK_> +1

Markus Krötzsch: +1

17:15:54 <pfps> +1

Peter Patel-Schneider: +1

17:15:55 <bmotik> +1

Boris Motik: +1

17:15:55 <msmith1> +1

Michael Smith: +1

17:15:56 <IanH> +1

Ian Horrocks: +1

17:15:57 <mschneid> +1

Michael Schneider: +1

17:16:01 <baojie> +1

Jie Bao: +1

17:16:09 <ivan> +1

Ivan Herman: +1

17:16:33 <IanH> RESOLVED: The OWL WG will defer to the editors of rdf:PlainLiteral to resolve the issue described in http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0295.html

RESOLVED: The OWL WG will defer to the editors of rdf:PlainLiteral to resolve the issue described in http://lists.w3.org/Archives/Public/public-rdf-text/2009AprJun/0295.html

17:16:43 <alanr> +1

Alan Ruttenberg: +1

17:16:56 <IanH> PROPOSED: rdf:PlainLiteral is ready for publication as a Candidate Recommendation

PROPOSED: rdf:PlainLiteral is ready for publication as a Candidate Recommendation

17:16:57 <pfps> +1 ALU

Peter Patel-Schneider: +1 ALU

17:17:00 <bmotik> +1 Oxford

Boris Motik: +1 Oxford

17:17:04 <MarkusK_> +1 (FZI)

Markus Krötzsch: +1 (FZI)

17:17:08 <Zhe> +1 (ORACLE)

Zhe Wu: +1 (ORACLE)

17:17:09 <sandro> +1 (W3C)

Sandro Hawke: +1 (W3C)

17:17:10 <alanr> +1 Science Commons

Alan Ruttenberg: +1 Science Commons

17:17:10 <msmith1> +1 C&P

Michael Smith: +1 C&P

17:17:15 <baojie> +1

Jie Bao: +1

17:17:17 <uli> +1 Manchester

Uli Sattler: +1 Manchester

17:17:21 <baojie> +1 RPI

Jie Bao: +1 RPI

17:17:27 <zimmer> +!1Only if the sentence aforementioned is changed (DERI)

Antoine Zimmermann: +!1Only if the sentence aforementioned is changed (DERI)

17:17:45 <IanH> RESOLVED: rdf:PlainLiteral is ready for publication as a Candidate Recommendation

RESOLVED: rdf:PlainLiteral is ready for publication as a Candidate Recommendation

17:18:08 <pfps> q+

Peter Patel-Schneider: q+

17:18:12 <IanH> Q?

Ian Horrocks: Q?

17:18:18 <IanH> ack pfps

Ian Horrocks: ack pfps

17:18:31 <ivan> q+

Ivan Herman: q+

17:18:42 <bijan> pfps: We need to make some slight adjustments to our docs to accommodate PlainLiteral.

Peter Patel-Schneider: We need to make some slight adjustments to our docs to accommodate PlainLiteral.

17:18:53 <bijan> ...e.g., RDF mapping.

...e.g., RDF mapping.

17:18:57 <IanH> q?

Ian Horrocks: q?

17:19:24 <bijan> ...Also in Structural Spec to align Literals there to PlainLiterals

...Also in Structural Spec to align Literals there to PlainLiterals

17:19:56 <bijan> ACTION: pfps to align RDF Mapping with the PlainLiteral spec

ACTION: pfps to align RDF Mapping with the PlainLiteral spec

17:19:56 <trackbot> Created ACTION-339 - Align RDF Mapping with the PlainLiteral spec [on Peter Patel-Schneider - due 2009-06-10].

Trackbot IRC Bot: Created ACTION-339 - Align RDF Mapping with the PlainLiteral spec [on Peter Patel-Schneider - due 2009-06-10].

17:20:16 <bijan> ACTION: boris to align structural spec with the PlainLiteral spec

ACTION: boris to align structural spec with the PlainLiteral spec

17:20:16 <trackbot> Created ACTION-340 - Align structural spec with the PlainLiteral spec [on Boris Motik - due 2009-06-10].

Trackbot IRC Bot: Created ACTION-340 - Align structural spec with the PlainLiteral spec [on Boris Motik - due 2009-06-10].

17:20:27 <IanH> q?

Ian Horrocks: q?

17:20:30 <IanH> ack ivan

Ian Horrocks: ack ivan

17:20:48 <bijan> ivan: With all these resolutions, do we still  need to keep PlainLiteral at risk?

Ivan Herman: With all these resolutions, do we still need to keep PlainLiteral at risk?

17:20:51 <alanr> not at risk any more

Alan Ruttenberg: not at risk any more

17:20:53 <bijan> IanH: Hopefully not.

Ian Horrocks: Hopefully not.

17:21:00 <IanH> q?

Ian Horrocks: q?

17:21:04 <sandro> yeah, let's take them out of "at risk"

Sandro Hawke: yeah, let's take them out of "at risk"

17:21:05 <mschneid> we did never add an "At-Risk" comment to our documents for rdf:text

Michael Schneider: we did never add an "At-Risk" comment to our documents for rdf:text

17:21:45 <IanH> q?

Ian Horrocks: q?

17:21:46 <bmotik> q+

Boris Motik: q+

17:21:52 <IanH> q?

Ian Horrocks: q?

17:21:56 <bmotik> Zakim, unmute me

Boris Motik: Zakim, unmute me

17:21:56 <Zakim> bmotik should no longer be muted

Zakim IRC Bot: bmotik should no longer be muted

17:21:59 <IanH> ack bmotik

Ian Horrocks: ack bmotik

17:22:06 <mschneid> there is no such AtRisk comment in the RDF-based semantics

Michael Schneider: there is no such AtRisk comment in the RDF-based semantics

17:22:16 <alanr> ambiguity

Alan Ruttenberg: ambiguity

17:22:23 <bijan> boris: I don't think the syntax document needs changing. So perhaps I should talk with pfps off line.

Boris Motik: I don't think the syntax document needs changing. So perhaps I should talk with pfps off line.

17:22:24 <alanr> q+

Alan Ruttenberg: q+

17:22:37 <bijan> pfps: it's purely editorial, so we can discuss off line

Peter Patel-Schneider: it's purely editorial, so we can discuss off line

17:22:40 <IanH> ack alanr

Ian Horrocks: ack alanr

17:22:50 <msmith1> q+ about this

Michael Smith: q+ about this

17:22:51 <bijan> IanH: No change is ok under boris's action.

Ian Horrocks: No change is ok under boris's action.

17:22:55 <IanH> qq?

Ian Horrocks: qq?

17:22:58 <IanH> q?

Ian Horrocks: q?

17:23:06 <bijan> alanr: I don't think it's editorial. Since you can't tell something.

Alan Ruttenberg: I don't think it's editorial. Since you can't tell something.

17:23:37 <IanH> q?

Ian Horrocks: q?

17:23:38 <bijan> boris: SS never had a notion of plain literals. SS uses an abbreviation, which should stay.

Boris Motik: SS never had a notion of plain literals. SS uses an abbreviation, which should stay.

17:23:44 <msmith1> q-

Michael Smith: q-

17:24:01 <bijan> alanr: The problem is that the abbreviation abbreviates xsd:string or PlainLiteral, hence ambiguity.

Alan Ruttenberg: The problem is that the abbreviation abbreviates xsd:string or PlainLiteral, hence ambiguity.

17:24:34 <bijan> boris: This is not true. The current wording is unambiguous. But we could make it even more clear.

Boris Motik: This is not true. The current wording is unambiguous. But we could make it even more clear.

17:24:37 <msmith1> this was discussed in thread http://lists.w3.org/Archives/Public/public-owl-wg/2009May/0329.html and not resolved

Michael Smith: this was discussed in thread http://lists.w3.org/Archives/Public/public-owl-wg/2009May/0329.html and not resolved

17:24:40 <bijan> IanH: Take it off line, perhaps?

Ian Horrocks: Take it off line, perhaps?

17:25:07 <bijan> ...Now on to Status Reports. Modulo the few changes, i think we're ready. Sandro?

...Now on to Status Reports. Modulo the few changes, i think we're ready. Sandro?

17:25:07 <IanH> q?

Ian Horrocks: q?

17:25:21 <bijan> sandro: I think so. Couple little things, but generally ok.

Sandro Hawke: I think so. Couple little things, but generally ok.

17:25:36 <mschneid> *when* will transition happen?

Michael Schneider: *when* will transition happen?

17:25:45 <bijan> IanH: CR transition meeting occurs next Wed.

Ian Horrocks: CR transition meeting occurs next Wed.

17:25:59 <bijan> sandro: if we are approved, we'll publish the next day.

Sandro Hawke: if we are approved, we'll publish the next day.

17:26:11 <bijan> IanH: If this works out then we can do a press push at SemTech

Ian Horrocks: If this works out then we can do a press push at SemTech

17:26:14 <mschneid> q+

Michael Schneider: q+

17:26:18 <IanH> q?

Ian Horrocks: q?

17:26:18 <mschneid> zakim, unmute me

Michael Schneider: zakim, unmute me

17:26:19 <Zakim> mschneid should no longer be muted

Zakim IRC Bot: mschneid should no longer be muted

17:26:25 <sandro> queue=

Sandro Hawke: queue=

17:26:58 <bmotik> Zakim, mute me

Boris Motik: Zakim, mute me

17:26:58 <Zakim> bmotik should now be muted

Zakim IRC Bot: bmotik should now be muted

17:27:47 <IanH> q?

Ian Horrocks: q?

17:27:53 <mschneid> zakim, mute me

Michael Schneider: zakim, mute me

17:27:53 <Zakim> mschneid should now be muted

Zakim IRC Bot: mschneid should now be muted

17:28:28 <bijan> Topic: Moving Forward

3. Moving Forward

17:29:29 <bijan> IanH: It was suggested by XML Schema co-chair that we should make a comment about our use of XSD 1.1.

Ian Horrocks: It was suggested by XML Schema co-chair that we should make a comment about our use of XSD 1.1.

17:29:31 <alanr> was our experience positive?

Alan Ruttenberg: was our experience positive?

17:29:39 <bijan> yes.

yes.

17:29:39 <IanH> q?

Ian Horrocks: q?

17:29:51 <IanH> q?

Ian Horrocks: q?

17:29:52 <pfps> 1.1 >> 1.0 !!!

Peter Patel-Schneider: 1.1 >> 1.0 !!!

17:29:56 <ivan> q+

Ivan Herman: q+

17:29:59 <bijan> IanH: I think we decided that as far as we were concerned 1.1 was much better than 1.0.

Ian Horrocks: I think we decided that as far as we were concerned 1.1 was much better than 1.0.

17:30:00 <IanH> ack ivan

Ian Horrocks: ack ivan

17:30:08 <bijan> http://www.w3.org/2007/OWL/wiki/XSD_1.1_Comment_draft

http://www.w3.org/2007/OWL/wiki/XSD_1.1_Comment_draft

17:30:28 <bijan> ivan: I suggest a push for you to keep on schedule.

Ivan Herman: I suggest a push for you to keep on schedule.

17:30:31 <bijan> q+

q+

17:30:32 <pfps> How about a stronger-than-gentle push!

Peter Patel-Schneider: How about a stronger-than-gentle push!

17:30:40 <alanr> I would like the objection noted

Alan Ruttenberg: I would like the objection noted

17:30:44 <bijan> IanH: That's the point :)

Ian Horrocks: That's the point :)

17:30:47 <alanr> q+

Alan Ruttenberg: q+

17:30:49 <bijan> q-

q-

17:30:59 <IanH> q?

Ian Horrocks: q?

17:31:33 <IanH> ack alanr

Ian Horrocks: ack alanr

17:31:37 <bijan> q+

q+

17:31:47 <IanH> q?

Ian Horrocks: q?

17:31:51 <IanH> ack bijan

Ian Horrocks: ack bijan

17:32:01 <pfps> I am very strongly against including anything like that.

Peter Patel-Schneider: I am very strongly against including anything like that.

17:32:07 <IanH> q?

Ian Horrocks: q?

17:32:15 <ivan> q+

Ivan Herman: q+

17:32:25 <pfps> +1 to bijan

Peter Patel-Schneider: +1 to bijan

17:32:25 <bijan> bijan: I object to that. It's irrelevant.

Bijan Parsia: I object to that. It's irrelevant.

17:32:26 <IanH> ack ivan

Ian Horrocks: ack ivan

17:32:43 <IanH> q?

Ian Horrocks: q?

17:32:59 <IanH> q?

Ian Horrocks: q?

17:33:25 <IanH> q?

Ian Horrocks: q?

17:33:31 <alanr> I will take that under consideration

Alan Ruttenberg: I will take that under consideration

17:33:34 <bmotik> +1000 to Ivan and Ian

Boris Motik: +1000 to Ivan and Ian

17:33:43 <pfps> +111111 to Ivan and Ian

Peter Patel-Schneider: +111111 to Ivan and Ian

17:33:54 <pfps> q+

Peter Patel-Schneider: q+

17:34:02 <IanH> q?

Ian Horrocks: q?

17:34:06 <IanH> ack pfps

Ian Horrocks: ack pfps

17:34:17 <bijan> pfps: I suggest we vote to send the message as is.

Peter Patel-Schneider: I suggest we vote to send the message as is.

17:34:26 <bijan> +1 to pfps

+1 to pfps

17:35:18 <IanH> q?

Ian Horrocks: q?

17:35:20 <bijan> IanH: How do we deal with remaining or new issues?

Ian Horrocks: How do we deal with remaining or new issues?

17:35:57 <IanH> q?

Ian Horrocks: q?

17:36:07 <pfps> q+

Peter Patel-Schneider: q+

17:36:12 <IanH> ack pfps

Ian Horrocks: ack pfps

17:36:15 <bijan> alanr: We have a response to our comment from Grosof requesting editorial change

Alan Ruttenberg: We have a response to our comment from Grosof requesting editorial change

17:36:27 <bijan> IanH: Proposal is to continue as we've been doing.

Ian Horrocks: Proposal is to continue as we've been doing.

17:36:43 <bijan> pfps: We shouldn't use the current LC comment page. We should freeze that.

Peter Patel-Schneider: We shouldn't use the current LC comment page. We should freeze that.

17:37:09 <IanH> q?

Ian Horrocks: q?

17:37:41 <bijan> IanH: So we'll use the issue list to track new issues raised

Ian Horrocks: So we'll use the issue list to track new issues raised

17:38:06 <alanr> letter on xml schema: Would like to remove " and operations  on data values such as comparison of dates;"

Alan Ruttenberg: letter on xml schema: Would like to remove " and operations on data values such as comparison of dates;"

17:38:09 <msmith1> q+

Michael Smith: q+

17:38:18 <IanH> q?

Ian Horrocks: q?

17:38:23 <bijan> IanH: Implementation and testing. Any progress on implementation? I had some positive feedback from Pascal Hitzler on OWL RL.

Ian Horrocks: Implementation and testing. Any progress on implementation? I had some positive feedback from Pascal Hitzler on OWL RL.

17:38:31 <alanr> letter on xml schema remove point 4

Alan Ruttenberg: letter on xml schema remove point 4

17:38:34 <MarkusK_> q+

Markus Krötzsch: q+

17:38:50 <alanr> letter on xml schema add thanks for responsiveness to our inquiries and issues

Alan Ruttenberg: letter on xml schema add thanks for responsiveness to our inquiries and issues

17:39:53 <sandro> re HP: http://www.theregister.co.uk/2009/05/29/hp_labs_closure/

Sandro Hawke: re HP: http://www.theregister.co.uk/2009/05/29/hp_labs_closure/

17:39:55 <bijan> ivan: I've been in contact with Franz Inc on Allegrograph, aduna, HP. They were positive subject to resource contraints. (HP labs is being shut down.) Also had feedback from Axel. No firm commitments.

Ivan Herman: I've been in contact with Franz Inc on Allegrograph, aduna, HP. They were positive subject to resource contraints. (HP labs is being shut down.) Also had feedback from Axel. No firm commitments.

17:40:45 <bijan> ...Mid July is a tight timeline.

...Mid July is a tight timeline.

17:40:52 <IanH> ack msmith

Ian Horrocks: ack msmith

17:41:00 <uli> I have talked to Racer, Quonto, CEL

Uli Sattler: I have talked to Racer, Quonto, CEL

17:41:02 <bijan> IanH: These folks are not strictly necessary, but nice to have

Ian Horrocks: These folks are not strictly necessary, but nice to have

17:41:17 <bijan> msmith: CEL people contact me about the test harness so they might help.

Michael Smith: CEL people contact me about the test harness so they might help.

17:41:30 <uli> ...and they are all looking into some testing.

Uli Sattler: ...and they are all looking into some testing.

17:41:33 <bijan> ivan: Snorocket?

Ivan Herman: Snorocket?

17:41:49 <bijan> IanH: The only issue is about putting an OWL front end on it.

Ian Horrocks: The only issue is about putting an OWL front end on it.

17:42:11 <ivan> snocrocket is by CSIRO, Brisbane

Ivan Herman: snocrocket is by CSIRO, Brisbane

17:42:14 <IanH> ack MarkusK_

Ian Horrocks: ack MarkusK_

17:42:16 <IanH> q?

Ian Horrocks: q?

17:42:37 <alanr> http://code.google.com/p/cel/

Alan Ruttenberg: http://code.google.com/p/cel/

17:42:49 <msmith1> q+ about this...

Michael Smith: q+ about this...

17:42:51 <IanH> q?

Ian Horrocks: q?

17:43:01 <bijan> MarkusK_: Need the OWL API.

Markus Krötzsch: Need the OWL API.

17:43:02 <bijan> q+

q+

17:43:13 <IanH> ack bijan

Ian Horrocks: ack bijan

17:43:34 <IanH> bijan: OWL API is close to being ready

Bijan Parsia: OWL API is close to being ready [ Scribe Assist by Ian Horrocks ]

17:43:49 <msmith1> q- about

Michael Smith: q- about

17:43:51 <msmith1> q- this...

Michael Smith: q- this...

17:43:53 <msmith1> q+

Michael Smith: q+

17:43:54 <IanH> ... were last minute changes to syntax (as we know) that causes some hassles

Ian Horrocks: ... were last minute changes to syntax (as we know) that causes some hassles

17:44:04 <ivan> +1 to Bijan!

Ivan Herman: +1 to Bijan!

17:44:12 <MarkusK_> Markus: The CEL people also contacted me. The implementation reported by Pascal is developed by STI Innsbruck, and might be usable for RL and EL.

Scribe problem: the name 'Markus' is ambiguous. It could be any of: Markus Stocker Markus Krötzsch . Either change the name used or insert a 'PRESENT: ...' line to restrict the active names.

Unknown Markus: The CEL people also contacted me. The implementation reported by Pascal is developed by STI Innsbruck, and might be usable for RL and EL. [ Scribe Assist by Markus Krötzsch ]

17:44:13 <IanH> ... but will finish job soon (modulo ISWC deadline)

Ian Horrocks: ... but will finish job soon (modulo ISWC deadline)

17:44:16 <IanH> q?

Ian Horrocks: q?

17:44:21 <IanH> ack msmith

Ian Horrocks: ack msmith

17:44:38 <MarkusK_> Markus: Many implementors hope for the OWL API to be available.

Scribe problem: the name 'Markus' is ambiguous. It could be any of: Markus Stocker Markus Krötzsch . Either change the name used or insert a 'PRESENT: ...' line to restrict the active names.

Unknown Markus: Many implementors hope for the OWL API to be available. [ Scribe Assist by Markus Krötzsch ]

17:44:59 <bijan> msmith: I want to clarify that I don't think we can *count* on all of the OWL API stuff being ready. E.g., OWL API 2 to OWL API 3 shifts might not happen.

Michael Smith: I want to clarify that I don't think we can *count* on all of the OWL API stuff being ready. E.g., OWL API 2 to OWL API 3 shifts might not happen.

17:45:03 <IanH> q?

Ian Horrocks: q?

17:45:11 <IanH> q?

Ian Horrocks: q?

17:45:12 <MarkusK_> ok, that sound good

Markus Krötzsch: ok, that sound good

17:45:16 <bijan> ...There are some ripple effects.

...There are some ripple effects.

17:45:22 <MarkusK_> s /sound/sounds/

Markus Krötzsch: s /sound/sounds/

17:45:27 <IanH> q?

Ian Horrocks: q?

17:45:29 <msmith1> +1 to this concern

Michael Smith: +1 to this concern

17:46:04 <IanH> bijan: maybe; trying to get other efforts going; e.g., to adapt/update Jena

Bijan Parsia: maybe; trying to get other efforts going; e.g., to adapt/update Jena [ Scribe Assist by Ian Horrocks ]

17:46:26 <IanH> ... working on RDF/XML --> OWL/XML translator

Ian Horrocks: ... working on RDF/XML --> OWL/XML translator

17:46:43 <msmith1> yes.

Michael Smith: yes.

17:46:50 <MarkusK_> good

Markus Krötzsch: good

17:47:06 <bijan> IanH: We need profile validators!

Ian Horrocks: We need profile validators!

17:47:14 <IanH> q?

Ian Horrocks: q?

17:47:39 <alanr> yes

Alan Ruttenberg: yes

17:47:49 <IanH> bijan: is intending to have a species validation implementation not dependent on the OWL API

Bijan Parsia: is intending to have a species validation implementation not dependent on the OWL API [ Scribe Assist by Ian Horrocks ]

17:48:11 <alanr> could add lsw

Alan Ruttenberg: could add lsw

17:48:15 <ivan> q+

Ivan Herman: q+

17:48:15 <bijan> IanH: can we add information about these pending implementation to the implementation page?

Ian Horrocks: can we add information about these pending implementation to the implementation page?

17:48:19 <ivan> q-

Ivan Herman: q-

17:48:19 <IanH> q?

Ian Horrocks: q?

17:48:27 <alanr> I can add it for my system

Alan Ruttenberg: I can add it for my system

17:48:48 <IanH> q?

Ian Horrocks: q?

17:49:00 <ivan> q+

Ivan Herman: q+

17:49:09 <IanH> q?

Ian Horrocks: q?

17:49:15 <IanH> ack ivan

Ian Horrocks: ack ivan

17:49:23 <bijan> q+

q+

17:49:31 <alanr> protege depends on owlapi

Alan Ruttenberg: protege depends on owlapi

17:49:32 <bijan> ivan: how about protege?

Ivan Herman: how about protege?

17:49:32 <uli> half way

Uli Sattler: half way

17:49:38 <IanH> q?

Ian Horrocks: q?

17:49:40 <IanH> ack bijan

Ian Horrocks: ack bijan

17:50:37 <ivan> q+

Ivan Herman: q+

17:51:08 <IanH> bijan: Protege 4 already pretty good; working on upgrading; also have another editing tool

Bijan Parsia: Protege 4 already pretty good; working on upgrading; also have another editing tool [ Scribe Assist by Ian Horrocks ]

17:51:24 <msmith1> keys and annotations

Michael Smith: keys and annotations

17:51:24 <uli> why?

Uli Sattler: why?

17:51:25 <IanH> q?

Ian Horrocks: q?

17:51:33 <uli> DatatypeDefinition

Uli Sattler: DatatypeDefinition

17:51:42 <uli> AnnotationPropertyRange

Uli Sattler: AnnotationPropertyRange

17:52:00 <msmith1> the datatype set ops (e.g., union)

Michael Smith: the datatype set ops (e.g., union)

17:52:08 <IanH> bijan: lots of little things; will make progress -- hopefully enough for CR

Bijan Parsia: lots of little things; will make progress -- hopefully enough for CR [ Scribe Assist by Ian Horrocks ]

17:52:11 <IanH> ack ivan

Ian Horrocks: ack ivan

17:52:27 <bijan> ivan: I was wondering if it's worth reporting about all the various implementations that we're hearing about at semtech

Ivan Herman: I was wondering if it's worth reporting about all the various implementations that we're hearing about at semtech

17:52:46 <bijan> IanH: Can do any harm, yes? Let's do it!

Ian Horrocks: Can do any harm, yes? Let's do it!

17:52:55 <IanH> q?

Ian Horrocks: q?

17:53:04 <msmith1> +1 to the idea, let's take off-line

Michael Smith: +1 to the idea, let's take off-line

17:54:03 <IanH> q?

Ian Horrocks: q?

17:54:06 <bijan> I'll note that OWL/XML tools will be quite robust :)

I'll note that OWL/XML tools will be quite robust :)

17:54:42 <bijan> q+

q+

17:55:13 <IanH> ack bijan

Ian Horrocks: ack bijan

17:56:15 <IanH> bijan: could layer an owl full implementation on top of a DL one with punning

Bijan Parsia: could layer an owl full implementation on top of a DL one with punning [ Scribe Assist by Ian Horrocks ]

17:56:53 <IanH> ... will tools that only accept OWL/XML will count as a useful category of tool?

Ian Horrocks: ... will tools that only accept OWL/XML will count as a useful category of tool?

17:57:40 <alanr> +1

Alan Ruttenberg: +1

17:57:43 <IanH> q?

Ian Horrocks: q?

17:58:13 <IanH> q?

Ian Horrocks: q?

17:58:33 <alanr> higher

Alan Ruttenberg: higher

17:58:50 <msmith1> q+ to discourage the profile validator

Michael Smith: q+ to discourage the profile validator

17:59:02 <IanH> q?

Ian Horrocks: q?

17:59:07 <IanH> ack msmith

Ian Horrocks: ack msmith

17:59:07 <Zakim> msmith, you wanted to discourage the profile validator

Zakim IRC Bot: msmith, you wanted to discourage the profile validator

17:59:44 <IanH> q?

Ian Horrocks: q?

17:59:47 <Zakim> -Alan

Zakim IRC Bot: -Alan

18:00:34 <alanr> calling back

Alan Ruttenberg: calling back

18:00:58 <Zakim> +Alan_Ruttenberg

Zakim IRC Bot: +Alan_Ruttenberg

18:01:01 <bijan> IanH: Let's get back to the vote about the XML Schema message

Ian Horrocks: Let's get back to the vote about the XML Schema message

18:01:15 <IanH> q?

Ian Horrocks: q?

18:01:25 <IanH> http://www.w3.org/2007/OWL/wiki/XSD_1.1_Comment_draft

Ian Horrocks: http://www.w3.org/2007/OWL/wiki/XSD_1.1_Comment_draft

18:01:35 <bijan> IanH: Alan?

Ian Horrocks: Alan?

18:01:52 <bijan> alanr: I would be ok with a few tweaks

Alan Ruttenberg: I would be ok with a few tweaks

18:02:53 <Zakim> -MarkusK_

Zakim IRC Bot: -MarkusK_

18:02:58 <sandro> (I need to run.    Ciao, all.)

Sandro Hawke: (I need to run. Ciao, all.)

18:02:58 <pfps> q+

Peter Patel-Schneider: q+

18:03:04 <Zakim> -Sandro

Zakim IRC Bot: -Sandro

18:03:25 <IanH> q?

Ian Horrocks: q?

18:03:27 <Zakim> +[IPcaller]

Zakim IRC Bot: +[IPcaller]

18:03:30 <IanH> ack pfps

Ian Horrocks: ack pfps

18:03:45 <IanH> q?

Ian Horrocks: q?

18:05:11 <bijan> I think the current draft is fine. The changes proposed make it worse. But who cares.

I think the current draft is fine. The changes proposed make it worse. But who cares.

18:05:22 <uli> +1 to bijan

Uli Sattler: +1 to bijan

18:05:42 <pfps> +1 even the modified version is much better than nothing

Peter Patel-Schneider: +1 even the modified version is much better than nothing

18:06:01 <IanH> PROPOSED: send email to XML Schema group as per draft http://www.w3.org/2007/OWL/wiki/XSD_1.1_Comment_draft modulo minor edits

PROPOSED: send email to XML Schema group as per draft http://www.w3.org/2007/OWL/wiki/XSD_1.1_Comment_draft modulo minor edits

18:06:09 <ivan> +1

Ivan Herman: +1

18:06:09 <bijan> +1

+1

18:06:10 <alanr> +1

Alan Ruttenberg: +1

18:06:11 <bmotik> +1

Boris Motik: +1

18:06:13 <msmith1> +1

Michael Smith: +1

18:06:14 <pfps> +1

Peter Patel-Schneider: +1

18:06:15 <uli> +1

Uli Sattler: +1

18:06:15 <Zhe> +1

Zhe Wu: +1

18:06:17 <baojie> +1

Jie Bao: +1

18:06:17 <MarkusK_> +1

Markus Krötzsch: +1

18:06:17 <bcuencagrau> +1

Bernardo Cuenca Grau: +1

18:06:31 <IanH> RESOLVED: send email to XML Schema group as per draft http://www.w3.org/2007/OWL/wiki/XSD_1.1_Comment_draft modulo minor edits

RESOLVED: send email to XML Schema group as per draft http://www.w3.org/2007/OWL/wiki/XSD_1.1_Comment_draft modulo minor edits

18:06:33 <zimmer> +1

Antoine Zimmermann: +1

18:06:52 <msmith1> q+ to bring up public-owl-wg discussion about rl test cases

Michael Smith: q+ to bring up public-owl-wg discussion about rl test cases

18:07:08 <bijan> IanH: Nearly done. Tests seem to be going well without us.

Ian Horrocks: Nearly done. Tests seem to be going well without us.

18:07:15 <IanH> ack msmith

Ian Horrocks: ack msmith

18:07:15 <Zakim> msmith, you wanted to bring up public-owl-wg discussion about rl test cases

Zakim IRC Bot: msmith, you wanted to bring up public-owl-wg discussion about rl test cases

18:07:48 <bijan> msmith: What are we supposed to be testing with OWL RL test cases?

Michael Smith: What are we supposed to be testing with OWL RL test cases?

18:08:11 <bijan> IanH: First, can we decide wrt to validating test cases. I'd be happy to delegate to the editors.

Ian Horrocks: First, can we decide wrt to validating test cases. I'd be happy to delegate to the editors.

18:08:14 <ivan> +1 to Ian

Ivan Herman: +1 to Ian

18:08:15 <bijan> +1 to ian

+1 to ian

18:08:20 <MarkusK_> +1 to Ian

Markus Krötzsch: +1 to Ian

18:08:21 <msmith1> +1

Michael Smith: +1

18:08:26 <pfps> +1

Peter Patel-Schneider: +1

18:08:49 <bijan> IanH: Good. Struck from the agenda. back to RL

Ian Horrocks: Good. Struck from the agenda. back to RL

18:09:19 <IanH> q?

Ian Horrocks: q?

18:09:32 <bijan> msmith: I'm ok with adding metadata about whether the RL test is complete wrt TH1, but there is a suggestion that other tests "will work out ok" even though we have no text in a document anywhere about what it is to "work out"

Michael Smith: I'm ok with adding metadata about whether the RL test is complete wrt TH1, but there is a suggestion that other tests "will work out ok" even though we have no text in a document anywhere about what it is to "work out"

18:10:20 <bijan> q+

q+

18:10:22 <uli> However, even identifying some tests that are in this category and some "Full" tests that are outside of this category would be a useful addition to the test set. Note that conforming RL systems are *not* obliged to "fail" the latter kind of test - they are simply not *obliged* to pass them.

Uli Sattler: However, even identifying some tests that are in this category and some "Full" tests that are outside of this category would be a useful addition to the test set. Note that conforming RL systems are *not* obliged to "fail" the latter kind of test - they are simply not *obliged* to pass them.

18:10:26 <IanH> ack bijan

Ian Horrocks: ack bijan

18:10:27 <uli> the above?

Uli Sattler: the above?

18:10:43 <uli> (as quoted from Ian's email)

Uli Sattler: (as quoted from Ian's email)

18:11:04 <IanH> q?

Ian Horrocks: q?

18:11:22 <IanH> q?

Ian Horrocks: q?

18:11:28 <alanr> zhe?

Alan Ruttenberg: zhe?

18:11:46 <bijan> bijan: Do we need to go there for CR? It's ok to poke in dark corners, but let's not make our life harder than necessary now.

Bijan Parsia: Do we need to go there for CR? It's ok to poke in dark corners, but let's not make our life harder than necessary now.

18:12:21 <bijan> ivan: I think i agree. My main issue was a marked RL test that can't be handled by the rules. I don't want that to block.

Ivan Herman: I think i agree. My main issue was a marked RL test that can't be handled by the rules. I don't want that to block.

18:12:34 <msmith1> yes

Michael Smith: yes

18:12:35 <msmith1> q+ to propose that we add metadata for thm pr1

Michael Smith: q+ to propose that we add metadata for thm pr1

18:12:35 <IanH> q?

Ian Horrocks: q?

18:12:39 <Zhe> which particular test case?

Zhe Wu: which particular test case?

18:12:40 <bijan> IanH: Mike pointed out that the entailed ontology didn't meet the conditions of TH1

Ian Horrocks: Mike pointed out that the entailed ontology didn't meet the conditions of TH1

18:12:40 <bijan> q+

q+

18:12:46 <IanH> ack msmith

Ian Horrocks: ack msmith

18:12:46 <Zakim> msmith, you wanted to propose that we add metadata for thm pr1

Zakim IRC Bot: msmith, you wanted to propose that we add metadata for thm pr1

18:13:06 <bijan> msmith: I think it's reasonable to mark all tests that are in RL also meet TH1

Michael Smith: I think it's reasonable to mark all tests that are in RL also meet TH1

18:13:09 <Zhe> ivan, could you cut & paste the test case's URL?

Zhe Wu: ivan, could you cut & paste the test case's URL?

18:13:10 <IanH> q?

Ian Horrocks: q?

18:13:19 <bijan> ivan: I would chose a different wording. Going offline for that.

Ivan Herman: I would chose a different wording. Going offline for that.

18:13:22 <IanH> ack bijan

Ian Horrocks: ack bijan

18:13:49 <msmith1> b/c extra credit would impact more than rl reasoners

Michael Smith: b/c extra credit would impact more than rl reasoners

18:13:59 <ivan> zhe: http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/DisjointClasses-001

Zhe Wu: http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/DisjointClasses-001 [ Scribe Assist by Ivan Herman ]

18:14:13 <IanH> q?

Ian Horrocks: q?

18:14:35 <bijan> bijan: use extra credit status to distinguish the TH1 tests from the more than TH1 tests

Bijan Parsia: use extra credit status to distinguish the TH1 tests from the more than TH1 tests

18:14:48 <bijan> 1+

1+

18:14:49 <bijan> er

er

18:14:50 <bijan> q+

q+

18:14:52 <Zhe> thanks ivan

Zhe Wu: thanks ivan

18:14:54 <msmith1> @ivan, I've just moved all zhe's owl 2 rl tests to proposed status

Michael Smith: @ivan, I've just moved all zhe's owl 2 rl tests to proposed status

18:14:54 <IanH> q?

Ian Horrocks: q?

18:15:12 <IanH> q?

Ian Horrocks: q?

18:15:20 <ivan> http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/Test:RL

Ivan Herman: http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/Test:RL

18:15:34 <IanH> ack bijan

Ian Horrocks: ack bijan

18:16:15 <IanH> q?

Ian Horrocks: q?

18:17:17 <IanH> q?

Ian Horrocks: q?

18:17:25 <bijan> IanH: we seem to agree. We need more RL tests. We need to mark different categories of RL tests appropriately.

Ian Horrocks: we seem to agree. We need more RL tests. We need to mark different categories of RL tests appropriately.

18:17:34 <IanH> q?

Ian Horrocks: q?

18:18:15 <ivan> q+

Ivan Herman: q+

18:18:22 <IanH> ack ivan

Ian Horrocks: ack ivan

18:18:38 <bijan> ivan: We already have some implementation that went through the tests and I wonder if the XMLLiteral issue we should keep at risk.

Ivan Herman: We already have some implementation that went through the tests and I wonder if the XMLLiteral issue we should keep at risk.

18:18:40 <IanH> q?

Ian Horrocks: q?

18:18:52 <IanH> q?

Ian Horrocks: q?

18:19:35 <IanH> q?

Ian Horrocks: q?

18:19:54 <pfps> +1 to Bijan

Peter Patel-Schneider: +1 to Bijan

18:20:08 <IanH> q?

Ian Horrocks: q?

18:20:32 <bmotik> XMLLiteral is a pain to implement, but not impossible. Furthermore, I'd be fine with removing "At-Risk".

Boris Motik: XMLLiteral is a pain to implement, but not impossible. Furthermore, I'd be fine with removing "At-Risk".

18:20:51 <bmotik> XMLLiteral is a pain to implement, but not impossible. Furthermore, I see it difficult to get rid of from a political point of view. I'd be fine with removing "At-Risk".

Boris Motik: XMLLiteral is a pain to implement, but not impossible. Furthermore, I see it difficult to get rid of from a political point of view. I'd be fine with removing "At-Risk".

18:20:55 <IanH> q?

Ian Horrocks: q?

18:21:41 <bijan> IanH: It could be worth removing it to lower some eyebrows?

Ian Horrocks: It could be worth removing it to lower some eyebrows?

18:21:50 <bijan> ivan: Eyebrows out of the bag.

Ivan Herman: Eyebrows out of the bag.

18:22:02 <IanH> q?

Ian Horrocks: q?

18:22:10 <bijan> IanH: And we can respond to the eyebrows with our likely positive outcome.

Ian Horrocks: And we can respond to the eyebrows with our likely positive outcome.

18:23:28 <Zakim> -bijan

Zakim IRC Bot: -bijan

18:23:30 <Zakim> -Ivan

Zakim IRC Bot: -Ivan

18:23:30 <Zhe> bye

Zhe Wu: bye

18:23:31 <Zakim> -Peter_Patel-Schneider

Zakim IRC Bot: -Peter_Patel-Schneider

18:23:31 <Zakim> -baojie

Zakim IRC Bot: -baojie

18:23:32 <uli> bye

Uli Sattler: bye

18:23:33 <Zakim> -msmith1

Zakim IRC Bot: -msmith1

18:23:33 <Zakim> -zimmer

Zakim IRC Bot: -zimmer

18:23:33 <alanr> bye

Alan Ruttenberg: bye

18:23:34 <Zakim> -IanH

Zakim IRC Bot: -IanH

18:23:35 <Zakim> -MarkusK_

Zakim IRC Bot: -MarkusK_

18:23:35 <Zakim> -uli

Zakim IRC Bot: -uli

18:23:38 <Zakim> -Alan_Ruttenberg

Zakim IRC Bot: -Alan_Ruttenberg

18:23:38 <zimmer> bye

Antoine Zimmermann: bye

18:23:40 <Zakim> -bmotik

Zakim IRC Bot: -bmotik

18:23:51 <Zakim> -bcuencagrau

Zakim IRC Bot: -bcuencagrau

18:23:54 <Zakim> -mschneid

Zakim IRC Bot: -mschneid

18:32:58 <Zakim> -Zhe

(No events recorded for 9 minutes)

Zakim IRC Bot: -Zhe

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

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

18:33:00 <Zakim> Attendees were Ivan, bijan, IanH, MarkusK_, Sandro, zimmer, bmotik, uli, bcuencagrau, Alan, Zhe, Peter_Patel-Schneider, +1.518.276.aadd, baojie, +1.202.408.aaee, msmith1, schneid,

Zakim IRC Bot: Attendees were Ivan, bijan, IanH, MarkusK_, Sandro, zimmer, bmotik, uli, bcuencagrau, Alan, Zhe, Peter_Patel-Schneider, +1.518.276.aadd, baojie, +1.202.408.aaee, msmith1, schneid,

18:33:03 <Zakim> ... Alan_Ruttenberg

Zakim IRC Bot: ... Alan_Ruttenberg



Formatted by CommonScribe