Dear Eleni,
I'd suggest not to assign inverse labels, nevertheless. These primitive
values do not constitute particular objects of discourse, albeit that
there is a naming aspect.
P170, P168, P169 are different, they are epistemic constructs. Anyway,
to be discussed!
Best,
Martin
On 2/8/2024 10:10 AM, Eleni Tsouloucha via Crm-sig wrote:
Dear all,
Since we made E61 isA E59 AND E41, it means that there can be inverse
properties for /P81 ongoing throughout/ & /P82 at some time within/.
Which is implicit in the FOL for /P170 defines time (time is defined
by) --/see v7.1.2
<https://cidoc-crm.org/html/cidoc_crm_v7.1.2.html#P170> (Official
(Base for initial ISO Submission) and v7.2.3//
<https://cidoc-crm.org/Version/version-7.2.3>(draft, community version).
In first-order logic:
P170(x,y) ⇒ E61(x)
P170(x,y) ⇒ E52(y)
*P170(x, y) ⇒ P81i(x, y) ∧ P82i(x, y)*
Incidentally, we have documented that *P170(x,y) ⇒ P81(y,x) ˄ P82(y,x)
*(see issue**508 <https://cidoc-crm.org/Issue/ID-508-fol-for-p170>*,
*Martin's post on 23 July 2020 specifically), which got translated
into listing the inverse forms of P81/P82, without bothering to
revisit the lack of inverse forms for respective properties.
The same situation holds for /P171 at some place within/ and /P172
contains/ (whose ranges are set to E94 Space Primitive).
Now that E94 isA E59 AND E41, we should define inverse properties for
them (and these should have labels).
Best,
Eleni
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
--
------------------------------------
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
Email:mar...@ics.forth.gr
Web-site:http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
