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"
<crm-sig-boun...@ics.forth.gr on behalf of franco.niccolu...@gmail.com> 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 <mar...@ics.forth.gr> 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:
> mar...@ics.forth.gr
> |
> |
> 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
> Crm-sig@ics.forth.gr
> http://lists.ics.forth.gr/mailman/listinfo/crm-sig
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
