On 9/20/2017 5:43 PM, Robert Sanderson wrote:
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 :)
Right! but my comment was to substantiate what we mean by "containing".
Best,
Martin
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
--
--------------------------------------------------------------
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 |
--------------------------------------------------------------
