Question about the Time Ontology

I apologize if this isn't the correct forum, if it isn't and someone could
point me to the appropriate person/group to ask I would appreciate it. I've
been looking at the W3C Time ontology <https://www.w3.org/TR/owl-time/>
which as I understand it is part of the work of this group. It seems to me
that no one has implemented a temporal reasoner for the ontology at this
point. E.g., the ontology can represent two intervals I1 and I2 such that
I1 overlaps I2 but there is no reasoner to assert that property relation. I
think this could be done with the basic temporal operators in SWRL but
before I tried doing that I wanted to make sure that:

1) Such a temporal reasoner doesn't currently exist and

2) As far as we know, no one is currently building such a reasoner.

Thanks,
Michael DeBellis
michaeldebellis.com