None.
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
15:01:58 <RRSAgent> logging to http://www.w3.org/2008/02/11-owl-irc
RRSAgent IRC Bot: logging to http://www.w3.org/2008/02/11-owl-irc ←
15:02:19 <alanr> zakim, who is here?
Alan Ruttenberg: zakim, who is here? ←
15:02:19 <Zakim> sorry, alanr, I don't know what conference this is
Zakim IRC Bot: sorry, alanr, I don't know what conference this is ←
15:02:20 <Zakim> On IRC I see RRSAgent, IanH, alanr, vipul, sandro, Carsten, ewallace, trackbot-ng
Zakim IRC Bot: On IRC I see RRSAgent, IanH, alanr, vipul, sandro, Carsten, ewallace, trackbot-ng ←
15:02:34 <alanr> zakim, this is owl
Alan Ruttenberg: zakim, this is owl ←
15:02:34 <Zakim> ok, alanr; that matches SW_OWL()10:00AM
Zakim IRC Bot: ok, alanr; that matches SW_OWL()10:00AM ←
15:02:40 <alanr> zakim, who is here?
Alan Ruttenberg: zakim, who is here? ←
15:02:40 <Zakim> On the phone I see Alan, +0186527aaaa
Zakim IRC Bot: On the phone I see Alan, +0186527aaaa ←
15:02:41 <Zakim> On IRC I see RRSAgent, IanH, alanr, vipul, sandro, Carsten, ewallace, trackbot-ng
Zakim IRC Bot: On IRC I see RRSAgent, IanH, alanr, vipul, sandro, Carsten, ewallace, trackbot-ng ←
15:02:52 <IanH> zakim, aaaa is IanH
Ian Horrocks: zakim, aaaa is IanH ←
15:02:52 <Zakim> +IanH; got it
Zakim IRC Bot: +IanH; got it ←
15:03:24 <IanH> zakim, who is here?
Ian Horrocks: zakim, who is here? ←
15:03:24 <Zakim> On the phone I see Alan, IanH
Zakim IRC Bot: On the phone I see Alan, IanH ←
15:03:26 <Zakim> On IRC I see RRSAgent, IanH, alanr, vipul, sandro, Carsten, ewallace, trackbot-ng
Zakim IRC Bot: On IRC I see RRSAgent, IanH, alanr, vipul, sandro, Carsten, ewallace, trackbot-ng ←
15:05:56 <Zakim> +dlm
Zakim IRC Bot: +dlm ←
15:06:11 <Zakim> +Evan_Wallace
Zakim IRC Bot: +Evan_Wallace ←
15:08:44 <Zakim> +Vipul_Kashyap
Zakim IRC Bot: +Vipul_Kashyap ←
15:08:56 <alanr> hi vipul
Alan Ruttenberg: hi vipul ←
15:09:01 <vipul> hi
Vipul Kashyap: hi ←
15:12:34 <alanr> edit this document: http://www.w3.org/2007/OWL/wiki/Structural_Reference_Experiment
Alan Ruttenberg: edit this document: http://www.w3.org/2007/OWL/wiki/Structural_Reference_Experiment ←
15:13:05 <alanr> Anything is open - could rearrange order if necessary, add sections, etc.
Alan Ruttenberg: Anything is open - could rearrange order if necessary, add sections, etc. ←
15:17:56 <Zakim> +Peter_Patel-Schneider
Zakim IRC Bot: +Peter_Patel-Schneider ←
15:19:19 <alanr> old reference doesn't have a running example
Alan Ruttenberg: old reference doesn't have a running example ←
15:19:49 <alanr> also not sure it is desirable. Perhaps 2 or 3 different examples reused.
Alan Ruttenberg: also not sure it is desirable. Perhaps 2 or 3 different examples reused. ←
15:20:12 <alanr> Problem is, using one example with every feature makes for a complicated example.
Alan Ruttenberg: Problem is, using one example with every feature makes for a complicated example. ←
15:20:54 <alanr> I'd like to see examples with inferences and possibly anti-examples showing common mistakes
Alan Ruttenberg: I'd like to see examples with inferences and possibly anti-examples showing common mistakes ←
15:21:43 <alanr> for example rdfs:range in current reference doesn't show how use of a property causes a type to be inferred.
Alan Ruttenberg: for example rdfs:range in current reference doesn't show how use of a property causes a type to be inferred. ←
15:21:56 <alanr> q+
Alan Ruttenberg: q+ ←
15:22:12 <alanr> zakim, who is here?
Alan Ruttenberg: zakim, who is here? ←
15:22:12 <Zakim> On the phone I see Alan, IanH, dlm, Evan_Wallace, Vipul_Kashyap, Peter_Patel-Schneider
Zakim IRC Bot: On the phone I see Alan, IanH, dlm, Evan_Wallace, Vipul_Kashyap, Peter_Patel-Schneider ←
15:22:14 <Zakim> On IRC I see dlm, pfps, Zakim, RRSAgent, IanH, alanr, vipul, sandro, Carsten, ewallace, trackbot-ng
Zakim IRC Bot: On IRC I see dlm, pfps, Zakim, RRSAgent, IanH, alanr, vipul, sandro, Carsten, ewallace, trackbot-ng ←
15:23:02 <IanH> q?
Ian Horrocks: q? ←
15:23:10 <pfps> zakim, unmute me
Peter Patel-Schneider: zakim, unmute me ←
15:23:10 <Zakim> sorry, pfps, I do not know which phone connection belongs to you
Zakim IRC Bot: sorry, pfps, I do not know which phone connection belongs to you ←
15:23:18 <IanH> ack alanr
Ian Horrocks: ack alanr ←
15:23:32 <IanH> zakim, who is here
Ian Horrocks: zakim, who is here ←
15:23:32 <Zakim> IanH, you need to end that query with '?'
Zakim IRC Bot: IanH, you need to end that query with '?' ←
15:23:34 <dlm> +q
Deborah McGuinness: +q ←
15:24:10 <IanH> q?
Ian Horrocks: q? ←
15:24:58 <IanH> ack dlm
Ian Horrocks: ack dlm ←
15:25:12 <IanH> We don't have a scribe. Do we need one?
Ian Horrocks: We don't have a scribe. Do we need one? ←
15:26:07 <IanH> q?
Ian Horrocks: q? ←
15:26:25 <ewallace> I agree with Alan that it is not necessary to have a single example running through the whole spec.
Evan Wallace: I agree with Alan that it is not necessary to have a single example running through the whole spec. ←
15:27:13 <alanr> q+
Alan Ruttenberg: q+ ←
15:27:51 <ewallace> q+
Evan Wallace: q+ ←
15:28:05 <IanH> :-)
Ian Horrocks: :-) ←
15:28:31 <Zakim> -Vipul_Kashyap
Zakim IRC Bot: -Vipul_Kashyap ←
15:28:36 <IanH> q?
Ian Horrocks: q? ←
15:29:16 <IanH> ack alanr
Ian Horrocks: ack alanr ←
15:29:21 <IanH> q?
Ian Horrocks: q? ←
15:29:47 <pfps> q+
15:29:51 <dlm> +q
Deborah McGuinness: +q ←
15:29:56 <IanH> ack ewallace
Ian Horrocks: ack ewallace ←
15:30:34 <alanr> (define-ontology inconsistent-finite-infinite ()
Alan Ruttenberg: (define-ontology inconsistent-finite-infinite () ←
15:30:36 <alanr> (class !human :partial)
Alan Ruttenberg: (class !human :partial) ←
15:30:37 <alanr> (class !woman :partial)
Alan Ruttenberg: (class !woman :partial) ←
15:30:38 <pfps> ack me
Peter Patel-Schneider: ack me ←
15:30:39 <alanr> (class !man :partial)
Alan Ruttenberg: (class !man :partial) ←
15:30:40 <alanr> (sub-class-of !man !human)
Alan Ruttenberg: (sub-class-of !man !human) ←
15:30:42 <alanr> (sub-class-of !woman !human)
Alan Ruttenberg: (sub-class-of !woman !human) ←
15:30:43 <alanr> (disjoint-classes !woman !man)
Alan Ruttenberg: (disjoint-classes !woman !man) ←
15:30:45 <alanr> (object-property !child)
Alan Ruttenberg: (object-property !child) ←
15:30:46 <alanr> (object-property !father (inverse-of !child))
Alan Ruttenberg: (object-property !father (inverse-of !child)) ←
15:30:48 <alanr> (sub-class-of !human (restriction !father (all-values-from !man)))
Alan Ruttenberg: (sub-class-of !human (restriction !father (all-values-from !man))) ←
15:30:49 <alanr> (sub-class-of !human (restriction !father (cardinality 1)))
Alan Ruttenberg: (sub-class-of !human (restriction !father (cardinality 1))) ←
15:30:51 <alanr> (sub-class-of !human (restriction !child (max-cardinality 1)))
Alan Ruttenberg: (sub-class-of !human (restriction !child (max-cardinality 1))) ←
15:30:52 <alanr> (object-property !ssn :inverse-functional (range (one-of !one !two)))
Alan Ruttenberg: (object-property !ssn :inverse-functional (range (one-of !one !two))) ←
15:30:54 <alanr> (sub-class-of !human (restriction !ssn (cardinality 1)))
Alan Ruttenberg: (sub-class-of !human (restriction !ssn (cardinality 1))) ←
15:30:55 <alanr> (individual !mary (type !woman))
Alan Ruttenberg: (individual !mary (type !woman)) ←
15:30:57 <alanr> (individual !one)
Alan Ruttenberg: (individual !one) ←
15:30:58 <alanr> (individual !two)
Alan Ruttenberg: (individual !two) ←
15:31:00 <alanr> )
Alan Ruttenberg: ) ←
15:31:24 <IanH> q?
Ian Horrocks: q? ←
15:31:27 <alanr> q?
Alan Ruttenberg: q? ←
15:31:32 <pfps> zakim, mute me
Peter Patel-Schneider: zakim, mute me ←
15:31:32 <Zakim> pfps should now be muted
Zakim IRC Bot: pfps should now be muted ←
15:33:36 <pfps> zakim, unmute me
Peter Patel-Schneider: zakim, unmute me ←
15:33:36 <Zakim> pfps should no longer be muted
Zakim IRC Bot: pfps should no longer be muted ←
15:34:19 <alanr> I'm interested
Alan Ruttenberg: I'm interested ←
15:35:21 <pfps> q+
15:36:03 <IanH> q?
Ian Horrocks: q? ←
15:36:18 <dlm> q-
Deborah McGuinness: q- ←
15:37:33 <pfps> q-
15:38:00 <pfps> zakim, mute me
Peter Patel-Schneider: zakim, mute me ←
15:38:00 <Zakim> pfps should now be muted
Zakim IRC Bot: pfps should now be muted ←
15:38:23 <IanH> q?
Ian Horrocks: q? ←
15:38:58 <pfps> q+
15:39:38 <pfps> primer, overview, & reference?
Peter Patel-Schneider: primer, overview, & reference? ←
15:40:18 <IanH> q?
Ian Horrocks: q? ←
15:40:28 <ewallace> Elisa talked about a quick start.
Evan Wallace: Elisa talked about a quick start. ←
15:40:38 <alanr> would like to understand what would be in the overview
Alan Ruttenberg: would like to understand what would be in the overview ←
15:40:41 <alanr> q?
Alan Ruttenberg: q? ←
15:40:43 <alanr> q+
Alan Ruttenberg: q+ ←
15:40:50 <pfps> ack me
Peter Patel-Schneider: ack me ←
15:42:52 <alanr> q?
Alan Ruttenberg: q? ←
15:43:28 <IanH> q?
Ian Horrocks: q? ←
15:45:02 <alanr> disjointWith: Classes may be stated to be disjoint from each other. For example, Man and Woman can be stated to be disjoint classes. From this disjointWith statement, a reasoner can deduce an inconsistency when an individual is stated to be an instance of both and similarly a reasoner can deduce that if A is an instance of Man, then A is not an instance of Woman.
Scribe problem: the name 'disjointWith' does not match any of the 48 active names. Either change the name used, or request the list of names be altered.Active names: Achille Fokoue Alan Ruttenberg Anne Cregan Bernardo Cuenca Grau Bijan Parsia Boris Motik Conrad Bock Deborah McGuinness Doug Lenat Elisa Kendall Enrico Franconi Evan Wallace Evren Sirin Fabian Neuhaus Fabien Gandon Giorgos Stamou Giorgos Stoilos Ian Horrocks Ivan Herman James Hendler Jeff Pan Jeremy Carroll Joanne Luciano Jonathan Rees Markus Krötzsch Martin Dzbor Michael Sintek Michael Smith Michael Schneider Olivier Corby Pascal Hitzler Peter Haase Peter Patel-Schneider Ratnesh Sahay Rinke Hoekstra Sandro Hawke Steve Battle Suzette Stoutenburg Tommie Meyer Uli Sattler Vassilis Tzouvaras Vipul Kashyap Vit Novacek Vojtech Svatek Zhe Wu Zakim IRC Bot Trackbot IRC Bot RRSAgent IRC Bot
Unknown disjointWith: Classes may be stated to be disjoint from each other. For example, Man and Woman can be stated to be disjoint classes. From this disjointWith statement, a reasoner can deduce an inconsistency when an individual is stated to be an instance of both and similarly a reasoner can deduce that if A is an instance of Man, then A is not an instance of Woman. [ Scribe Assist by Alan Ruttenberg ] ←
15:45:24 <IanH> q?
Ian Horrocks: q? ←
15:45:30 <IanH> ack alanr
Ian Horrocks: ack alanr ←
15:45:47 <IanH> q?
Ian Horrocks: q? ←
15:47:10 <alanr> q?
Alan Ruttenberg: q? ←
15:47:18 <IanH> q?
Ian Horrocks: q? ←
15:48:10 <IanH> q?
Ian Horrocks: q? ←
15:48:23 <Zakim> +Vipul_Kashyap
Zakim IRC Bot: +Vipul_Kashyap ←
15:48:29 <IanH> q?
Ian Horrocks: q? ←
15:49:14 <pfps> zakim, unmute me
Peter Patel-Schneider: zakim, unmute me ←
15:49:14 <Zakim> pfps should no longer be muted
Zakim IRC Bot: pfps should no longer be muted ←
15:49:15 <alanr> this was discussed at f2f.
Alan Ruttenberg: this was discussed at f2f. ←
15:49:34 <dlm> +1
Deborah McGuinness: +1 ←
15:49:37 <dlm> +q
Deborah McGuinness: +q ←
15:49:45 <IanH> q?
Ian Horrocks: q? ←
15:49:48 <alanr> for one thing, it's hard for a user to know where to go for definitive answers
Alan Ruttenberg: for one thing, it's hard for a user to know where to go for definitive answers ←
15:50:27 <IanH> q?
Ian Horrocks: q? ←
15:51:02 <pfps> q+
15:51:19 <IanH> q?
Ian Horrocks: q? ←
15:51:21 <alanr> suggestion wasn't to drop overview. Rather to define it so as to not have overlap. Overview should have distinct and clear point of view
Alan Ruttenberg: suggestion wasn't to drop overview. Rather to define it so as to not have overlap. Overview should have distinct and clear point of view ←
15:51:27 <IanH> ack dlm
Ian Horrocks: ack dlm ←
15:51:30 <IanH> ack pfps
Ian Horrocks: ack pfps ←
15:51:49 <alanr> http://www.w3.org/TR/owl-features/
Alan Ruttenberg: http://www.w3.org/TR/owl-features/ ←
15:52:37 <IanH> q?
Ian Horrocks: q? ←
15:53:45 <IanH> q?
Ian Horrocks: q? ←
15:56:17 <IanH> q?
Ian Horrocks: q? ←
15:57:08 <IanH> q?
Ian Horrocks: q? ←
15:57:25 <alanr> q+
Alan Ruttenberg: q+ ←
15:57:29 <IanH> q?
Ian Horrocks: q? ←
15:58:29 <IanH> q?
Ian Horrocks: q? ←
15:58:37 <IanH> ack alanr
Ian Horrocks: ack alanr ←
15:58:40 <Zakim> -Vipul_Kashyap
Zakim IRC Bot: -Vipul_Kashyap ←
16:00:59 <IanH> q?
Ian Horrocks: q? ←
16:03:07 <IanH> q?
Ian Horrocks: q? ←
16:04:30 <Zakim> -Alan
Zakim IRC Bot: -Alan ←
16:04:32 <Zakim> -Evan_Wallace
Zakim IRC Bot: -Evan_Wallace ←
16:04:53 <Zakim> -pfps
Zakim IRC Bot: -pfps ←
16:04:54 <IanH> Do we want to convert the IRC into minutes?
Ian Horrocks: Do we want to convert the IRC into minutes? ←
16:05:03 <Zakim> -dlm
Zakim IRC Bot: -dlm ←
16:05:06 <IanH> And if so what are the magic words?
Ian Horrocks: And if so what are the magic words? ←
16:05:51 <alanr> rrsagent, draft minutes
Alan Ruttenberg: rrsagent, draft minutes ←
16:05:51 <RRSAgent> I have made the request to generate http://www.w3.org/2008/02/11-owl-minutes.html alanr
RRSAgent IRC Bot: I have made the request to generate http://www.w3.org/2008/02/11-owl-minutes.html alanr ←
16:06:06 <alanr> rrsagent, make minutes public
Alan Ruttenberg: rrsagent, make minutes public ←
16:06:06 <RRSAgent> I'm logging. I don't understand 'make minutes public', alanr. Try /msg RRSAgent help
RRSAgent IRC Bot: I'm logging. I don't understand 'make minutes public', alanr. Try /msg RRSAgent help ←
16:06:07 <IanH> Thanks!
Ian Horrocks: Thanks! ←
16:06:25 <alanr> rrsagent, make log world-readable
Alan Ruttenberg: rrsagent, make log world-readable ←
16:07:12 <Zakim> -IanH
Zakim IRC Bot: -IanH ←
16:07:13 <Zakim> SW_OWL()10:00AM has ended
Zakim IRC Bot: SW_OWL()10:00AM has ended ←
16:07:15 <Zakim> Attendees were Alan, +0186527aaaa, IanH, dlm, Evan_Wallace, Vipul_Kashyap, pfps
Zakim IRC Bot: Attendees were Alan, +0186527aaaa, IanH, dlm, Evan_Wallace, Vipul_Kashyap, pfps ←
Formatted by CommonScribe