Hets - the Heterogeneous Tool Set

Copyright(c) Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.MS

Description

Datatypes specific to the Manchester Syntax of OWL 2

References : http://www.w3.org/TR/owl2-manchester-syntax/

Synopsis

Documentation

type Annotations = [Annotation] Source #

annotions are annotedAnnotationList that must be preceded by the keyword Annotations: if non-empty

data Extended Source #

this datatype extends the Manchester Syntax to also allow GCIs

Instances

Eq Extended Source # 

Methods

(==) :: Extended -> Extended -> Bool

(/=) :: Extended -> Extended -> Bool

Data Extended Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Extended -> c Extended

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Extended

toConstr :: Extended -> Constr

dataTypeOf :: Extended -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Extended)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Extended)

gmapT :: (forall b. Data b => b -> b) -> Extended -> Extended

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Extended -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Extended -> r

gmapQ :: (forall d. Data d => d -> u) -> Extended -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Extended -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Extended -> m Extended

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Extended -> m Extended

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Extended -> m Extended

Ord Extended Source # 

Methods

compare :: Extended -> Extended -> Ordering

(<) :: Extended -> Extended -> Bool

(<=) :: Extended -> Extended -> Bool

(>) :: Extended -> Extended -> Bool

(>=) :: Extended -> Extended -> Bool

max :: Extended -> Extended -> Extended

min :: Extended -> Extended -> Extended

Show Extended Source # 

Methods

showsPrec :: Int -> Extended -> ShowS

show :: Extended -> String

showList :: [Extended] -> ShowS

data ListFrameBit Source #

frames with annotated lists

Instances

Eq ListFrameBit Source # 

Methods

(==) :: ListFrameBit -> ListFrameBit -> Bool

(/=) :: ListFrameBit -> ListFrameBit -> Bool

Data ListFrameBit Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListFrameBit -> c ListFrameBit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListFrameBit

toConstr :: ListFrameBit -> Constr

dataTypeOf :: ListFrameBit -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ListFrameBit)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListFrameBit)

gmapT :: (forall b. Data b => b -> b) -> ListFrameBit -> ListFrameBit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListFrameBit -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListFrameBit -> r

gmapQ :: (forall d. Data d => d -> u) -> ListFrameBit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ListFrameBit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListFrameBit -> m ListFrameBit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListFrameBit -> m ListFrameBit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListFrameBit -> m ListFrameBit

Ord ListFrameBit Source # 
Show ListFrameBit Source # 

Methods

showsPrec :: Int -> ListFrameBit -> ShowS

show :: ListFrameBit -> String

showList :: [ListFrameBit] -> ShowS

data AnnoType Source #

Constructors

Declaration 
Assertion 
XmlError String 

Instances

Eq AnnoType Source # 

Methods

(==) :: AnnoType -> AnnoType -> Bool

(/=) :: AnnoType -> AnnoType -> Bool

Data AnnoType Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnoType -> c AnnoType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnoType

toConstr :: AnnoType -> Constr

dataTypeOf :: AnnoType -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c AnnoType)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnoType)

gmapT :: (forall b. Data b => b -> b) -> AnnoType -> AnnoType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnoType -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnoType -> r

gmapQ :: (forall d. Data d => d -> u) -> AnnoType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnoType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnoType -> m AnnoType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoType -> m AnnoType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoType -> m AnnoType

Ord AnnoType Source # 

Methods

compare :: AnnoType -> AnnoType -> Ordering

(<) :: AnnoType -> AnnoType -> Bool

(<=) :: AnnoType -> AnnoType -> Bool

(>) :: AnnoType -> AnnoType -> Bool

(>=) :: AnnoType -> AnnoType -> Bool

max :: AnnoType -> AnnoType -> AnnoType

min :: AnnoType -> AnnoType -> AnnoType

Show AnnoType Source # 

Methods

showsPrec :: Int -> AnnoType -> ShowS

show :: AnnoType -> String

showList :: [AnnoType] -> ShowS

data AnnFrameBit Source #

frames which start with annotations

Instances

Eq AnnFrameBit Source # 

Methods

