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

OWL2.Morphism

Description

Morphisms for OWL

Documentation

data OWLMorphism

Constructors

OWLMorphism
Fields osource :: Sign otarget :: Sign mmaps :: MorphMap pmap :: StringMap

Instances

Eq OWLMorphism
Data OWLMorphism
Ord OWLMorphism
Show OWLMorphism
ShATermConvertible OWLMorphism
Pretty OWLMorphism
Typeable * OWLMorphism
ProjectSublogic ProfSub OWLMorphism
MinSublogic ProfSub OWLMorphism
Category Sign OWLMorphism
Sentences OWL2 Axiom Sign OWLMorphism Entity
StaticAnalysis OWL2 OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb
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

inclOWLMorphism :: Sign -> Sign -> OWLMorphism

isOWLInclusion :: OWLMorphism -> Bool

symMap :: MorphMap -> Map Entity Entity

inducedElems :: MorphMap -> [Entity]

inducedSign :: MorphMap -> StringMap -> Sign -> Sign

inducedPref :: String -> String -> Sign -> (MorphMap, StringMap) -> (MorphMap, StringMap)

inducedFromMor :: Map RawSymb RawSymb -> Sign -> Result OWLMorphism

symMapOf :: OWLMorphism -> Map Entity Entity

legalMor :: OWLMorphism -> Result ()

composeMor :: OWLMorphism -> OWLMorphism -> Result OWLMorphism

cogeneratedSign :: Set Entity -> Sign -> Result OWLMorphism

generatedSign :: Set Entity -> Sign -> Result OWLMorphism

matchesSym :: Entity -> RawSymb -> Bool

statSymbItems :: Sign -> [SymbItems] -> [RawSymb]

statSymbMapItems :: Sign -> Maybe Sign -> [SymbMapItems] -> Result (Map RawSymb RawSymb)

mapSen :: OWLMorphism -> Axiom -> Result Axiom