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 #

Constructors

Profiles
Fields outsideEL :: Bool outsideQL :: Bool outsideRL :: Bool

Instances

Instances details

Eq Profiles Source #
Instance details Defined in OWL2.Profiles Methods (==) :: Profiles -> Profiles -> Bool (/=) :: Profiles -> Profiles -> Bool
Data Profiles Source #
Instance details Defined in OWL2.Profiles 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 :: forall r r'. (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 #
Instance details Defined in OWL2.Profiles 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 #
Instance details Defined in OWL2.Profiles Methods showsPrec :: Int -> Profiles -> ShowS show :: Profiles -> String showList :: [Profiles] -> ShowS
Generic Profiles
Instance details Defined in OWL2.ATC_OWL2 Associated Types type Rep Profiles :: Type -> Type Methods from :: Profiles -> Rep Profiles x to :: Rep Profiles x -> Profiles
FromJSON Profiles
Instance details Defined in OWL2.ATC_OWL2 Methods parseJSON :: Value -> Parser Profiles parseJSONList :: Value -> Parser [Profiles]
ToJSON Profiles
Instance details Defined in OWL2.ATC_OWL2 Methods toJSON :: Profiles -> Value toEncoding :: Profiles -> Encoding toJSONList :: [Profiles] -> Value toEncodingList :: [Profiles] -> Encoding
ShATermConvertible Profiles
Instance details Defined in OWL2.ATC_OWL2 Methods toShATermAux :: ATermTable -> Profiles -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Profiles] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Profiles) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Profiles])
type Rep Profiles
Instance details Defined in OWL2.ATC_OWL2 type Rep Profiles = D1 ('MetaData "Profiles" "OWL2.Profiles" "main" 'False) (C1 ('MetaCons "Profiles" 'PrefixI 'True) (S1 ('MetaSel ('Just "outsideEL") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: (S1 ('MetaSel ('Just "outsideQL") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :: S1 ('MetaSel ('Just "outsideRL") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

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 #