(==) :: AnnFrameBit -> AnnFrameBit -> Bool

(/=) :: AnnFrameBit -> AnnFrameBit -> Bool

Data AnnFrameBit Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnFrameBit -> c AnnFrameBit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnFrameBit

toConstr :: AnnFrameBit -> Constr

dataTypeOf :: AnnFrameBit -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c AnnFrameBit)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnFrameBit)

gmapT :: (forall b. Data b => b -> b) -> AnnFrameBit -> AnnFrameBit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnFrameBit -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnFrameBit -> r

gmapQ :: (forall d. Data d => d -> u) -> AnnFrameBit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnFrameBit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnFrameBit -> m AnnFrameBit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnFrameBit -> m AnnFrameBit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnFrameBit -> m AnnFrameBit

Ord AnnFrameBit Source # 
Show AnnFrameBit Source # 

Methods

showsPrec :: Int -> AnnFrameBit -> ShowS

show :: AnnFrameBit -> String

showList :: [AnnFrameBit] -> ShowS

data Fact Source #

Instances

Eq Fact Source # 

Methods

(==) :: Fact -> Fact -> Bool

(/=) :: Fact -> Fact -> Bool

Data Fact Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fact -> c Fact

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Fact

toConstr :: Fact -> Constr

dataTypeOf :: Fact -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Fact)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Fact)

gmapT :: (forall b. Data b => b -> b) -> Fact -> Fact

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fact -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fact -> r

gmapQ :: (forall d. Data d => d -> u) -> Fact -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Fact -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fact -> m Fact

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fact -> m Fact

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fact -> m Fact

Ord Fact Source # 

Methods

compare :: Fact -> Fact -> Ordering

(<) :: Fact -> Fact -> Bool

(<=) :: Fact -> Fact -> Bool

(>) :: Fact -> Fact -> Bool

(>=) :: Fact -> Fact -> Bool

max :: Fact -> Fact -> Fact

min :: Fact -> Fact -> Fact

Show Fact Source # 

Methods

showsPrec :: Int -> Fact -> ShowS

show :: Fact -> String

showList :: [Fact] -> ShowS

data FrameBit Source #

Instances

Eq FrameBit Source # 

Methods

(==) :: FrameBit -> FrameBit -> Bool

(/=) :: FrameBit -> FrameBit -> Bool

Data FrameBit Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FrameBit -> c FrameBit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FrameBit

toConstr :: FrameBit -> Constr

dataTypeOf :: FrameBit -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FrameBit)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FrameBit)

gmapT :: (forall b. Data b => b -> b) -> FrameBit -> FrameBit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FrameBit -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FrameBit -> r

gmapQ :: (forall d. Data d => d -> u) -> FrameBit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FrameBit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FrameBit -> m FrameBit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FrameBit -> m FrameBit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FrameBit -> m FrameBit

Ord FrameBit Source # 

Methods

compare :: FrameBit -> FrameBit -> Ordering

(<) :: FrameBit -> FrameBit -> Bool

(<=) :: FrameBit -> FrameBit -> Bool

(>) :: FrameBit -> FrameBit -> Bool

(>=) :: FrameBit -> FrameBit -> Bool

max :: FrameBit -> FrameBit -> FrameBit

min :: FrameBit -> FrameBit -> FrameBit

Show FrameBit Source # 

Methods

showsPrec :: Int -> FrameBit -> ShowS

show :: FrameBit -> String

showList :: [FrameBit] -> ShowS

data Frame Source #

Constructors

Frame Extended [FrameBit] 

Instances

Eq Frame Source # 

Methods

(==) :: Frame -> Frame -> Bool

(/=) :: Frame -> Frame -> Bool

Data Frame Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Frame -> c Frame

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Frame

toConstr :: Frame -> Constr

dataTypeOf :: Frame -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Frame)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Frame)

gmapT :: (forall b. Data b => b -> b) -> Frame -> Frame

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Frame -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Frame -> r

gmapQ :: (forall d. Data d => d -> u) -> Frame -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Frame -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Frame -> m Frame

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Frame -> m Frame

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Frame -> m Frame

Ord Frame Source # 

Methods

