II also support the view of Martin. Detlev has very good and clear example. If we assume that a property in CRM is a predicate in the first order logic sense then a shortcut definition S is a shortcut via P1 and P2 , is a something like
S(x,y) => Exist z( P1(x,z) & P2(z,y) Does the implication also go in the opposite direction? Intuetivele it should, but maybe I am wrong here. C-E ________________________________________ From: Crm-sig <[email protected]> on behalf of Detlev Balzer <[email protected]> Sent: 11 September 2014 18:48 To: [email protected] Subject: Re: [Crm-sig] ISSUE: Shortcut semantics Dear Vladimir, I'd second Martin's view from a very practical perspective. You've probably seen dozens of databases containing statements such as artifact A was created by agent B. If we assume that all of these statements imply the existence of a creation event, then we have a clear migration path in cases where additional information needs to find a suitable representation. Another use case is integrating "low-res" and "high-res" knowledge bases, where "low-res" statements have to be translated into a more complex representation even if no information is added during the process. Best regards, Detlev Am 11.09.2014 um 17:24 schrieb MARTIN DOERR: >>> a few cases the shortcut implies a particular path >>> so that the existence of the intermediates can be inferred. (such as >>> "rights held by"). >> >> Hi Martin! >> In my opinion, a shortcut should never infer a long-path. > Hi Vladimir, > > My question was about logic, and not about a knowledge base. We intend to > separate these two strictly. > > In case a longpath can be inferred, it logically exists. If one or more of > the intermediate nodes can be inferred to exist, they are potentially > present in other information we are interested in integrating with it. > Then, we can find new links the shortpath did not provide. > > That is the idea. > > Best, > > martin >> - IMHO the purpose of a long-path is to provide additional info (e.g. a >> date), but the shortcut cannot infer that >> - the purpose of a shortcut is to allow simpler representation, so why >> also infer a more complex but incomplete representation (no additional >> details)? >> - in cases when both shortcut and long-path are provided explicitly, an >> inferred long-path would be superfluous (duplicate), or a system needs to >> go through extra effort to somehow correlate the inferred to an existing >> long-path >> >> Cheers! Vladimir >> >> _______________________________________________ >> Crm-sig mailing list >> [email protected] >> http://lists.ics.forth.gr/mailman/listinfo/crm-sig >> > > > _______________________________________________ > Crm-sig mailing list > [email protected] > http://lists.ics.forth.gr/mailman/listinfo/crm-sig > -- Detlev Balzer, Mecklenburger Landstr. 5, D-23570 Lübeck Tel (+49/0)4502-8896495, Mobil (+49)0173-6231233 PGP Fingerprint 8E5F DCBD 2FC0 4058 86C2 3FEC 8D55 ACCD 2D71 8095 _______________________________________________ Crm-sig mailing list [email protected] http://lists.ics.forth.gr/mailman/listinfo/crm-sig
