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

module OWL2.Semantics where

open import OWL2.Semantics.Complete public
open import OWL2.Semantics.ImportProject public