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

module OWL2.Portable where

open import OWL2.Portable.Syntax public
open import OWL2.Portable.Declarations public
open import OWL2.Portable.PropertyKinds public
open import OWL2.Portable.ObjectPropertyKeys public
open import OWL2.Portable.Equality public
open import OWL2.Portable.Punning public
  hiding (strictDeclarationPunningCollisions)
open import OWL2.Portable.Semantics public
open import OWL2.Portable.ImportClosure public
open import OWL2.Portable.AnnotationErasure public
open import OWL2.Portable.WebProtegeReport public
open import OWL2.Portable.DocumentPolicy public
  hiding (listCount)
open import OWL2.Portable.ProfileRestrictions public
open import OWL2.Portable.KeyRestrictions public
open import OWL2.Portable.CardinalityRestrictions public
open import OWL2.Portable.Regularity public
open import OWL2.Portable.RegularityProof public
open import OWL2.Portable.RegularityRank public
open import OWL2.Portable.RegularityRankProof public
open import OWL2.Portable.GlobalRestrictions public
  hiding
    ( propertyRoleUsageConflicts
    ; NoDeclarationCoverageGaps
    ; NoDeclarationRoleCollisions
    ; NoPropertyRoleUsageConflicts
    ; NoSemanticUnsupportedAxioms
    ; AnnotationErasureMatchesSemantics
    ; AnnotationErasureIgnoresAnnotations
    ; NoAnnotationErasureUnsupportedAxioms
    ; annotationErasureMatchesSemanticsProof
    ; annotationErasureIgnoresAnnotationsProof
    )