[Crm-sig] HOMEWORK ISSUE 283 “Add superproperties to properties of CRMarcheo”

Christian-Emil Smith Ore c.e.s.ore at iln.uio.no
Thu Oct 17 15:26:48 EEST 2019


Homework for ISSUE 283 “Add superproperties to properties of CRMarcheo”



All properties A1 to A21 in CRMarcheo have been checked



The following are ok:



AP1, AP2, AP3, AP5, AP6. AP7, AP8, AP10, AP11, AP12, A14, AP15, AP16, AP19, AP20   are ok as they are.



******** Comments:

AP13  ok, I cannot see generalizing  superproperty



AP14 is a very special property between properties, no superproperty



AP15 no superproperty, ok



*****************

AP19 is embedding in (contains embedding)

Domain: A7 Embedding?

Range:   A2 Stratigraphic Volume Unit



This one is slightly interesting. A7 is a subclass of E3 Condition state and A2 is an indirect subclass of E23 Place. This property assigns instances of a subclass of E23 Place to instances of E3 Condition state, which in general is not considered to have location. AP19 has no superproperty



*****************

AP20 has no superproperty, same argument as above.





******** Suggested changes



AP4 produced surface (was surface produced by)

Domain:                A1 Excavation Process Unit

Range:                  S20 Rigid Physical FeatureA10 Excavation Interface

Subproperty of:   O2 removed (was removed by)


This is not a subproperty of O2. It is clear that  when a surface is produced one usually has to remove matter. However, the surface is produced and not removed. If it is a subproperty it should be a suproperty of



P108 has produced (was produced by): E24 Physical Human-Made Thing



***************



AP17 is found by (found)

Domain: A7 Embedding

Range:    S19 Encounter Event

Subproperty of:  O8 observed (was observed by)



A7 is a subclass of E3 Condition State and not of A13 Attribute assignment. AP17 is a subproperty of O8 inverse.



*****************

AP18 is embedding of (is embedded)

Domain: A7 Embedding

Range:    E18 Physical Thing

Subproperty of:  P44 has condition (is condition of)



Same argument as for AP17, it is a subproperty of P44 inverse





*****************

AP21 contains (is contained in)



Domain: A2 Stratigraphic Volume Unit

Range:   E18 Physical Thing



Since A2 is a subclass of E23 Place, it could be a subproperty of  the inverse of

P53 has former or current location (is former or current location of)

?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20191017/c3d8d624/attachment.html>


More information about the Crm-sig mailing list