👍🏻 On 28 Mar 2023, at 15:08, Antoine Zimmermann <antoine.zimmermann@emse.fr> wrote: Yes, good point about literals, and good catch from Dörthe. So I guess this may be in this sense that Enrico claims that it is a kind of "syntactic predication". --AZ Le 28/03/2023 à 14:59, Peter F. Patel-Schneider a écrit : It is not necessary to use something like owl:sameAs to illustrate the effects of equality. All that is needed is to recognize a datatype where multiple lexical to value mapping is injective, such as xsd:integer. I (now) agree with Doerthe that <<:eiffeltower :height-in-meters "300"^^xsd:integer>> :source :wikipedia . does not az-xsd:integer-entail <<:eiffeltower :height-in-meters "0300"^^xsd:integer>> :source :wikipedia . because there are models of <<:eiffeltower :height-in-meters "300"^^xsd:integer>> :source :wikipedia . where I(<<:eiffeltower :height-in-meters "300"^^xsd:integer>>) is different from I(<<:eiffeltower :height-in-meters "0300"^^xsd:integer>>) peter -- Antoine Zimmermann École des Mines de Saint-Étienne 158 cours Fauriel CS 62362 42023 Saint-Étienne Cedex 2 France Tél:+33(0)4 77 49 97 02 https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.emse.fr%2F~zimmermann%2F&data=05%7C01%7Cfranconi%40inf.unibz.it%7C61d731e13f6c4d26ca8708db2f8d7ec4%7C9251326703e3401a80d4c58ed6674e3b%7C0%7C0%7C638156056976189780%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=s30eGAXW%2FIeUAjFJxz93JbNkYUveDIzMj35QQy%2Fpjmg%3D&reserved=0
Received on Tuesday, 28 March 2023 14:49:35 UTC