[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