Dear All,
I'd like to explain: The missing inverse label is not a statement that
"the inverse property is not defined". The position of the CRM, based on
FOL is that "inverse properties" are an artefact of RDF encoding. All
properties are bidirectional, and per default directed. So, "we should
define inverse properties" is not the real question. It is only if the
inverse label is of any use in a semantic graph or query as starting point.
best,
Martin
On 2/8/2024 4:13 PM, Martin Doerr via Crm-sig wrote:
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
--
------------------------------------
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