Hets - the Heterogeneous Tool Set

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

OWL2.Sublogic

Description

Complexity analysis of OWL2

Synopsis

Documentation

data NumberRestrictions Source #

Constructors

None 
Unqualified 
Qualified 

Instances

Eq NumberRestrictions Source # 
Data NumberRestrictions Source # 

Methods

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

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

toConstr :: NumberRestrictions -> Constr

dataTypeOf :: NumberRestrictions -> DataType

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

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

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

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

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

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

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

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

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

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

Ord NumberRestrictions Source # 
Show NumberRestrictions Source # 

Methods

showsPrec :: Int -> NumberRestrictions -> ShowS

show :: NumberRestrictions -> String

showList :: [NumberRestrictions] -> ShowS

data OWLSub Source #

Constructors

OWLSub 

Instances

Eq OWLSub Source # 

Methods

(==) :: OWLSub -> OWLSub -> Bool

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

Data OWLSub Source # 

Methods

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

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

toConstr :: OWLSub -> Constr

dataTypeOf :: OWLSub -> DataType

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

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

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

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

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

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

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

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

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

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

Ord OWLSub Source # 

Methods

compare :: OWLSub -> OWLSub -> Ordering

(<) :: OWLSub -> OWLSub -> Bool

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

(>) :: OWLSub -> OWLSub -> Bool

(>=) :: OWLSub -> OWLSub -> Bool

max :: OWLSub -> OWLSub -> OWLSub

min :: OWLSub -> OWLSub -> OWLSub

Show OWLSub Source # 

Methods

showsPrec :: Int -> OWLSub -> ShowS

show :: OWLSub -> String

showList :: [OWLSub] -> ShowS

slTop :: OWLSub Source #

sROIQ(D)

slName :: OWLSub -> String Source #

Naming for Description Logics