[Crm-sig] Issue 360, part: P128 carries

[Martin Doerr]

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>