hets/OWL/Sign.hs

	Sign.hs revision 98890889ffb2e8f6f722b00e265a211f13b5a861
{- |
Module      :  $Header$
Copyright   :  Heng Jiang, Uni Bremen 2007
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  Christian.Maeder@dfki.de
Stability   :  provisional
Portability :  portable

Signatures and sentences for OWL 1.1.
Cloned and modified from Sign of OWL DL.
-}

module OWL.Sign where

import OWL.AS
import qualified Data.Set as Set
import qualified Data.Map as Map

type ID = URIreference          -- for universal ID
type OntologyID = URIreference
type ClassID = URIreference
type DatatypeID = URIreference
type IndividualID = URIreference
type DataRoleURI = URIreference
type IndividualRoleURI = URIreference
type AnnotationPropertyID = URIreference

data Sign = Sign
            { ontologyID :: OntologyID -- ^ URL of the ontology
            , concepts :: Set.Set ClassID
              -- ^ a set of classes
            , primaryConcepts :: Set.Set ClassID
              -- ^ a subset of concepts which are not marked
              -- ^ with CASL_Sort = false
            , datatypes :: Set.Set DatatypeID -- ^ a set of datatypes
            , indValuedRoles :: Set.Set IndividualRoleURI
              -- ^ a set of object property
            , dataValuedRoles :: Set.Set DataRoleURI
              -- ^ a set of data property
            , annotationRoles :: Set.Set AnnotationPropertyID
            , individuals :: Set.Set IndividualID  -- ^ a set of individual
              -- ^ a set of axioms of subconceptrelations, domain an drenge
              -- ^of roles, functional roles and concept membership
            , namespaceMap :: Namespace
            } deriving (Show, Eq, Ord)

data SignAxiom =
    Subconcept Description Description   -- subclass, superclass
  | Role (DomainOrRangeOrFunc (RoleKind, RoleType)) ObjectPropertyExpression
  | Data (DomainOrRangeOrFunc ()) DataPropertyExpression
  | Conceptmembership IndividualID Description
    deriving (Show, Eq, Ord)

data RoleKind = FuncRole | RefRole deriving (Show, Eq, Ord)

data RoleType = IRole | DRole deriving (Show, Eq, Ord)

data DesKind = RDomain | DDomain | RIRange deriving (Show, Eq, Ord)

data DomainOrRangeOrFunc a =
    DomainOrRange DesKind Description
  | RDRange DataRange
  | FuncProp a
    deriving (Show, Eq, Ord)

emptySign :: Sign
emptySign = Sign
  { ontologyID = nullQName
  , concepts = Set.empty
  , primaryConcepts = Set.empty
  , datatypes = Set.empty
  , indValuedRoles = Set.empty
  , dataValuedRoles = Set.empty
  , annotationRoles = Set.empty
  , individuals = Set.empty
  , namespaceMap = Map.empty
  }

simpleSign :: ID -> Sign
simpleSign ontoID =
            emptySign { ontologyID = ontoID }

-- ignoe ontologyID
diffSig :: Sign -> Sign -> Sign
diffSig a b =
    a { concepts = concepts a `Set.difference` concepts b
      , primaryConcepts = primaryConcepts a `Set.difference` primaryConcepts b
      , datatypes = datatypes a `Set.difference` datatypes b
      , indValuedRoles = indValuedRoles a `Set.difference` indValuedRoles b
      , dataValuedRoles = dataValuedRoles a `Set.difference` dataValuedRoles b
      , annotationRoles = annotationRoles a `Set.difference` annotationRoles b
      , individuals = individuals a `Set.difference` individuals b
      }

addSign :: Sign -> Sign -> Sign
addSign toIns totalSign =
    totalSign { ontologyID = let
                    u1 = ontologyID totalSign
                    u2 = ontologyID toIns
                    in case () of
                    _ | u1 == u2 || nullQName == u2 -> u1
                      | nullQName == u1 -> u2
                      | True ->
                           mkQName $ localPart u1 ++ "_" ++ localPart u2,
                concepts = Set.union (concepts totalSign)
                                     (concepts toIns),
                primaryConcepts = Set.union (primaryConcepts totalSign)
                                            (primaryConcepts toIns),
                datatypes = Set.union (datatypes totalSign)
                                      (datatypes toIns),
                indValuedRoles = Set.union (indValuedRoles totalSign)
                                           (indValuedRoles toIns),
                dataValuedRoles = Set.union (dataValuedRoles totalSign)
                                            (dataValuedRoles toIns),
                annotationRoles = Set.union (annotationRoles totalSign)
                                            (annotationRoles toIns),
                individuals = Set.union (individuals totalSign)
                                        (individuals toIns)
              }

isSubSign :: Sign -> Sign -> Bool
isSubSign a b =
    Set.isSubsetOf (concepts a) (concepts b)
       && Set.isSubsetOf (primaryConcepts a) (primaryConcepts b)
       && Set.isSubsetOf (datatypes a) (datatypes b)
       && Set.isSubsetOf (indValuedRoles a) (indValuedRoles b)
       && Set.isSubsetOf (dataValuedRoles a) (dataValuedRoles b)
       && Set.isSubsetOf (annotationRoles a) (annotationRoles b)
       && Set.isSubsetOf (individuals a) (individuals b)

symOf :: Sign -> Set.Set Entity
symOf s = Set.unions
  [ Set.map (Entity Class) $ concepts s
  , Set.map (Entity Datatype) $ datatypes s
  , Set.map (Entity ObjectProperty) $ indValuedRoles s
  , Set.map (Entity DataProperty) $ dataValuedRoles s
  , Set.map (Entity NamedIndividual) $ individuals s ]