[Crm-sig] E1 CRM Entity, E59 Primitive Value described in FOL, OWL, DL , a discussion for geeks among us(?)

Martin Doerr martin at ics.forth.gr
Sun Mar 24 17:52:51 EET 2019

Dear Christian-Emil,

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:
> E1(x)
> E59 Primitive Value:
> E59(x)
> 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.
> Opinions?
> Best,
> Christian-Emil
> _______________________________________________
> Crm-sig mailing list
> Crm-sig at 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: martin at ics.forth.gr
  Web-site: http://www.ics.forth.gr/isl

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20190324/514313b8/attachment.html>

More information about the Crm-sig mailing list