- From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Date: Tue, 28 Mar 2023 15:07:15 +0200
- To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
- Cc: public-rdf-star-wg@w3.org
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 http://www.emse.fr/~zimmermann/
Received on Tuesday, 28 March 2023 13:08:03 UTC