Magic-Box-OWL