update of travel domain test case
support for owl:inverseOf