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

module OWL2.Kernel.Signature where

open import OWL2.Prelude public

data PunningPolicy : Type₀ where
  noPunning :
    PunningPolicy
  allowDeclaredPunning :
    PunningPolicy

record Signature : Type₀ where
  constructor signature
  field
    classCount              : ℕ
    objectPropertyCount     : ℕ
    dataPropertyCount       : ℕ
    annotationPropertyCount : ℕ
    datatypeCount           : ℕ
    facetCount              : ℕ
    individualCount         : ℕ
    iriCount                : ℕ
    blankNodeCount          : ℕ
    punningPolicy           : PunningPolicy

open Signature public