Hets - the Heterogeneous Tool Set
Copyright(c) Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

OWL2.ProfilesAndSublogics

Description

OWL2 Profiles (EL, QL and RL) + OWL2 complexity analysis

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

Synopsis

Documentation

data ProfSub Source #

Constructors

ProfSub 

Instances

Instances details
Eq ProfSub Source # 
Instance details

Defined in OWL2.ProfilesAndSublogics

Methods

(==) :: ProfSub -> ProfSub -> Bool

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

Data ProfSub Source # 
Instance details

Defined in OWL2.ProfilesAndSublogics

Methods

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

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

toConstr :: ProfSub -> Constr

dataTypeOf :: ProfSub -> DataType

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

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

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

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

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

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

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

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

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

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

Ord ProfSub Source # 
Instance details

Defined in OWL2.ProfilesAndSublogics

Methods

compare :: ProfSub -> ProfSub -> Ordering

(<) :: ProfSub -> ProfSub -> Bool

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

(>) :: ProfSub -> ProfSub -> Bool

(>=) :: ProfSub -> ProfSub -> Bool

max :: ProfSub -> ProfSub -> ProfSub

min :: ProfSub -> ProfSub -> ProfSub

Show ProfSub Source # 
Instance details

Defined in OWL2.ProfilesAndSublogics

Methods

showsPrec :: Int -> ProfSub -> ShowS

show :: ProfSub -> String

showList :: [ProfSub] -> ShowS

Generic ProfSub 
Instance details

Defined in OWL2.ATC_OWL2

Associated Types

type Rep ProfSub :: Type -> Type

Methods

from :: ProfSub -> Rep ProfSub x

to :: Rep ProfSub x -> ProfSub

FromJSON ProfSub 
Instance details

Defined in OWL2.ATC_OWL2

Methods

parseJSON :: Value -> Parser ProfSub

parseJSONList :: Value -> Parser [ProfSub]

ToJSON ProfSub 
Instance details

Defined in OWL2.ATC_OWL2

Methods

toJSON :: ProfSub -> Value

toEncoding :: ProfSub -> Encoding

toJSONList :: [ProfSub] -> Value

toEncodingList :: [ProfSub] -> Encoding

ShATermConvertible ProfSub 
Instance details

Defined in OWL2.ATC_OWL2

Methods

toShATermAux :: ATermTable -> ProfSub -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ProfSub] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ProfSub)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProfSub])

SublogicName ProfSub Source # 
Instance details

Defined in OWL2.Logic_OWL2

Methods

sublogicName :: ProfSub -> String Source #

SemiLatticeWithTop ProfSub Source # 
Instance details

Defined in OWL2.Logic_OWL2

ProjectSublogicM ProfSub Entity Source # 
Instance details

Defined in OWL2.Logic_OWL2

ProjectSublogicM ProfSub SymbMapItems Source # 
Instance details

Defined in OWL2.Logic_OWL2

ProjectSublogicM ProfSub SymbItems Source # 
Instance details

Defined in OWL2.Logic_OWL2

ProjectSublogic ProfSub OntologyDocument Source # 
Instance details

Defined in OWL2.Logic_OWL2

ProjectSublogic ProfSub Sign Source # 
Instance details

Defined in OWL2.Logic_OWL2

ProjectSublogic ProfSub OWLMorphism Source # 
Instance details

Defined in OWL2.Logic_OWL2

MinSublogic ProfSub OntologyDocument Source # 
Instance details

Defined in OWL2.Logic_OWL2

MinSublogic ProfSub Axiom Source # 
Instance details

Defined in OWL2.Logic_OWL2

MinSublogic ProfSub Entity Source # 
Instance details

Defined in OWL2.Logic_OWL2

MinSublogic ProfSub Sign Source # 
Instance details

Defined in OWL2.Logic_OWL2

MinSublogic ProfSub SymbMapItems Source # 
Instance details

Defined in OWL2.Logic_OWL2

MinSublogic ProfSub SymbItems Source # 
Instance details

