max and exactly won't work in OWL DL due to Open World Assumption unless Stardog has some Closed World feature which I'm not aware of given that Pellet DL reasoner should be still the backend for OWL DL reasoning?
The devs might correct me if I'm wrong.