Do PATH queries support ontological reasoning?

For example, is a restriction on Property aware of Property hierarchy?

Yes, path queries support reasoning, see Home | Stardog Documentation Latest

Cheers,
Pavel