Defined in OWL2.Logic_OWL2

MinSublogic ProfSub OWLMorphism Source # 
Instance details

Defined in OWL2.Logic_OWL2

Logic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in OWL2.Logic_OWL2

Methods

parse_basic_sen :: OWL2 -> Maybe (OntologyDocument -> AParser st Axiom) Source #

stability :: OWL2 -> Stability Source #

data_logic :: OWL2 -> Maybe AnyLogic Source #

top_sublogic :: OWL2 -> ProfSub Source #

all_sublogics :: OWL2 -> [ProfSub] Source #

bottomSublogic :: OWL2 -> Maybe ProfSub Source #

sublogicDimensions :: OWL2 -> [[ProfSub]] Source #

parseSublogic :: OWL2 -> String -> Maybe ProfSub Source #

proj_sublogic_epsilon :: OWL2 -> ProfSub -> Sign -> OWLMorphism Source #

provers :: OWL2 -> [Prover Sign Axiom OWLMorphism ProfSub ProofTree] Source #

default_prover :: OWL2 -> String Source #

cons_checkers :: OWL2 -> [ConsChecker Sign Axiom ProfSub OWLMorphism ProofTree] Source #

conservativityCheck :: OWL2 -> [ConservativityChecker Sign Axiom OWLMorphism] Source #

empty_proof_tree :: OWL2 -> ProofTree Source #

syntaxTable :: OWL2 -> Sign -> Maybe SyntaxTable Source #

omdoc_metatheory :: OWL2 -> Maybe OMCD Source #

export_symToOmdoc :: OWL2 -> NameMap Entity -> Entity -> String -> Result TCElement Source #

export_senToOmdoc :: OWL2 -> NameMap Entity -> Axiom -> Result TCorOMElement Source #

export_theoryToOmdoc :: OWL2 -> SigMap Entity -> Sign -> [Named Axiom] -> Result [TCElement] Source #

omdocToSym :: OWL2 -> SigMapI Entity -> TCElement -> String -> Result Entity Source #

omdocToSen :: OWL2 -> SigMapI Entity -> TCElement -> String -> Result (Maybe (Named Axiom)) Source #

addOMadtToTheory :: OWL2 -> SigMapI Entity -> (Sign, [Named Axiom]) -> [[OmdADT]] -> Result (Sign, [Named Axiom]) Source #

addOmdocToTheory :: OWL2 -> SigMapI Entity -> (Sign, [Named Axiom]) -> [TCElement] -> Result (Sign, [Named Axiom]) Source #

sublogicOfTheo :: OWL2 -> (Sign, [Axiom]) -> ProfSub Source #

Comorphism Propositional2OWL2 Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in OWL2.Propositional2OWL2

Comorphism OWL22NeSyPatterns OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree NeSyPatterns () BASIC_SPEC () SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Source # 
Instance details

Defined in OWL2.OWL22NeSyPatterns

Comorphism OWL22CommonLogic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Source # 
Instance details

Defined in OWL2.OWL22CommonLogic

Comorphism OWL22CASL OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 
Instance details

Defined in OWL2.OWL22CASL

Comorphism CASL2OWL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in OWL2.CASL2OWL

Comorphism ExtModal2OWL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in Comorphisms.ExtModal2OWL

Comorphism DMU2OWL2 DMU () Text () () () Text (DefaultMorphism Text) () () () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # 
Instance details

Defined in OWL2.DMU2OWL2

type Rep ProfSub 
Instance details

Defined in OWL2.ATC_OWL2

type Rep ProfSub = D1 ('MetaData "ProfSub" "OWL2.ProfilesAndSublogics" "main" 'False) (C1 ('MetaCons "ProfSub" 'PrefixI 'True) (S1 ('MetaSel ('Just "profiles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Profiles) :*: S1 ('MetaSel ('Just "sublogic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OWLSub)))

dlS :: ProfSub Source #

OWL2 DL Sublogic

nameS :: ProfSub -> String Source #