From - Tue Feb 20 18:08:21 2001 X-UIDL: 2097ee2b7df2fb08 X-Mozilla-Status: 0001 X-Mozilla-Status2: 00000000 Return-Path: Delivered-To: lacall-onemodel:org-lacall@onemodel.org X-Envelope-To: lacall@onemodel.org Received: (qmail 70271 invoked by uid 800); 20 Feb 2001 14:11:03 -0000 Date: 20 Feb 2001 14:11:03 -0000 Message-ID: <20010220141103.70270.qmail@uruz.pair.com> To: lacall@onemodel.org References: <3A927AE2.4010408@onemodel.org> In-Reply-To: <3A927AE2.4010408@onemodel.org> X-Loop: general-digest-list@onemodel.org From: general-digest-list-request@onemodel.org Reply-To: Please.write.a.new.mail.instead.of.replying@FIRST.WORD.archive Content-ID: <"volume00/11"%general-digest-list-request@onemodel.org> Subject: archive retrieval: volume00/11 Precedence: bulk Content-Disposition: inline; filename="volume00/11" Content-Type: message/rfc822; directory="volume00"; name="11" MIME-Version: 1.0 From: general-digest-list-request@onemodel.org Subject: general-digest-list Digest V00 #11 X-Loop: general-digest-list@onemodel.org X-Mailing-List: archive/volume00/11 Precedence: list MIME-Version: 1.0 Content-Type: multipart/digest; boundary="----------------------------" To: general-digest-list@onemodel.org Reply-To: general-list@onemodel.org ------------------------------ Content-Type: text/plain general-digest-list Digest Volume 00 : Issue 11 Today's Topics: Re: Modeling Relations -- Re: use ca [ Mark Butler ] is new list OK? [ Luke Call ] Re: [om-list] is new list OK? [ "Tom and other Packers" To: One Model List Subject: Re: Modeling Relations -- Re: use cases Message-ID: <399CDE72.5F0761FB@middle.net> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit > For example, you may not have the fact that B is the uncle of A; you may > only have the two facts that C is the father of A, and B is the brother of > C. I believe you need metainternodes to meta-relate all of these relations > in such a way that a transitive-closure graph can be temporarily constructed > for the purpose of the query. In this graph, the exact, single relation > between A and B can be displayed. "B-is-the-uncle-of-A" is the relation > constructed from the transitive closure of two relations: > "B-is-the-brother-of-C" and "C-is-the-father-of-A". But how is the program > going to know this unless you have some way of relating relations? Well, if you say that a relationship is an entity than you can say: [Read ":" as "isA"] familial-relationship(x,y) familial-relationship(x,y) => familial-relationship(y,x) familial-relationship(a,b) && familial-relationship(b,c) => familial-relationship(a,c) parental-relationship(x,y) : familial-relationship(x,y) father(x,y) : parental-relationship(x,y) father(x,y) => x.sex = male mother(x,y) : parental-relationship(x,y) mather(x,y) => x.sex = female sibling-relationship(x,y) : familial-relationship(x,y) father(a,x) && father(a,y) && mother(a,x) && mother(a,y) && (x != y) => sibling-relationship(x,y) brother-relationship(x,y) : sibling-relationship(x,y) brother-relationship(x,y) => x.sex = male. aunt-uncle-relationship(x,y) : familial-relationship(x,y) sibling-relationship(a,b) && parental-relationship(b,c) => aunt-uncle-relationship(a,c) uncle-relationship(x,y) : aunt-uncle-relationship(x,y) uncle-relationship(x,y) => x.sex = male. aunt-relationship(x,y) : aunt-uncle-relationship(x,y) aunt-relationship(x,y) => x.sex = female. ---- Now all of the above is a bunch of relations between relations, expressible in the same language as one might describe instances of the relations: father-relationship(TC,MC) brother-relationship(TC,CC) mother-relationship(CC,MB) The above relationships give us everything we need to find out: Is MC related to MB? [familial-relationship(MC,MB)? YES ] Is TC MB's uncle? [uncle-relationship(TC,MB)? YES ] What relationship(s) do MC and CC have? [ familial-relationship(MC,CC) familial-relationship(CC,MC) aunt-uncle-relationship(CC,MC) aunt-relationship(CC,MC) ] Simple stuff like this has been done in Prolog on small in-memory databases for years. What we need to do is implement a database query engine that can efficiently perform the same algorithms that Prolog does on millions of relationships with critical enhancements like schema / world view support, integrated likelihood of truth meta-attributes, a decent mathematical / geometrical constraint solver, and some nice front end access tools. By the way, the *classic* application for a framework like we are talking about is to build expert systems, e.g. systems that diagnose rare diseases given combinations of symptoms (MYCIN) or predict the presence of mineral deposits given geological measurements (PROSPECTOR). - Mark -- Mark Butler ( butlerm@middle.net ) Software Engineer Epic Systems (801)-451-4583 ------------------------------ Date: Fri, 18 Aug 2000 21:45:15 -0600 From: Luke Call To: om-list@onemodel.org, general-list@onemodel.org Subject: is new list OK? Message-ID: <399E02CB.9040101@onemodel.org> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Is the new list concept OK w/ all? (I'm sending to both in case you haven't handled the new subscription yet). I may be answering email only intermittently for a week or two due to schedule. Luke ------------------------------ Date: Sat, 19 Aug 2000 08:21:08 -0600 From: "Tom and other Packers" To: "Luke Call" , , "OM List" Cc: "Chris (h) Angell" Subject: Re: [om-list] is new list OK? Message-ID: <004901c009e8$c0dac7c0$1e02a8c0@oemcomputer> Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Luke I got two of these letters, one with the "omlist" signature, and one without. Has the subscription/unsubscription/question mechanism changed too? Chris Angell wants to join, but hasn't yet. He assumed that you had signed him up already. Chris, go to the address on the bottom line of this letter to join. OneList@OneModel.Org might have been cuter. ...? But I'm not complaining. tomp ----- Original Message ----- From: Luke Call To: ; Sent: Friday, August 18, 2000 9:45 PM Subject: [om-list] is new list OK? Is the new list concept OK w/ all? (I'm sending to both in case you haven't handled the new subscription yet). I may be answering email only intermittently for a week or two due to schedule. Luke _______________________________________________ om-list mailing list om-list@onemodel.org http://www.pairlist.net/mailman/listinfo/om-list -------------------------------- End of general-digest-list Digest V00 Issue #11 ***********************************************