{-# OPTIONS --safe --cubical #-}

module OWL2.Profiles where

open import OWL2.Profiles.EL public
open import OWL2.Profiles.QL public
  hiding
    ( isEmpty
    ; classExpressionReport
    ; axiomReport
    ; ontologyReport
    ; ontologyDocumentReport
    )
open import OWL2.Profiles.RL public
  hiding
    ( isEmpty
    ; classExpressionReport
    ; axiomReport
    ; ontologyReport
    ; ontologyDocumentReport
    )