compare :: Frame -> Frame -> Ordering

(<) :: Frame -> Frame -> Bool

(<=) :: Frame -> Frame -> Bool

(>) :: Frame -> Frame -> Bool

(>=) :: Frame -> Frame -> Bool

max :: Frame -> Frame -> Frame

min :: Frame -> Frame -> Frame

Show Frame Source # 

Methods

showsPrec :: Int -> Frame -> ShowS

show :: Frame -> String

showList :: [Frame] -> ShowS

data Axiom Source #

Constructors

PlainAxiom 

Instances

Eq Axiom Source # 

Methods

(==) :: Axiom -> Axiom -> Bool

(/=) :: Axiom -> Axiom -> Bool

Data Axiom Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Axiom -> c Axiom

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Axiom

toConstr :: Axiom -> Constr

dataTypeOf :: Axiom -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Axiom)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Axiom)

gmapT :: (forall b. Data b => b -> b) -> Axiom -> Axiom

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Axiom -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Axiom -> r

gmapQ :: (forall d. Data d => d -> u) -> Axiom -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Axiom -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Axiom -> m Axiom

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Axiom -> m Axiom

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Axiom -> m Axiom

Ord Axiom Source # 

Methods

compare :: Axiom -> Axiom -> Ordering

(<) :: Axiom -> Axiom -> Bool

(<=) :: Axiom -> Axiom -> Bool

(>) :: Axiom -> Axiom -> Bool

(>=) :: Axiom -> Axiom -> Bool

max :: Axiom -> Axiom -> Axiom

min :: Axiom -> Axiom -> Axiom

Show Axiom Source # 

Methods

showsPrec :: Int -> Axiom -> ShowS

show :: Axiom -> String

showList :: [Axiom] -> ShowS

GetRange Axiom Source # 

data Ontology Source #

Constructors

Ontology 

Instances

Eq Ontology Source # 

Methods

(==) :: Ontology -> Ontology -> Bool

(/=) :: Ontology -> Ontology -> Bool

Data Ontology Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ontology -> c Ontology

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ontology

toConstr :: Ontology -> Constr

dataTypeOf :: Ontology -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Ontology)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ontology)

gmapT :: (forall b. Data b => b -> b) -> Ontology -> Ontology

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ontology -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ontology -> r

gmapQ :: (forall d. Data d => d -> u) -> Ontology -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ontology -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ontology -> m Ontology

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ontology -> m Ontology

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ontology -> m Ontology

Ord Ontology Source # 

Methods

compare :: Ontology -> Ontology -> Ordering

(<) :: Ontology -> Ontology -> Bool

(<=) :: Ontology -> Ontology -> Bool

(>) :: Ontology -> Ontology -> Bool

(>=) :: Ontology -> Ontology -> Bool

max :: Ontology -> Ontology -> Ontology

min :: Ontology -> Ontology -> Ontology

Show Ontology Source # 

Methods

showsPrec :: Int -> Ontology -> ShowS

show :: Ontology -> String

showList :: [Ontology] -> ShowS

data OntologyDocument Source #

Instances

Eq OntologyDocument Source # 
Data OntologyDocument Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OntologyDocument -> c OntologyDocument

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OntologyDocument

toConstr :: OntologyDocument -> Constr

dataTypeOf :: OntologyDocument -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c OntologyDocument)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OntologyDocument)

gmapT :: (forall b. Data b => b -> b) -> OntologyDocument -> OntologyDocument

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OntologyDocument -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OntologyDocument -> r

gmapQ :: (forall d. Data d => d -> u) -> OntologyDocument -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> OntologyDocument -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OntologyDocument -> m OntologyDocument

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OntologyDocument -> m OntologyDocument

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OntologyDocument -> m OntologyDocument

Ord OntologyDocument Source # 
Show OntologyDocument Source # 

Methods

showsPrec :: Int -> OntologyDocument -> ShowS

show :: OntologyDocument -> String

showList :: [OntologyDocument] -> ShowS

GetRange OntologyDocument Source # 

annotedSyms :: (a -> Set Entity) -> AnnotatedList a -> Set Entity Source #