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

module OWL2.Portable.Check where

open import OWL2.Portable.Check.Core public
open import OWL2.Portable.Check.Declarations public
open import OWL2.Portable.Check.PropertyRoles public
open import OWL2.Portable.Check.SemanticSupport public
open import OWL2.Portable.Check.Regularity public
open import OWL2.Portable.Check.WebProtege public