[Crm-sig] E1 CRM Entity, E59 Primitive Value described in FOL, OWL, DL , a discussion for geeks among us(?)
Christian-Emil Smith Ore
c.e.s.ore at iln.uio.no
Sun Mar 24 21:18:25 EET 2019
Dear Martin, all,
An RDF interpretation of CRM is an implementation like any other implementation, for example in a relational database formalism. My impression has been that the FOL description should be authoritative in the sense that there has to be what we may call a mapping/implementation function from the FOL description to an implementation of CRM preserving the validity. ? The FOL description should be carefully expressed. As it is now, iti s a valid statement in the FOL theory that every instance is a primitiv value.
Could you, please, give me a pointer to what is the current description of the implementation (interpretation) of CRM in RDF?
From: Crm-sig <crm-sig-bounces at ics.forth.gr> on behalf of Martin Doerr <martin at ics.forth.gr>
Sent: 24 March 2019 16:52
To: crm-sig at ics.forth.gr
Subject: Re: [Crm-sig] E1 CRM Entity, E59 Primitive Value described in FOL, OWL, DL , a discussion for geeks among us(?)
Indeed it appears now that the Primitive Values are not as separate as initially conceived. Please check against the interpretations we give in the RDF implementation guidelines. On the other side, E59 instances do not have identifiers of their own as E1 instances have. But wrt the FOL description, Carlo should have an opinion:-)
On 3/24/2019 12:57 PM, Christian-Emil Smith Ore wrote:
E1 CRM Entity and E59 Primitive Value are the only classes in CRM without a superclass. I assume we can imply from this that the two classes are disjoint.
In the CRMcore definintion the FOL descriptions are
E1 CRM Entity:
E59 Primitive Value:
The FOL descriptions in CRM are open expression with an implied universal quantifier. This is ok but not very informative for E1(x) = "all x. E1(x)" expresses the idea that everything we talk about are instanses of the universal class E1 CRM Entity.
The E59(x) = "all x.E59(x)" blurs the picture and indicate in a FOL description of CRM that everything is a primitive value. It is ok to have the E59(x) as a predicate, but "all x.E59(x)"? cannot be an axiom. We can solve this by removing the FOL description of E59.
Crm-sig mailing list
Crm-sig at ics.forth.gr<mailto:Crm-sig at ics.forth.gr>
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,
Email: martin at ics.forth.gr<mailto:martin at ics.forth.gr>
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Crm-sig