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

OWL2.Sublogic

Description

Complexity analysis of OWL2

Synopsis

Documentation

data NumberRestrictions Source #

Constructors

None
Unqualified
Qualified

Instances

Eq NumberRestrictions Source #
Methods (==) :: NumberRestrictions -> NumberRestrictions -> Bool (/=) :: NumberRestrictions -> NumberRestrictions -> Bool
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 #
Methods compare :: NumberRestrictions -> NumberRestrictions -> Ordering (<) :: NumberRestrictions -> NumberRestrictions -> Bool (<=) :: NumberRestrictions -> NumberRestrictions -> Bool (>) :: NumberRestrictions -> NumberRestrictions -> Bool (>=) :: NumberRestrictions -> NumberRestrictions -> Bool max :: NumberRestrictions -> NumberRestrictions -> NumberRestrictions min :: NumberRestrictions -> NumberRestrictions -> NumberRestrictions
Show NumberRestrictions Source #
Methods showsPrec :: Int -> NumberRestrictions -> ShowS show :: NumberRestrictions -> String showList :: [NumberRestrictions] -> ShowS

owlDatatypes :: Set Datatype Source #

data OWLSub Source #

Constructors

OWLSub

Fields

numberRestrictions :: NumberRestrictions
Cardinaly restrictions the can be used
nominals :: Bool
Enumerated classes can be used
inverseRoles :: Bool
Inverse roles can be used
roleTransitivity :: Bool
Roles can be transitive
roleHierarchy :: Bool
Role hierachy (subproperties) can be used
complexRoleInclusions :: Bool
Complex role inclusions can be used
addFeatures :: Bool
Additional features can be used
datatype :: Set Datatype
Set of datatypes that can be used
rules :: Bool
SWRL Rules can be used
unrestrictedDL :: Bool
OWL2 DL restriction can be ignored

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