[Crm-sig] Issue 360, part: P128 carries
Martin Doerr
martin at ics.forth.gr
Sat Nov 24 21:28:46 EET 2018
Dear All,
Here my change of scope note:
Old:
P128 carries (is carried by)
Domain:E18 <#_E24_Physical_Man-Made_Thing> Physical Thing
Range:E90 <#_E90_Symbolic_Object> Symbolic Object
Subproperty of: E70 <#_E70_Thing> Thing.P130 <#_P130_shows_features>
shows features of (features are also found on):E70 <#_E70_Thing> Thing
Superproperty of:E24 <#_E24_Physical_Man-Made_Thing> Physical Man-Made
Thing. P65 <#_P65_shows_visual_item (is shown by)> shows visual item (is
shown by): E36 <#_E36_Visual_Item> Visual Item
Quantification:many to many (0,n:0,n)
Scope note:This property identifies an E90 Symbolic Object carried by
an instance of E18 Physical Thing.
Examples:
§Matthew’s paperback copy of Reach for the Sky (E84) /carries/ the text
of Reach for the Sky (E73)
In First Order Logic:
P128(x,y) ⊃E18(x)
P128(x,y) ⊃E90(y)
P128(x,y) ⊃P130(x,y)
New:
Scope note:This property identifies an E90 Symbolic Object carried by an
instance of E18 Physical Thing. Since an instance of
E90 Symbolic Object is defined as an immaterial
idealization over potentially multiple carriers, an individual
realization on a physical carrier may be defective due to deterioration
or shortcomings in the process of creating
the realization compared to the intended ideal. As long as these defects
to not substantially affect the complete recognition of the respective
symbolic object, we still regard that it carries an instance of this
Symbolic Object. If these defects are of
scholarly interest, the individual realization can be modeled as a
Physical Feature. Note, that any instance of
E90 Symbolic Object /incorporated/ (/P165)/in the carried Symbolic
Object is also carried by the same instance of E18 Physical Thing.
*This needs to be formulated as deduction in FOL!*
Best,
Martin
--
------------------------------------
Dr. Martin Doerr
Honorary Head of the
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
Vox:+30(2810)391625
Email: martin at ics.forth.gr
Web-site: http://www.ics.forth.gr/isl
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20181124/ab5fd1d6/attachment-0001.html>
More information about the Crm-sig
mailing list