Session Start: Fri Dec 08 08:28:42 2000 [08:28] *** Now talking in #daml-dc [08:28] mike, pls do: /nick DanC_DC [08:31] Reconvene: Mike D (chair), Deb M, Jim H, Frank vH, Ian H, Dan C, Ora L, Jeff H. [08:31] *** ora has joined #daml-dc [08:31] *** IanH has joined #daml-dc [08:31] ======= agenda/decision review [08:32] see stuff marked "RESOLVED" in @@email last night [08:32] FvH: at dinner last night, there was talk about timing [... March ...] [08:34] see Mike's revised agenda v1.1 2000/12/08 12:56:10 mdean [08:36] ACTION IanH: release bio ontology into the daml repository for the presentation syntax experiment. [08:37] *** ircleuser has joined #daml-dc [08:37] ACTION: DanC: do a regression test with the bio ontology (maybe wines too) [08:37] ACTION FvH: do a regression test with the bio ontology [08:37] *** ircleuser is now known as jah-lapto [08:38] *** jah-lapto is now known as jah-bbn [08:38] *** DebM has joined #daml-dc [08:38] ======== Concrete domains [08:38] hi [08:38] welcome Deb [08:38] FvH: short take: earlier in OIL, there weren't any, but then we were convinced by the usability needs for integer/string/... [08:39] hi deb [08:40] IanH: a concrete domain isn't just a set, but also some predicates; e.g. integers includes <, > ...; closed under negation. [08:41] [[[[[ [08:41] 3 Built-in datatypes [08:41] 3.1 Namespace considerations [08:41] 3.2 Primitive datatypes [08:41] 3.2.1 string [08:41] 3.2.2 boolean [08:41] 3.2.3 float [08:41] 3.2.4 double [08:41] 3.2.5 decimal [08:41] 3.2.6 timeDuration [08:41] 3.2.7 recurringDuration [08:41] 3.2.8 binary [08:41] 3.2.9 uriReference [08:41] 3.2.10 ID [08:41] 3.2.11 IDREF [08:41] 3.2.12 ENTITY [08:41] 3.2.13 QName [08:41] ]]]] -- http://www.w3.org/TR/xmlschema-2/ [08:47] ACTION IanH: answer the ... [08:48] "keys for free in description logics in DL 2000 by [08:48] Lenzerini and the la sapienza people [08:56] *** FvH has joined #daml-dc [09:11] * DebM jah-bbn testing [10:06] Dan and Mike Dean go into very long digression to discuss the issue of ow web pages will be named for DAML spec. [10:11] rest of the committee gets angry and says LETS GET BACK TO IT!! [10:11] *** FvH has quit IRC (Connection reset by peer) [10:35] long discussion about concrete type. Proposal to take xml types [10:35] as the basic concrete domain. Agreed that we [10:35] need to be able to extend the types somehow [10:36] dan's notes from the board: the relationship beteween SSN and String is *not* called subClassOf [10:42] *** FvH has joined #daml-dc [10:44] ACTION DC: propose something about concrete types [10:45] ACTION MikeD: propose something about concrete types [10:46] -------- agenda review [10:46] after lunch: daml-oil proposal [10:46] ... also logistics. [10:47] also: formal semantics: at least editing/release logistics [10:48] 1. DAML-oil; 2. next version/editing/release logistics [10:48] LUNCH [10:48] *** ora has left #daml-dc (ora) [10:54] *** IanH has quit IRC (Ping timeout) [11:09] *** FvH has quit IRC (Ping timeout) [11:10] *** ora has joined #daml-dc [11:11] namespace issue discussion [11:44] RESOLVED: add sameIndividualAs as a subproperty of equivalentTo (and include Dan's fix that Ian didn't notice about sameClassAs...) [11:45] *** IanH has joined #daml-dc [11:52] *** FvH has joined #daml-dc [11:58] Frank/Ian are willing to remove point 8 from the daml-ont proposal. [12:00] PROPOSED: to note this as an open issue in the next release. [12:01] RESOLVED. [12:01] (this being whether you can rename infrastructure things like Class, type, etc.) [12:09] ACTION jeff: try to work out the details of a "definedBy ..." thingy [12:10] FvH: saying african elephant is the intersection of [...] [12:10] RESOLVED: nuke restrictedBy in favor of subClassOF [12:11] ACTION Frank vH: write up african elephant example for Jeff et. al. [12:13] RESOLVED: all but 8 in daml-oil. [12:14] "daml-oil" meaning IanH's daml-old changes.html thingy (@@date) [12:15] JimH: framey folks are uncomfortable with unnamed classes. [12:17] UNRESOLVED: put " nuke restrictedBy in favor of subClassOF" back like it was. [12:17] ... with a note that restrictedBy is funky in some way [12:28] RESOLVED: "DAML+OIL: An Ontology Language for the Semantic Oil" for the title of the next release; clear acknowledgement of all contributors. [12:29] JimH: * point to ann of joint us/eu committee [12:29] Deb: point to the DL home page [12:29] dl.kr.org [12:29] * point to SHOE [12:29] * point to KIF [12:29] * point to OIL [???] [12:30] www.ontoknowlegde.org/oil [12:30] * peter's semantics [12:30] * [12:30] fikes/mcguinness semantics [12:31] (peters is in the daml-oil proposal of @@date) [12:31] * ack RDF [12:31] JimH: version number? [12:32] Dean: I'd rather use a date [12:32] ACTION Dan/Mike: figure out the data (at least year/month; day?) [12:34] * upgrade instructions: diffs from Oct 2000 DAML [12:35] ... make it easy for folks to upgrade; [12:35] DanC: they don't have to, do they? the old namespace will still work, won't it? [12:35] Frank/Ian: no, that would be nice, but we're not there yet. [12:37] *** Retrieving #daml-dc info... [12:43] Jeff: are we gonna have two semantics? [12:44] JimH: neither is the approved [12:44] Frank vH: aside from the different approaches and a few details in the realm of metaphysics, they say the same thing. [12:46] Mike: timeframe? a week or so? [12:46] ... concrete types? [12:46] that'll be noted as an outstanding issue. [12:47] RESOLVED: Ian gets editing duties this time. [12:49] PROPOSED: "expected in december ... DAML ... OIL " on the DAML home page [12:49] RESOLVED. [12:50] request: remove the black background [12:50] JimH: pls, by 31 Dec, update the daml.org homepage to get rid if the background. [12:53] clarification: Dan's not in the critical path for HTTP stuff on the next week's release. [12:54] RESOLVED: on the /committee/ page, remove the "Editors" distinction [12:56] ACTION Frank: comes up with a new walkthru; take care with the impact on reviewers [12:57] ACTION Ora: send re-written "minimalist RDF survival guide" [12:58] *** Disconnected Session Close: Fri Dec 08 12:58:36 2000 Session Start: Fri Dec 08 12:58:54 2000 [12:58] *** Now talking in #daml-dc [13:01] *** jah-bbn has quit IRC (Connection reset by peer) [13:04] *** tim-lap has joined #daml-dc [13:06] * tim-lap wonders how it is going [13:06] we're wrapping up. It's going pretty well. [13:07] *** Disconnected