A plugin for Protégé 4.x to display ontology compatibility to OWL profiles: DL, EL, QL and RL.