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

module OWL2 where

import OWL2.Foundation
import OWL2.Diagnostics
import OWL2.Check
import OWL2.Raw
import OWL2.Kernel
import OWL2.Elab
import OWL2.Import
import OWL2.Semantics
import OWL2.Corpus
import OWL2.Portable.Check

open import OWL2.Syntax public
open import OWL2.Syntax.Declarations public
open import OWL2.Syntax.WellFormed public
open import OWL2.Syntax.PropertyKinds public
open import OWL2.Syntax.Punning public
open import OWL2.Syntax.Regularity public
open import OWL2.Syntax.GlobalRestrictions public
open import OWL2.DescriptionLogic public
open import OWL2.DirectSemantics public
open import OWL2.DirectSemantics.Interpretation public
open import OWL2.DirectSemantics.Lemmas public
open import OWL2.DirectSemantics.Entailment public
open import OWL2.DirectSemantics.Expansions public
open import OWL2.DirectSemantics.AnnotationErasure public
open import OWL2.Ontology.ImportClosure public
open import OWL2.DirectSemantics.Ontology public