Dear All,

Here my change of scope note:

Old:

P128 carries (is carried by)

Domain:              E18 Physical Thing

Range:                E90 Symbolic Object

Subproperty of:   E70 Thing.P130 shows features of (features are also found on):E70 Thing

Superproperty of: E24 Physical Man-Made Thing. P65 shows visual item (is shown by): E36 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@ics.forth.gr  
 Web-site: http://www.ics.forth.gr/isl