Significant figures in numeric concrete domains

[rwynne]

With the understanding that DataHasValue hasn't been fully implemented, should the following classes be seen as equivalent?

EquivalentClasses(:A
	ObjectIntersectionOf(
		DataHasValue(:B "1"^^xsd:decimal)
		DataHasValue(:C "8"^^xsd:decimal)
	)
)

EquivalentClasses(:A
	ObjectIntersectionOf(
		DataHasValue(:B "1.0"^^xsd:decimal)
		DataHasValue(:C "8.0"^^xsd:decimal)
	)
)

[ykazakov]

ELK does not understand datatype literals, so "1" and "1.0" are different values for ELK. Consequently the classes DataHasValue(:B "1"^^xsd:decimal) and DataHasValue(:B "1.0"^^xsd:decimal) are not detected as equivalent.

For ELK, datatype values are the same if they have exactly same characters (as written, e.g., in functional-style syntax).