Is there a way of doing the cast from xsd:duration to xsd:time in SPARQL?

Question

For example I want to convert PT1H5M14.000S to 01:05:14

Answer 1

You can just add the duration to a "zero" time:

select * {
bind("PT1H5M14.000S"^^xsd:duration as ?x)
BIND("00:00:00"^^xsd:time + ?x as ?y) }