No, no, as any CRM property it is bi-directional. Changing the direction in the scope note would be useful, but would not have any effect on my comment.
I was only making a joke on the tautological scope note, which explains (ahem) that the meaning of "O25 contains (is contained)" is exactly “is contained”. This is meant to point out that scope notes are definitions and should be carefully drafted. In mathematics, you cannot define a triangle just as "a triangle", you need to state that it is "a polygon with three edges/vertices". Reference to M. de la Palisse as possible author of the scope note is explained, a bit verbosely, here: https://en.wikipedia.org/wiki/Jacques_de_La_Palice Franco Prof. Franco Niccolucci Director, VAST-LAB PIN - U. of Florence Scientific Coordinator ARIADNE - PARTHENOS Piazza Ciardi 25 59100 Prato, Italy > Il giorno 20 set 2017, alle ore 16:43, Robert Sanderson > <[email protected]> ha scritto: > > Dear Franco, Martin, > > To make sure I understand your comment, are you pointing out the direction of > the predicate is the opposite to the direction implied by the scope note? > The predicate is that the subject X contains Y (X > Y) whereas the scope > note expresses the relationship as the subject X being contained in Y (X < Y). > > If so, then I agree it would be nice to change the text of the scope note to > have it align with the relationship’s direction :) > > Rob > > > On 9/20/17, 5:42 AM, "Crm-sig on behalf of Franco Niccolucci" > <[email protected] on behalf of [email protected]> wrote: > > it looks very useful, but: > > “O25 contains (is contained in) > [...] an instance of S10 Material Substantial was or is contained for some > time in [...]” > > Of course: 'X is contained in Y' means that X is contained in Y :-) > > Was the scope note proposed by M. de la Palisse? > > Apart from that, it’s a great idea. > > Franco > > Prof. Franco Niccolucci > Director, VAST-LAB > PIN - U. of Florence > Scientific Coordinator > ARIADNE - PARTHENOS > > Piazza Ciardi 25 > 59100 Prato, Italy > > >> Il giorno 20 set 2017, alle ore 11:38, martin <[email protected]> ha >> scritto: >> >> Dear All, >> >> >> >> I propose the following property for CRMSci: >> >> O25 contains (is contained in) >> >> >> Domain: S10 Material Substantial >> >> Range: S10 Material Substantial >> >> Superproperty of:E18 Physical Thing. P46 is composed of (forms part of): E18 >> Physical Thing >> >> Quantification: many to many (0,n:0,n) >> >> >> Scope note: This property describes that an instance of S10 Material >> Substantial was or is contained for some time in another instance of S10 >> Material Substantial regardless if the identity of the involved instances is >> based on the persistence of the form of material or on material substance >> changing form. >> >> >> >> In First Order Logic: >> >> O25(x,y) ⊃ E18(x) >> >> O25(x,y) ⊃ E18(y) >> >> >> -- >> >> -------------------------------------------------------------- >> Dr. Martin Doerr | Vox:+30(2810)391625 | >> Research Director | Fax:+30(2810)391638 | >> | Email: >> [email protected] >> | >> | >> Center for Cultural Informatics | >> Information Systems Laboratory | >> Institute of Computer Science | >> Foundation for Research and Technology - Hellas (FORTH) | >> | >> N.Plastira 100, Vassilika Vouton, | >> GR70013 Heraklion,Crete,Greece | >> | >> Web-site: >> http://www.ics.forth.gr/isl >> | >> -------------------------------------------------------------- >> >> >> _______________________________________________ >> 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 > >
