Mapping from OWL 2 to SPIN