fix package names for owlapi tests