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

module OWL2.Examples.WebProtege where

import OWL2.Examples.WebProtege.Corpus
import OWL2.Examples.WebProtege.Annotations
import OWL2.Examples.WebProtege.Imports
import OWL2.Examples.WebProtege.Datatype
import OWL2.Examples.WebProtege.Constructors
import OWL2.Examples.WebProtege.Primer
import OWL2.Examples.WebProtege.DL
import OWL2.Examples.WebProtege.GlobalRestrictions
import OWL2.Examples.WebProtege.Profiles
import OWL2.Examples.WebProtege.ProfilesQL
import OWL2.Examples.WebProtege.ProfilesRL
import OWL2.Examples.WebProtege.ProfileRestrictions
import OWL2.Examples.WebProtege.DocumentPolicy
import OWL2.Examples.WebProtege.KeyRestrictions
import OWL2.Examples.WebProtege.CardinalityRestrictions
import OWL2.Examples.WebProtege.Countermodels