- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Tue, 28 Mar 2023 08:59:29 -0400
- To: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Cc: public-rdf-star-wg@w3.org
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
Received on Tuesday, 28 March 2023 12:59:46 UTC