Copyright	(c) Felix Gabriel Mance
License	GPLv2 or higher, see LICENSE.txt
Maintainer	f.mance@jacobs-university.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

OWL2.Profiles

Description

OWL2 Profiles (EL, QL and RL)

References : http://www.w3.org/TR/owl2-profiles/

Documentation

data Profiles Source #

Instances

Eq Profiles Source #
Methods (==) :: Profiles -> Profiles -> Bool (/=) :: Profiles -> Profiles -> Bool
Data Profiles Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Profiles -> c Profiles gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Profiles toConstr :: Profiles -> Constr dataTypeOf :: Profiles -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Profiles) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Profiles) gmapT :: (forall b. Data b => b -> b) -> Profiles -> Profiles gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Profiles -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Profiles -> r gmapQ :: (forall d. Data d => d -> u) -> Profiles -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Profiles -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Profiles -> m Profiles gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Profiles -> m Profiles gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Profiles -> m Profiles
Ord Profiles Source #
Methods compare :: Profiles -> Profiles -> Ordering (<) :: Profiles -> Profiles -> Bool (<=) :: Profiles -> Profiles -> Bool (>) :: Profiles -> Profiles -> Bool (>=) :: Profiles -> Profiles -> Bool max :: Profiles -> Profiles -> Profiles min :: Profiles -> Profiles -> Profiles
Show Profiles Source #
Methods showsPrec :: Int -> Profiles -> ShowS show :: Profiles -> String showList :: [Profiles] -> ShowS

bottomProfile :: Profiles Source #

topProfile :: Profiles Source #

allProfiles :: [[Profiles]] Source #

profileMax :: [Profiles] -> Profiles Source #

printProfile :: Profiles -> String Source #

axiom :: Axiom -> Profiles Source #

ontologyProfiles :: OntologyDocument -> Profiles Source #