00:00:00 <ewallace> REGRETS: Jie Bao
00:00:00 <ewallace> CHAIR: Ian Horrocks
16:58:20 <RRSAgent> logging to http://www.w3.org/2009/07/01-owl-irc
RRSAgent IRC Bot: logging to http://www.w3.org/2009/07/01-owl-irc ←
16:58:47 <IanH> zakim, this will be owl
Ian Horrocks: zakim, this will be owl ←
16:58:47 <Zakim> ok, IanH, I see SW_OWL()1:00PM already started
Zakim IRC Bot: ok, IanH, I see SW_OWL()1:00PM already started ←
16:58:51 <ewallace> scribenick:ewallace
(Scribe set to Evan Wallace)
16:59:02 <IanH> IanH has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2009.07.01/Agenda
Ian Horrocks: IanH has changed the topic to: http://www.w3.org/2007/OWL/wiki/Teleconference.2009.07.01/Agenda ←
16:59:12 <IanH> zakim, who is here?
Ian Horrocks: zakim, who is here? ←
16:59:12 <Zakim> On the phone I see ??P0, Evan_Wallace
Zakim IRC Bot: On the phone I see ??P0, Evan_Wallace ←
16:59:14 <Zakim> On IRC I see RRSAgent, Zakim, IanH, bmotik, zimmer, ewallace, trackbot
Zakim IRC Bot: On IRC I see RRSAgent, Zakim, IanH, bmotik, zimmer, ewallace, trackbot ←
16:59:22 <IanH> zakim, ??P0 is IanH
Ian Horrocks: zakim, ??P0 is IanH ←
16:59:22 <Zakim> +IanH; got it
Zakim IRC Bot: +IanH; got it ←
16:59:26 <Zakim> +zimmer
Zakim IRC Bot: +zimmer ←
16:59:28 <IanH> zakim, who is here?
Ian Horrocks: zakim, who is here? ←
16:59:35 <Zakim> On the phone I see IanH, Evan_Wallace, zimmer
Zakim IRC Bot: On the phone I see IanH, Evan_Wallace, zimmer ←
16:59:41 <Zakim> On IRC I see RRSAgent, Zakim, IanH, bmotik, zimmer, ewallace, trackbot
Zakim IRC Bot: On IRC I see RRSAgent, Zakim, IanH, bmotik, zimmer, ewallace, trackbot ←
16:59:58 <Zakim> +??P9
Zakim IRC Bot: +??P9 ←
17:00:05 <bmotik> Zakim, ??P9 is me
Boris Motik: Zakim, ??P9 is me ←
17:00:08 <Zakim> +bmotik; got it
Zakim IRC Bot: +bmotik; got it ←
17:00:11 <bmotik> Zakim, mute me
Boris Motik: Zakim, mute me ←
17:00:12 <Zakim> bmotik should now be muted
Zakim IRC Bot: bmotik should now be muted ←
17:00:41 <Zakim> +??P6
Zakim IRC Bot: +??P6 ←
17:00:51 <IanH> zakim, who is here?
Ian Horrocks: zakim, who is here? ←
17:00:51 <Zakim> On the phone I see IanH, Evan_Wallace, zimmer, bmotik (muted), MarkusK_
Zakim IRC Bot: On the phone I see IanH, Evan_Wallace, zimmer, bmotik (muted), MarkusK_ ←
17:00:54 <Zakim> On IRC I see sandro, MarkusK_, RRSAgent, Zakim, IanH, bmotik, zimmer, ewallace, trackbot
Zakim IRC Bot: On IRC I see sandro, MarkusK_, RRSAgent, Zakim, IanH, bmotik, zimmer, ewallace, trackbot ←
17:01:12 <ewallace> topic: Admin
17:01:21 <IanH> zakim, who is here?
Ian Horrocks: zakim, who is here? ←
17:01:21 <Zakim> On the phone I see IanH, Evan_Wallace, zimmer, bmotik (muted), MarkusK_
Zakim IRC Bot: On the phone I see IanH, Evan_Wallace, zimmer, bmotik (muted), MarkusK_ ←
17:01:23 <ewallace> subtopic: Roll call
17:01:23 <Zakim> On IRC I see sandro, MarkusK_, RRSAgent, Zakim, IanH, bmotik, zimmer, ewallace, trackbot
Zakim IRC Bot: On IRC I see sandro, MarkusK_, RRSAgent, Zakim, IanH, bmotik, zimmer, ewallace, trackbot ←
17:01:25 <ewallace> PRESENT: sandro, MarkusK_, IanH, bmotik, zimmer, ewallace, msmith, mschneid, uli, bcuencagrau, achille
17:01:36 <ewallace> subtopic: Agenda amendments
17:01:37 <ewallace> none
none ←
17:01:38 <Zakim> +Sandro
Zakim IRC Bot: +Sandro ←
17:01:47 <ewallace> subtopic: Previous minutes
17:02:12 <ewallace> resolved: accepted previous minutes
RESOLVED: accepted previous minutes ←
17:02:23 <ewallace> http://www.w3.org/2007/OWL/meeting/2009-06-10
http://www.w3.org/2007/OWL/meeting/2009-06-10 ←
17:02:35 <ewallace> subtopic: Action items status
17:03:09 <ewallace> pending actions done: 341, 342, 343
pending actions done: 341, 342, 343 ←
17:03:30 <ewallace> topic: issues/comments
17:03:39 <Zakim> +??P1
Zakim IRC Bot: +??P1 ←
17:03:49 <bmotik> ZAkim, unmute me
Boris Motik: ZAkim, unmute me ←
17:03:49 <Zakim> bmotik should no longer be muted
Zakim IRC Bot: bmotik should no longer be muted ←
17:03:51 <ewallace> subtopic: Boris Motik's proposal to clarify the definitions of datatype maps
17:03:54 <uli> zakim, ??P1 is me
Uli Sattler: zakim, ??P1 is me ←
17:03:54 <Zakim> +uli; got it
Zakim IRC Bot: +uli; got it ←
17:04:04 <uli> zakim, mute me
Uli Sattler: zakim, mute me ←
17:04:04 <Zakim> uli should now be muted
Zakim IRC Bot: uli should now be muted ←
17:04:16 <bmotik> Zakim, unmute me
Boris Motik: Zakim, unmute me ←
17:04:16 <Zakim> bmotik was not muted, bmotik
Zakim IRC Bot: bmotik was not muted, bmotik ←
17:04:39 <Zakim> +bglimm
Zakim IRC Bot: +bglimm ←
17:04:41 <ewallace> bmotik: The point of this is to clarify certain things
Boris Motik: The point of this is to clarify certain things ←
17:04:47 <bcuencagrau> Zakim, bglimm is bcuencagrau
Bernardo Cuenca Grau: Zakim, bglimm is bcuencagrau ←
17:04:47 <Zakim> +bcuencagrau; got it
Zakim IRC Bot: +bcuencagrau; got it ←
17:04:56 <bcuencagrau> Zakim, mute me
Bernardo Cuenca Grau: Zakim, mute me ←
17:04:56 <Zakim> bcuencagrau should now be muted
Zakim IRC Bot: bcuencagrau should now be muted ←
17:04:59 <ewallace> ... The syntax doc allowed additional data maps for instance
... The syntax doc allowed additional data maps for instance ←
17:05:05 <Zakim> +msmith
Zakim IRC Bot: +msmith ←
17:05:33 <ewallace> ... The proposal is to take conformance wrt DL ontology documents into syntax.
... The proposal is to take conformance wrt DL ontology documents into syntax. ←
17:05:59 <ewallace> ... We would make the documents more consistent this way
... We would make the documents more consistent this way ←
17:06:12 <bmotik> Zakim, mute me
Boris Motik: Zakim, mute me ←
17:06:12 <Zakim> bmotik should now be muted
Zakim IRC Bot: bmotik should now be muted ←
17:06:13 <IanH> q?
Ian Horrocks: q? ←
17:06:28 <msmith> q+
Mike Smith: q+ ←
17:06:36 <IanH> ack msmith
Ian Horrocks: ack msmith ←
17:06:47 <ewallace> ianh: What I understand is that you are just suggesting moving things around to make docs more consistent.
Ian Horrocks: What I understand is that you are just suggesting moving things around to make docs more consistent. ←
17:07:04 <ewallace> msmith: From what I have seen this is a useful clarification
Mike Smith: From what I have seen this is a useful clarification ←
17:07:26 <ewallace> ianh: Since nobody is speaking against this, lets do it.
Ian Horrocks: Since nobody is speaking against this, lets do it. ←
17:08:01 <IanH> PROPOSED: Boris to clarify the definitions of datatype maps as per http://lists.w3.org/Archives/Public/public-owl-wg/2009Apr/0454.html
PROPOSED: Boris to clarify the definitions of datatype maps as per http://lists.w3.org/Archives/Public/public-owl-wg/2009Apr/0454.html ←
17:08:09 <bmotik> +1
Boris Motik: +1 ←
17:08:11 <bcuencagrau> +1
17:08:11 <uli> +1
Uli Sattler: +1 ←
17:08:14 <msmith> +1
Mike Smith: +1 ←
17:08:15 <IanH> +1
Ian Horrocks: +1 ←
17:08:16 <ewallace> +1
+1 ←
17:08:18 <zimmer> +1
Antoine Zimmermann: +1 ←
17:08:19 <MarkusK_> +1
Markus Krötzsch: +1 ←
17:08:25 <IanH> q?
Ian Horrocks: q? ←
17:08:30 <sandro> +0
Sandro Hawke: +0 ←
17:08:40 <IanH> RESOLVED: Boris to clarify the definitions of datatype maps as per http://lists.w3.org/Archives/Public/public-owl-wg/2009Apr/0454.html
RESOLVED: Boris to clarify the definitions of datatype maps as per http://lists.w3.org/Archives/Public/public-owl-wg/2009Apr/0454.html ←
17:09:21 <bmotik> Zakim, unmute me
Boris Motik: Zakim, unmute me ←
17:09:21 <Zakim> bmotik should no longer be muted
Zakim IRC Bot: bmotik should no longer be muted ←
17:10:02 <bmotik> ACTION: bmotik2 to Clarity the description of datatype maps in Syntax and Conformance
ACTION: bmotik2 to Clarity the description of datatype maps in Syntax and Conformance ←
17:10:02 <trackbot> Created ACTION-344 - Clarity the description of datatype maps in Syntax and Conformance [on Boris Motik - due 2009-07-08].
Trackbot IRC Bot: Created ACTION-344 - Clarity the description of datatype maps in Syntax and Conformance [on Boris Motik - due 2009-07-08]. ←
17:10:05 <ewallace> subsubtopic: M. Schneider's question on "forest-like anonymous individuals"
17:10:31 <ewallace> ianh: "forest-like anonymous individuals" issue was resolved by email
Ian Horrocks: "forest-like anonymous individuals" issue was resolved by email ←
17:10:54 <bmotik> Zakim, mute me
Boris Motik: Zakim, mute me ←
17:10:54 <Zakim> bmotik should now be muted
Zakim IRC Bot: bmotik should now be muted ←
17:11:20 <ewallace> subsubtopic: M. Schneider's proposal "to make certain ontology properties of OWL 2 Full into annotation properties"
17:11:24 <ewallace> Michael Schneider not present, so 3rd issue deferred to next meeting.
Michael Schneider not present, so 3rd issue deferred to next meeting. ←
17:11:38 <ewallace> topic: Implementation and Testing
17:11:39 <ewallace> subtopic: Implementations
17:11:40 <ewallace> subsubtopic: Reasoners
17:11:59 <uli> we are
Uli Sattler: we are ←
17:12:04 <msmith> q+
Mike Smith: q+ ←
17:12:05 <ewallace> ianh: Hermit is passing all the tests, so we have at least one conformant OWL2 DL reasoner
Ian Horrocks: Hermit is passing all the tests, so we have at least one conformant OWL2 DL reasoner ←
17:12:09 <IanH> q?
Ian Horrocks: q? ←
17:12:10 <uli> the OWL API going forward
Uli Sattler: the OWL API going forward ←
17:12:18 <IanH> ack msmith
Ian Horrocks: ack msmith ←
17:12:19 <uli> and Fact++ is getting closer as well
Uli Sattler: and Fact++ is getting closer as well ←
17:12:20 <ewallace> ianh: any other implementation results to report?
Ian Horrocks: any other implementation results to report? ←
17:12:41 <Zakim> +[IBM]
Zakim IRC Bot: +[IBM] ←
17:12:55 <Achille> Zakim, IBM is me
Achille Fokoue: Zakim, IBM is me ←
17:12:55 <Zakim> +Achille; got it
Zakim IRC Bot: +Achille; got it ←
17:13:09 <Zakim> -Achille
Zakim IRC Bot: -Achille ←
17:13:17 <ewallace> msmith: There is a version of the OWL API that is OWL2 compliant (if not fully)
Mike Smith: There is a version of the OWL API that is OWL2 compliant (if not fully) ←
17:13:33 <ewallace> ianh: What about pellet itself and OWL 2?
Ian Horrocks: What about pellet itself and OWL 2? ←
17:13:42 <Zakim> +[IBM]
Zakim IRC Bot: +[IBM] ←
17:13:56 <ewallace> msmith: Working on datatype area, hope to be done by July 15.
Mike Smith: Working on datatype area, hope to be done by July 15. ←
17:14:00 <Achille> Zakim, IBM i sme
Achille Fokoue: Zakim, IBM i sme ←
17:14:00 <Zakim> I don't understand 'IBM i sme', Achille
Zakim IRC Bot: I don't understand 'IBM i sme', Achille ←
17:14:03 <uli> zakim, unmute me
Uli Sattler: zakim, unmute me ←
17:14:03 <Zakim> uli should no longer be muted
Zakim IRC Bot: uli should no longer be muted ←
17:14:09 <IanH> q?
Ian Horrocks: q? ←
17:14:11 <Achille> Zakim, IBM is me
Achille Fokoue: Zakim, IBM is me ←
17:14:11 <Zakim> +Achille; got it
Zakim IRC Bot: +Achille; got it ←
17:14:32 <ewallace> uli: I understand Dmitri is working on Fact++
Uli Sattler: I understand Dmitri is working on Fact++ ←
17:14:38 <msmith> Dmitry did send me test results for FaCT++
Mike Smith: Dmitry did send me test results for FaCT++ ←
17:14:46 <ewallace> uli: don't know about OWL API progress.
Uli Sattler: don't know about OWL API progress. ←
17:14:52 <msmith> I do have Cel results as well
Mike Smith: I do have Cel results as well ←
17:15:12 <MarkusK_> yes, CEL already uses the test harness.
Markus Krötzsch: yes, CEL already uses the test harness. ←
17:15:16 <msmith> q+
Mike Smith: q+ ←
17:15:36 <MarkusK_> q+
Markus Krötzsch: q+ ←
17:16:09 <IanH> q?
Ian Horrocks: q? ←
17:16:26 <ewallace> ianh: Uli do you know anything about progress by Racer people?
Ian Horrocks: Uli do you know anything about progress by Racer people? ←
17:16:37 <IanH> q?
Ian Horrocks: q? ←
17:17:03 <ewallace> uli: Much of this progress will come with the reasoners after the OWL API.
Uli Sattler: Much of this progress will come with the reasoners after the OWL API. ←
17:17:08 <IanH> q?
Ian Horrocks: q? ←
17:17:16 <IanH> ack msmith
Ian Horrocks: ack msmith ←
17:17:16 <uli> zakim, mute me
Uli Sattler: zakim, mute me ←
17:17:18 <Zakim> uli should now be muted
Zakim IRC Bot: uli should now be muted ←
17:17:25 <uli> omit: hurray!
17:17:42 <ewallace> msmith: Cel and quonto have submitted results to me, but haven't yet updated results page
Mike Smith: Cel and quonto have submitted results to me, but haven't yet updated results page ←
17:18:02 <ewallace> ... will update by the 15th
... will update by the 15th ←
17:18:13 <IanH> q?
Ian Horrocks: q? ←
17:18:20 <IanH> ack MarkusK_
Ian Horrocks: ack MarkusK_ ←
17:18:44 <ewallace> markusk: Jeff Pan has implemented a profile reasoner.
Markus Krötzsch: Jeff Pan has implemented a profile reasoner. ←
17:19:06 <MarkusK_> The tool now is called "Trowl"
Markus Krötzsch: The tool now is called "Trowl" ←
17:19:40 <ewallace> ianh: Will pellet work include OWLgres?
Ian Horrocks: Will pellet work include OWLgres? ←
17:19:56 <IanH> zakim, who is here?
Ian Horrocks: zakim, who is here? ←
17:19:56 <Zakim> On the phone I see IanH, Evan_Wallace, zimmer, bmotik (muted), MarkusK_, Sandro, uli (muted), bcuencagrau (muted), msmith, Achille
Zakim IRC Bot: On the phone I see IanH, Evan_Wallace, zimmer, bmotik (muted), MarkusK_, Sandro, uli (muted), bcuencagrau (muted), msmith, Achille ←
17:19:57 <ewallace> msmith: Not sure this will happen before the 15th.
Mike Smith: Not sure this will happen before the 15th. ←
17:19:59 <Zakim> On IRC I see Achille, msmith, bcuencagrau, uli, sandro, MarkusK_, RRSAgent, Zakim, IanH, bmotik, zimmer, ewallace, trackbot
Zakim IRC Bot: On IRC I see Achille, msmith, bcuencagrau, uli, sandro, MarkusK_, RRSAgent, Zakim, IanH, bmotik, zimmer, ewallace, trackbot ←
17:20:05 <MarkusK_> Trowl: ftp://ftp.cordis.europa.eu/pub/fp7/ict/docs/content-knowledge/pan-trowl-university-of-aberdeen_en.pdf
Markus Krötzsch: Trowl: ftp://ftp.cordis.europa.eu/pub/fp7/ict/docs/content-knowledge/pan-trowl-university-of-aberdeen_en.pdf ←
17:20:22 <IanH> q?
Ian Horrocks: q? ←
17:21:20 <ewallace> ianh: Achille is anything happening with respect to SHER?
Ian Horrocks: Achille is anything happening with respect to SHER? ←
17:22:02 <msmith> Much of OWL 2 EL is within OWL 1, so presumably, SHER could still pass some of the tests.
Mike Smith: Much of OWL 2 EL is within OWL 1, so presumably, SHER could still pass some of the tests. ←
17:22:04 <ewallace> achille : Only in maintenance mode now, so we don't expect OWL 2 work.
achille : Only in maintenance mode now, so we don't expect OWL 2 work. ←
17:22:05 <IanH> Will it help if I contact someone at IBM? Can you give me a name?
Ian Horrocks: Will it help if I contact someone at IBM? Can you give me a name? ←
17:22:11 <Achille> Sharon Adler
Achille Fokoue: Sharon Adler ←
17:22:36 <ewallace> ianh: I think that covers most of the implementations that we know about.
Ian Horrocks: I think that covers most of the implementations that we know about. ←
17:22:39 <MarkusK_> q+
Markus Krötzsch: q+ ←
17:22:53 <IanH> ack MarkusK_
Ian Horrocks: ack MarkusK_ ←
17:23:11 <ewallace> markusk: STI Innsbruck will build an OWL 2 datalog engine.
Markus Krötzsch: STI Innsbruck will build an OWL 2 datalog engine. ←
17:23:50 <IanH> q?
Ian Horrocks: q? ←
17:24:30 <IanH> ack uli
Ian Horrocks: ack uli ←
17:24:31 <uli> I seem to remember that
Uli Sattler: I seem to remember that ←
17:24:31 <ewallace> subsubtopic: Species validation
17:24:31 <msmith> We have profile validators, but no Full vs. DL validator.
Mike Smith: We have profile validators, but no Full vs. DL validator. ←
17:24:34 <IanH> q?
Ian Horrocks: q? ←
17:24:58 <IanH> q?
Ian Horrocks: q? ←
17:25:05 <ewallace> ianh: this seems to be resting on Mathew's shoulders
Ian Horrocks: this seems to be resting on Mathew's shoulders ←
17:26:05 <ewallace> msmith: Our ontologies will only correctly detect profile species for DL ontologies
Mike Smith: Our ontologies will only correctly detect profile species for DL ontologies ←
17:26:10 <IanH> q?
Ian Horrocks: q? ←
17:26:11 <ewallace> ... because of repair.
... because of repair. ←
17:26:17 <uli> zakim, mute me
Uli Sattler: zakim, mute me ←
17:26:17 <Zakim> uli should now be muted
Zakim IRC Bot: uli should now be muted ←
17:26:36 <ewallace> ianh: How big of an issue is this?
Ian Horrocks: How big of an issue is this? ←
17:26:40 <IanH> q?
Ian Horrocks: q? ←
17:27:39 <ewallace> subtopic: Test suite and Test results
17:27:49 <msmith> I think so
Mike Smith: I think so ←
17:28:10 <ewallace> ianh: Is 15 July the date we said to pull shutters down on test suites and test criteria?
Ian Horrocks: Is 15 July the date we said to pull shutters down on test suites and test criteria? ←
17:28:14 <IanH> q?
Ian Horrocks: q? ←
17:28:15 <MarkusK_> q+
Markus Krötzsch: q+ ←
17:28:27 <IanH> q?
Ian Horrocks: q? ←
17:28:30 <ewallace> msmith: There is back and forth on some DL tests.
Mike Smith: There is back and forth on some DL tests. ←
17:28:55 <IanH> ack MarkusK_
Ian Horrocks: ack MarkusK_ ←
17:28:56 <ewallace> ... For Full tests we need mechanisms for moving them forward.
... For Full tests we need mechanisms for moving them forward. ←
17:29:19 <ewallace> markus: Regarding OWL Full tests by Michael, we expect them next week
Markus Krötzsch: Regarding OWL Full tests by Michael, we expect them next week ←
17:29:31 <ewallace> ... some 700 tests.
... some 700 tests. ←
17:29:38 <IanH> q?
Ian Horrocks: q? ←
17:29:45 <Zakim> +[IPcaller]
Zakim IRC Bot: +[IPcaller] ←
17:29:48 <ewallace> ianh: Is this many tests sensible?
Ian Horrocks: Is this many tests sensible? ←
17:30:00 <schneid> zakim, [IPcaller] is me
Michael Schneider: zakim, [IPcaller] is me ←
17:30:00 <Zakim> +schneid; got it
Zakim IRC Bot: +schneid; got it ←
17:30:04 <IanH> q?
Ian Horrocks: q? ←
17:30:05 <schneid> zakim, mute me
Michael Schneider: zakim, mute me ←
17:30:06 <Zakim> schneid should now be muted
Zakim IRC Bot: schneid should now be muted ←
17:30:15 <ewallace> ianh: we really need to look at that as it would change the character of the test set.
Ian Horrocks: we really need to look at that as it would change the character of the test set. ←
17:30:15 <schneid> zakim, unmute me
Michael Schneider: zakim, unmute me ←
17:30:15 <Zakim> schneid should no longer be muted
Zakim IRC Bot: schneid should no longer be muted ←
17:30:40 <ewallace> mschneid: It's true, 700.
Michael Schneider: It's true, 700. ←
17:31:05 <ewallace> ianh: We are concerned that this is a large number, creating a large burden for
Ian Horrocks: We are concerned that this is a large number, creating a large burden for ←
17:31:14 <ewallace> ... testers and test harness.
... testers and test harness. ←
17:31:36 <ewallace> mschneid: Its true this will double the size of the test suite.
Michael Schneider: Its true this will double the size of the test suite. ←
17:31:51 <ewallace> ... everything is covered by only a single test case.
... everything is covered by only a single test case. ←
17:31:52 <sandro> q+
Sandro Hawke: q+ ←
17:32:04 <ewallace> ... OWL2 is a very complex language.
... OWL2 is a very complex language. ←
17:32:13 <IanH> ack sandro
Ian Horrocks: ack sandro ←
17:32:43 <ewallace> ... I believe a full OWL 2 test suite (including neg entailment tests) would have
... I believe a full OWL 2 test suite (including neg entailment tests) would have ←
17:32:48 <IanH> q?
Ian Horrocks: q? ←
17:32:52 <ewallace> ... some 5000 tests!
... some 5000 tests! ←
17:33:19 <ewallace> mschneid: This would mean that for any aspect of the language there would
Michael Schneider: This would mean that for any aspect of the language there would ←
17:33:24 <ewallace> ... be a test case.
... be a test case. ←
17:34:13 <MarkusK_> q+
Markus Krötzsch: q+ ←
17:34:21 <schneid> there are millions(!) of pages in wikipedia
Michael Schneider: there are millions(!) of pages in wikipedia ←
17:34:21 <IanH> ack MarkusK_
Ian Horrocks: ack MarkusK_ ←
17:34:30 <msmith> +1 to this question
Mike Smith: +1 to this question ←
17:34:35 <msmith> I am unable to review 700 tests.
Mike Smith: I am unable to review 700 tests. ←
17:34:42 <ewallace> ianh: Will this number create problems for our test infrastructure?
Ian Horrocks: Will this number create problems for our test infrastructure? ←
17:34:57 <ewallace> markus: No. But reviewing them could be challenging.
Markus Krötzsch: No. But reviewing them could be challenging. ←
17:35:20 <ewallace> mschneid: these test cases are partitioned into parts
Michael Schneider: these test cases are partitioned into parts ←
17:36:03 <ewallace> ... one part will be checked against Ivan's implementation.
... one part will be checked against Ivan's implementation. ←
17:36:10 <IanH> q?
Ian Horrocks: q? ←
17:36:48 <ewallace> mschneid: There will be quite some full tests that won't be passed by implementations.
Michael Schneider: There will be quite some full tests that won't be passed by implementations. ←
17:37:29 <ewallace> ianh: What should we do with these tests that can't be tested?
Ian Horrocks: What should we do with these tests that can't be tested? ←
17:37:35 <IanH> q?
Ian Horrocks: q? ←
17:38:11 <MarkusK_> We can have non-approved tests in the wiki, no problem.
Markus Krötzsch: We can have non-approved tests in the wiki, no problem. ←
17:38:18 <msmith> If we have more than 1 RL implementation and some RL tests, then we have an easy mechanism for approval of those tests.
Mike Smith: If we have more than 1 RL implementation and some RL tests, then we have an easy mechanism for approval of those tests. ←
17:38:52 <IanH> q?
Ian Horrocks: q? ←
17:38:59 <bmotik> +1 to Ian: we should not approve tests that cannot be tested in practice.
Boris Motik: +1 to Ian: we should not approve tests that cannot be tested in practice. ←
17:40:46 <ewallace> ianh: My suggestion is for the 15 July deadline: upload all tests, approve those that we can test.
Ian Horrocks: My suggestion is for the 15 July deadline: upload all tests, approve those that we can test. ←
17:41:19 <ewallace> mschneid: This could be really a mess
Michael Schneider: This could be really a mess ←
17:41:21 <IanH> q?
Ian Horrocks: q? ←
17:41:36 <ewallace> ... we should pick a subset such as RL.
... we should pick a subset such as RL. ←
17:41:51 <ewallace> ianh: let's continue this discussion off line.
Ian Horrocks: let's continue this discussion off line. ←
17:42:06 <ewallace> ... in the meantime if you could please upload the tests to the wiki.
... in the meantime if you could please upload the tests to the wiki. ←
17:42:32 <ewallace> ianh: One minor consequence of this is that we may need to change the format
Ian Horrocks: One minor consequence of this is that we may need to change the format ←
17:42:43 <ewallace> ... of the results page with so many tests.
... of the results page with so many tests. ←
17:42:56 <msmith> yes, this is a legitimate concern
Mike Smith: yes, this is a legitimate concern ←
17:42:58 <ewallace> ianh: Some sort of summary page, perhaps.
Ian Horrocks: Some sort of summary page, perhaps. ←
17:42:59 <IanH> q?
Ian Horrocks: q? ←
17:43:04 <MarkusK_> right, we will discuss this offline
Markus Krötzsch: right, we will discuss this offline ←
17:43:25 <IanH> q?
Ian Horrocks: q? ←
17:43:27 <ewallace> ianh: The overall coverage looks pretty good.
Ian Horrocks: The overall coverage looks pretty good. ←
17:43:41 <ewallace> ... Anything else that we need to discuss here?
... Anything else that we need to discuss here? ←
17:43:54 <msmith> I think that's fair.
Mike Smith: I think that's fair. ←
17:43:59 <ewallace> ianh: Are we in good shape to declare the test suite complete?
Ian Horrocks: Are we in good shape to declare the test suite complete? ←
17:44:46 <ewallace> ianh: 15 July is when we can advertise the test suite as ready for testing.
Ian Horrocks: 15 July is when we can advertise the test suite as ready for testing. ←
17:44:54 <schneid> zakim, mute me
Michael Schneider: zakim, mute me ←
17:44:54 <Zakim> schneid should now be muted
Zakim IRC Bot: schneid should now be muted ←
17:44:55 <ewallace> topic: Additional other business
17:45:27 <uli> heat wave?
Uli Sattler: heat wave? ←
17:46:06 <uli> bye
Uli Sattler: bye ←
17:46:09 <MarkusK_> bye
Markus Krötzsch: bye ←
17:46:10 <Zakim> -uli
Zakim IRC Bot: -uli ←
17:46:12 <Zakim> -Sandro
Zakim IRC Bot: -Sandro ←
17:46:13 <Zakim> -msmith
Zakim IRC Bot: -msmith ←
17:46:14 <Zakim> -Achille
Zakim IRC Bot: -Achille ←
17:46:14 <Zakim> -MarkusK_
Zakim IRC Bot: -MarkusK_ ←
17:46:15 <zimmer> bye
Antoine Zimmermann: bye ←
17:46:15 <Zakim> -bcuencagrau
Zakim IRC Bot: -bcuencagrau ←
17:46:17 <ewallace> ianh: I will look at the Doodle poll and send around a date for the next meeting
Ian Horrocks: I will look at the Doodle poll and send around a date for the next meeting ←
17:46:18 <Zakim> -bmotik
Zakim IRC Bot: -bmotik ←
17:46:23 <msmith> bye
Mike Smith: bye ←
17:46:25 <Zakim> -zimmer
Zakim IRC Bot: -zimmer ←
17:46:28 <Zakim> -IanH
Zakim IRC Bot: -IanH ←
17:46:32 <Zakim> -schneid
Zakim IRC Bot: -schneid ←
17:46:35 <Zakim> -Evan_Wallace
Zakim IRC Bot: -Evan_Wallace ←
17:46:37 <Zakim> SW_OWL()1:00PM has ended
Zakim IRC Bot: SW_OWL()1:00PM has ended ←
17:46:38 <Zakim> Attendees were Evan_Wallace, IanH, zimmer, bmotik, MarkusK_, Sandro, uli, bcuencagrau, msmith, Achille, schneid
Zakim IRC Bot: Attendees were Evan_Wallace, IanH, zimmer, bmotik, MarkusK_, Sandro, uli, bcuencagrau, msmith, Achille, schneid ←
17:46:54 <IanH> RRSAgent, make records public
Ian Horrocks: RRSAgent, make records public ←
Formatted by CommonScribe
This revision (#1) generated 2009-07-01 20:27:26 UTC by 'ewallace', comments: 'scribe edit'