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

OWL2.ProfilesAndSublogics

Description

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

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

Documentation

data ProfSub

Constructors

ProfSub
Fields profiles :: Profiles sublogic :: OWLSub

Instances

Eq ProfSub
Data ProfSub
Ord ProfSub
Show ProfSub
ShATermConvertible ProfSub
SublogicName ProfSub
SemiLatticeWithTop ProfSub
Typeable * ProfSub
ProjectSublogicM ProfSub Entity
ProjectSublogicM ProfSub SymbMapItems
ProjectSublogicM ProfSub SymbItems
ProjectSublogic ProfSub Sign
ProjectSublogic ProfSub OntologyDocument
ProjectSublogic ProfSub OWLMorphism
MinSublogic ProfSub Entity
MinSublogic ProfSub SymbMapItems
MinSublogic ProfSub SymbItems
MinSublogic ProfSub Sign
MinSublogic ProfSub OntologyDocument
MinSublogic ProfSub Axiom
MinSublogic ProfSub OWLMorphism
Logic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree
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
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
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
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
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
Comorphism DMU2OWL2 DMU () Text () () () Text (DefaultMorphism Text) () () () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree

allProfSubs :: [[ProfSub]]

bottomS :: ProfSub

topS :: ProfSub

maxS :: ProfSub -> ProfSub -> ProfSub

nameS :: ProfSub -> String

psAxiom :: Axiom -> ProfSub

sSig :: Sign -> ProfSub

sMorph :: OWLMorphism -> ProfSub

prSign :: ProfSub -> Sign -> Sign

prMorph :: ProfSub -> OWLMorphism -> OWLMorphism

prOntDoc :: ProfSub -> OntologyDocument -> OntologyDocument

profilesAndSublogic :: OntologyDocument -> ProfSub