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) ?
