Possible RDF D-semantic tweak https://lists.w3.org/Archives/Public/semantic-web/2020Jan/0055.html D推論の記述で、§7.1のデータ型URIの解釈で"I(aaa) is the datatype identified by aaa"云々というくだりは削除したほうがいいかもとPatHayes