Dear Francesco,
This is a complex issue, which has been discussed in length in 2018 and
basically was spelled out in the implementation guidelines for RDFS by
Richrad Light and me.
All these questions you pose have been taken into account carefully. The
text may need improvements, but I'd kindly ask all CRM-SIG members
having respective questions to read it carefully and give us feedback.
Let me explain just a bit here from the side of logic, which is tricky
and not the usual reasoning we apply within the CRM:
A superproperty is not equivalent to a subproperty. A superproperty is
only implied by a subproperty.
Therefore: Once E41 Appellation has no necessary property, an instance
of E41 Appellation without having a property of its own does not violate
the range of the superproperty. Its just a poor case.
(But it is completely true that rdfs:label is without properties. From
the time of RDFS 1.1 on, which recommends the use of xsd values in
literals, there are hidden properties in the label, such as the language
tags.)
This statement does also strictly not hold: "This class is subclass of
Symbolic Object and Legal Object, therefore a E77 Persistent Item and
not a E62 String which is a E59 Primitive Value",
because a) there is no axiom in CRM saying that Persistent Item and E62
String are disjoint.
b) There is no declaration in the RDFS implementation
that rdf:Literal equals E62 Sting or
E59 Primitive Value.
Obviously, RDFS makes rich use of Literal, packing stuff like WKT
geometric values into them, which are used in geo-enabled triple stores.
With the superproperty declaration, we say that whowever uses rdfs:label
refers to a name (E41 Appellation). Unfortunately, RDFS does not allow
us smarter things to do, but this gives the right answers to queries.
All the best,
Martin
On 9/9/2021 6:46 PM, Francesco Beretta via Crm-sig wrote:
There was unfortunately a copy-paste issue in my email.
Le 09.09.21 à 17:35, Francesco Beretta a écrit :
The P1 is identified by (identifies)
<https://ontome.net/property/1/namespace/1> property has E41
Appellation as range. This class is subclass of Symbolic Object and
Legal Object, therefore a E77 Persistent Item and not a E62 String
which is a E59 Primitive Value.
Therefore an instance of E41 Appellation — rdfs:label —> '[label]',
right ? So it crm:P1 cannot be equivalent to rdfs:label?
I mean:
An instance of E41 can have this property:
E41 Appellation — rdfs:label —> '[label]', right ?
So the crm:P1 property cannot be equivalent to rdfs:label, right?
With my apologies
Francesco
_______________________________________________
Crm-sig mailing list
[email protected]
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
Vox:+30(2810)391625
Email: [email protected]
Web-site: http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
[email protected]
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
