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

data NumberRestrictions
- = None
- | Unqualified
- | Qualified
owlDatatypes :: Set Datatype
data OWLSub = OWLSub {
- numberRestrictions :: NumberRestrictions
- nominals :: Bool
- inverseRoles :: Bool
- roleTransitivity :: Bool
- roleHierarchy :: Bool
- complexRoleInclusions :: Bool
- addFeatures :: Bool
- datatype :: Set Datatype
- rules :: Bool
- unrestrictedDL :: Bool
}
allSublogics :: [[OWLSub]]
slTop :: OWLSub
slBottom :: OWLSub
slDL :: OWLSub
slMax :: OWLSub -> OWLSub -> OWLSub
slMaxs :: Foldable t => t OWLSub -> OWLSub
slName :: OWLSub -> String
requireQualNumberRestrictions :: OWLSub -> OWLSub
requireNumberRestrictions :: OWLSub -> OWLSub
requireRoleTransitivity :: OWLSub -> OWLSub
requireRoleHierarchy :: OWLSub -> OWLSub
requireComplexRoleInclusions :: OWLSub -> OWLSub
requireAddFeatures :: OWLSub -> OWLSub
requireNominals :: OWLSub -> OWLSub
requireInverseRoles :: OWLSub -> OWLSub
requireRules :: OWLSub -> OWLSub
requireUnrestrictedDL :: OWLSub -> OWLSub
slDatatype :: Datatype -> OWLSub
slObjProp :: ObjectPropertyExpression -> OWLSub
slEntity :: Entity -> OWLSub
slAnnotation :: Annotation -> OWLSub
slAnnos :: [Annotation] -> OWLSub
slAnnosAnd :: [Annotation] -> OWLSub -> OWLSub
slLiteral :: Literal -> OWLSub
slDataRange :: DataRange -> OWLSub
slIndividuals :: [Individual] -> OWLSub
slClassExpression :: COPs -> ClassExpression -> OWLSub
slDataCard :: Cardinality DataPropertyExpression DataRange -> OWLSub
slObjCard :: COPs -> Cardinality ObjectPropertyExpression ClassExpression -> OWLSub
slSimpleObjectProp :: COPs -> ObjectPropertyExpression -> OWLSub
slIArg :: IndividualArg -> OWLSub
slDArg :: DataArg -> OWLSub
slAtom :: COPs -> Atom -> OWLSub
slAxiom :: COPs -> Axiom -> OWLSub
slGeneralRestrictions :: [Axiom] -> OWLSub
slGTypingConstraints :: [Entity] -> OWLSub
slGDatatypes :: [(Datatype, DataRange)] -> OWLSub
type Graph a = Map a (Set a)
addEdge :: Ord a => a -> a -> Graph a -> Graph a
connected :: Ord a => a -> Graph a -> Set a
isCyclicU :: Ord a => Graph a -> Bool
isCyclicD :: Ord a => Graph a -> Bool
isCyclic' :: Ord a => Bool -> Graph a -> a -> Maybe a -> Set a -> (Bool, Set a)
forest :: Ord a => Graph a -> Forest a
reachable :: Ord a => a -> Graph a -> Set a
reachable' :: Ord a => Graph a -> Set a -> a -> Set a
inverse :: Ord a => Graph a -> Graph a
components :: Ord a => Graph a -> [Graph a]
buildTree :: Ord a => Graph a -> a -> (Tree a, Graph a)
slGAnonymousIndividuals :: [(Individual, Individual)] -> OWLSub
slGPropertyHierachy :: [Axiom] -> OWLSub
isCyclic :: [SCC a] -> Bool
containsCircle :: Int -> [SCC a] -> Bool
type COPs = Set ObjectPropertyExpression
compositeObjectProperties :: [Axiom] -> Set ObjectPropertyExpression
objectPropertyHierachy :: [Axiom] -> Graph ObjectPropertyExpression
objectPropertyOrder :: [(PropertyExpressionChain, ObjectPropertyExpression)] -> Graph ObjectProperty
complexObjectProperties :: [Axiom] -> Set ObjectPropertyExpression
slODoc :: OntologyDocument -> OWLSub
slSig :: Sign -> OWLSub
slMor :: OWLMorphism -> OWLSub
prMor :: OWLSub -> OWLMorphism -> OWLMorphism
prSig :: OWLSub -> Sign -> Sign
prODoc :: OWLSub -> OntologyDocument -> OntologyDocument

Documentation

data NumberRestrictions Source #

Constructors

None
Unqualified
Qualified

Instances

Instances details

Eq NumberRestrictions Source #
Instance details Defined in OWL2.Sublogic Methods (==) :: NumberRestrictions -> NumberRestrictions -> Bool (/=) :: NumberRestrictions -> NumberRestrictions -> Bool
Data NumberRestrictions Source #
Instance details Defined in OWL2.Sublogic 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 :: forall r r'. (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 #
Instance details Defined in OWL2.Sublogic 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 #
Instance details Defined in OWL2.Sublogic Methods showsPrec :: Int -> NumberRestrictions -> ShowS show :: NumberRestrictions -> String showList :: [NumberRestrictions] -> ShowS
Generic NumberRestrictions
Instance details Defined in OWL2.ATC_OWL2 Associated Types type Rep NumberRestrictions :: Type -> Type Methods from :: NumberRestrictions -> Rep NumberRestrictions x to :: Rep NumberRestrictions x -> NumberRestrictions
FromJSON NumberRestrictions
Instance details Defined in OWL2.ATC_OWL2 Methods parseJSON :: Value -> Parser NumberRestrictions parseJSONList :: Value -> Parser [NumberRestrictions]
ToJSON NumberRestrictions
Instance details Defined in OWL2.ATC_OWL2 Methods toJSON :: NumberRestrictions -> Value toEncoding :: NumberRestrictions -> Encoding toJSONList :: [NumberRestrictions] -> Value toEncodingList :: [NumberRestrictions] -> Encoding
ShATermConvertible NumberRestrictions
Instance details Defined in OWL2.ATC_OWL2 Methods toShATermAux :: ATermTable -> NumberRestrictions -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [NumberRestrictions] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, NumberRestrictions) fromShATermList' :: Int -> ATermTable -> (ATermTable, [NumberRestrictions])
type Rep NumberRestrictions
Instance details Defined in OWL2.ATC_OWL2 type Rep NumberRestrictions = D1 ('MetaData "NumberRestrictions" "OWL2.Sublogic" "main" 'False) (C1 ('MetaCons "None" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Unqualified" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Qualified" 'PrefixI 'False) (U1 :: Type -> Type)))

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

Instances details

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