既知のデータ型についてサブクラス関係を言うことはできても、あるリテラル値のデータ型を上位クラスのデータ型に置き換えることはできない。データ型でのサブクラス関係は値空間が部分集合ということであって、レキシカル空間は関係しないと。興味深い議論だ。たとえば{"T", "F"}というレキシカル空間に対してfoo:booleanTFというデータ型を定義し、xsd:booleanのサブクラスと言うことはできても、"T"^^foo:booleanTF→"T"^^xsd:booleanとは言えないということ。この前後 https://lists.w3.org/Archives/Public/semantic-web/2018Mar/0033.html