fix semantics of owl:propertyDisjointWith