Dear all,
Issue 679 "multiple objects cannot share the same instance of E54 Dimension"
and issue 680 "adjusting properties of E54 Dimension" are strongly related and
both are almost completed.
In fact, these issues are also connected to the closed issue 664 "redefine the
scope note and FOL of P191 had duration" and the open issue 665 "Harmonize the
quantification of P43 & O12 has dimension (also P179 had sales price)". The
open issue 665 gives the context:
1. P43 has dimension: change quantification to “one to many (0,n:0,1)”
2. P191 had duration: change quantification to “one to one, necessary
(1,1:0,1)”
3.
P179 had sales price: change quantification to “one to one, necessary
(1,1:0,1)” Provide additional FOL conditions to disallow one instance of E54
Dimension to be the dimension of an E18 Physical Thing and an E96 Purchase, and
an E52 Time-Span simultaneously.
4.
*
Ο12 has dimension: change quantification to “many to many (0,n:0,n)”
* Provide additional condition that if a dimension pertains to multiple
instances of S15 Observable Entity, then this dimension is an instance of S25
Relative Dimension.
1. Assign HW to define a shortcut property (S21 Measurement. Oxx7 observed
dimension: E54 Dimension; “one to one, necessary (1,1:0,1)”. The model can
generalize to Observation.
Point 1, 2, 3, 4a were accepted and 4b and 5 given as homework. This is done
by MD and will be discussed in the meeting.
The SIG voted in favor introducing these property quantifiers and assigning HW
to MD, CEO to do the FOL constraints to their semantics.
Start a new issue (679) about prohibiting multiple objects from sharing the
same instance of E54 Dimension.
Issue 680 is also partly done and what remains of 679 and 680 is the
FOL-expressions:
The SIG has already accepted the following restrictions expressed by the
quantifications:
An instance of E54 dimension can only be the dimension of one instance of E70
Thing via P43
ensured by the quantification (0,n, 0,1)
An instance of E54 dimension can only be the observed dimension of one instance
of E16 Measurement via P40
ensured by the quantification (1,1, 0,1)
An instance of E97 Monetary Amount (E54 dimension) can only be the sale price
of one instance of E96 Purchase via P179
ensured by the quantification (1,1, 0,1)
An instance of E54 dimension can only be the duration of one instance of E52
Time-Span P191
ensured by the quantification (1,1, 0,1)
All four classes are in separate subclass trees.
To be decided in the meeting (issue 679/680)::
In addition to the above, the SIG wants the class E54 Dimension to have de
facto three distinct subclasses one for E54 Thing, one for E96 Purchase and one
for E52 Time-Span. This could be done by declaring three (four) disjoint
subclasses which we don't want to do, or by explicit use of types or by FOL
axioms. The latter is the solution we have been asked to express. Therefore, we
propose the following additional axioms:
P43:
P43(x,y) ⇒ ¬(∃z) [E52(z) ⋀ P191(z,y)]
P43(x,y) ⇒ ¬(∃z) [E96(z) ⋀ P179(z,y)
P191:
P191(x,y) ⇒ ¬(∃z) [E96(z) ⋀ P179(z,y)]
P191(x,y) ⇒ ¬(∃z) [E70(z) ⋀ P43(z,y)]
P179:
P179(x,y) ⇒ ¬(∃z) [E52(z) ⋀ P191(z,y)]
P179(x,y) ⇒ ¬(∃z) [E70(z) ⋀ P43(z,y)]
Best,
Christian-Emil
_______________________________________________
Crm-sig mailing list
[email protected]
http://cidoc-crm.org/crm-sig-mailing-list
