15:01:58 <RRSAgent> RRSAgent has joined #owl
15:01:58 <RRSAgent> logging to http://www.w3.org/2008/02/11-owl-irc
15:02:10 <Zakim> Zakim has joined #owl
15:02:19 <alanr> zakim, who is here?
15:02:19 <Zakim> 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
15:02:34 <alanr> zakim, this is owl
15:02:34 <Zakim> ok, alanr; that matches SW_OWL()10:00AM
15:02:40 <alanr> zakim, who is here?
15:02:40 <Zakim> On the phone I see Alan, +0186527aaaa
15:02:41 <Zakim> On IRC I see RRSAgent, IanH, alanr, vipul, sandro, Carsten, ewallace, trackbot-ng
15:02:52 <IanH> zakim, aaaa is IanH
15:02:52 <Zakim> +IanH; got it
15:03:24 <IanH> zakim, who is here?
15:03:24 <Zakim> On the phone I see Alan, IanH
15:03:26 <Zakim> On IRC I see RRSAgent, IanH, alanr, vipul, sandro, Carsten, ewallace, trackbot-ng
15:05:56 <Zakim> +dlm
15:06:11 <Zakim> +Evan_Wallace
15:08:44 <Zakim> +Vipul_Kashyap
15:08:56 <alanr> hi vipul
15:09:01 <vipul> hi
15:12:34 <alanr> 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.
15:17:56 <Zakim> +Peter_Patel-Schneider
15:18:40 <pfps> pfps has joined #owl
15:19:11 <dlm> dlm has joined #owl
15:19:19 <alanr> 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.
15:20:12 <alanr> 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
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.
15:21:56 <alanr> q+
15:22:12 <alanr> zakim, who is here?
15:22:12 <Zakim> 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
15:23:02 <IanH> q?
15:23:10 <pfps> zakim, unmute me
15:23:10 <Zakim> sorry, pfps, I do not know which phone connection belongs to you
15:23:18 <IanH> ack alanr
15:23:32 <IanH> zakim, who is here
15:23:32 <Zakim> IanH, you need to end that query with '?'
15:23:34 <dlm> +q
15:24:10 <IanH> q?
15:24:58 <IanH> ack dlm
15:25:12 <IanH> We don't have a scribe. Do we need one?
15:26:07 <IanH> q?
15:26:25 <ewallace> I agree with Alan that it is not necessary to have a single example running through the whole spec.
15:27:13 <alanr> q+
15:27:51 <ewallace> q+
15:28:05 <IanH> :-)
15:28:31 <Zakim> -Vipul_Kashyap
15:28:36 <IanH> q?
15:29:16 <IanH> ack alanr
15:29:21 <IanH> q?
15:29:47 <pfps> q+
15:29:51 <dlm> +q
15:29:56 <IanH> ack ewallace
15:30:34 <alanr> (define-ontology inconsistent-finite-infinite ()
15:30:36 <alanr>   (class !human :partial)
15:30:37 <alanr>   (class !woman :partial)
15:30:38 <pfps> ack me
15:30:39 <alanr>   (class !man :partial)
15:30:40 <alanr>   (sub-class-of !man !human)
15:30:42 <alanr>   (sub-class-of !woman !human)
15:30:43 <alanr>   (disjoint-classes !woman !man)
15:30:45 <alanr>   (object-property !child)
15:30:46 <alanr>   (object-property !father (inverse-of !child))
15:30:48 <alanr>   (sub-class-of !human (restriction !father (all-values-from !man)))
15:30:49 <alanr>   (sub-class-of !human (restriction !father (cardinality 1)))
15:30:51 <alanr>   (sub-class-of !human (restriction !child (max-cardinality 1)))
15:30:52 <alanr>   (object-property !ssn :inverse-functional (range (one-of !one !two)))
15:30:54 <alanr>   (sub-class-of !human (restriction !ssn (cardinality 1)))
15:30:55 <alanr>   (individual !mary (type !woman))
15:30:57 <alanr>   (individual !one)
15:30:58 <alanr>   (individual !two)
15:31:00 <alanr>   )
15:31:24 <IanH> q?
15:31:27 <alanr> q?
15:31:32 <pfps> zakim, mute me
15:31:32 <Zakim> pfps should now be muted
15:33:36 <pfps> zakim, unmute me
15:33:36 <Zakim> pfps should no longer be muted
15:34:19 <alanr> I'm interested
15:35:21 <pfps> q+
15:36:03 <IanH> q?
15:36:18 <dlm> q-
15:37:33 <pfps> q-
15:38:00 <pfps> zakim, mute me
15:38:00 <Zakim> pfps should now be muted
15:38:23 <IanH> q?
15:38:58 <pfps> q+
15:39:38 <pfps> primer, overview, & reference?
15:40:18 <IanH> q?
15:40:28 <ewallace> Elisa talked about a quick start.
15:40:38 <alanr> would like to understand what would be in the overview
15:40:41 <alanr> q?
15:40:43 <alanr> q+
15:40:50 <pfps> ack me
15:42:52 <alanr> q?
15:43:28 <IanH> 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.
15:45:24 <IanH> q?
15:45:30 <IanH> ack alanr
15:45:47 <IanH> q?
15:47:10 <alanr> q?
15:47:18 <IanH> q?
15:48:10 <IanH> q?
15:48:23 <Zakim> +Vipul_Kashyap
15:48:29 <IanH> q?
15:49:14 <pfps> zakim, unmute me
15:49:14 <Zakim> pfps should no longer be muted
15:49:15 <alanr> this was discussed at f2f.
15:49:34 <dlm> +1
15:49:37 <dlm> +q
15:49:45 <IanH> q?
15:49:48 <alanr> for one thing, it's hard for a user to know where to go for definitive answers
15:50:27 <IanH> q?
15:51:02 <pfps> q+
15:51:19 <IanH> 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
15:51:27 <IanH> ack dlm
15:51:30 <IanH> ack pfps
15:51:49 <alanr> http://www.w3.org/TR/owl-features/
15:52:37 <IanH> q?
15:53:45 <IanH> q?
15:56:17 <IanH> q?
15:57:08 <IanH> q?
15:57:25 <alanr> q+
15:57:29 <IanH> q?
15:58:29 <IanH> q?
15:58:37 <IanH> ack alanr
15:58:40 <Zakim> -Vipul_Kashyap
16:00:59 <IanH> q?
16:03:07 <IanH> q?
16:04:30 <Zakim> -Alan
16:04:32 <Zakim> -Evan_Wallace
16:04:53 <Zakim> -pfps
16:04:54 <IanH> Do we want to convert the IRC into minutes?
16:05:03 <Zakim> -dlm
16:05:06 <IanH> And if so what are the magic words?
16:05:51 <alanr> 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
16:06:06 <alanr> rrsagent, make minutes public
16:06:06 <RRSAgent> I'm logging. I don't understand 'make minutes public', alanr.  Try /msg RRSAgent help
16:06:07 <IanH> Thanks!
16:06:25 <alanr> rrsagent, make log world-readable
16:07:12 <Zakim> -IanH
16:07:13 <Zakim> SW_OWL()10:00AM has ended
16:07:15 <Zakim> Attendees were Alan, +0186527aaaa, IanH, dlm, Evan_Wallace, Vipul_Kashyap, pfps
16:51:46 <sandro> sandro has joined #owl
19:12:28 <alanr> alanr has joined #owl
19:26:58 <Zakim> Zakim has left #owl
19:37:46 <sandro> sandro has joined #owl
20:05:55 <sandro> sandro has joined #owl
20:09:25 <sandro> sandro has joined #owl
21:02:55 <sandro> sandro has joined #owl
21:19:45 <alanr> alanr has joined #owl
22:12:20 <alanr> alanr has joined #owl
22:25:44 <alanr> alanr has joined #owl
23:07:55 <sandro> sandro has joined #owl