Copyright	(c) C. Maeder DFKI GmbH 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (via Logic.Logic)
Safe Haskell	None

OWL2.CASL2OWL

Description

Documentation

data CASL2OWL Source #

Constructors

CASL2OWL

Instances

Instances details

Show CASL2OWL Source #
Instance details Defined in OWL2.CASL2OWL Methods showsPrec :: Int -> CASL2OWL -> ShowS show :: CASL2OWL -> String showList :: [CASL2OWL] -> ShowS
Language CASL2OWL Source #
Instance details Defined in OWL2.CASL2OWL Methods language_name :: CASL2OWL -> String Source # description :: CASL2OWL -> String Source #
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 Methods sourceLogic :: CASL2OWL -> CASL Source # sourceSublogic :: CASL2OWL -> CASL_Sublogics Source # sourceSublogicLossy :: CASL2OWL -> CASL_Sublogics Source # minSourceTheory :: CASL2OWL -> Maybe (LibName, String) Source # targetLogic :: CASL2OWL -> OWL2 Source # mapSublogic :: CASL2OWL -> CASL_Sublogics -> Maybe ProfSub Source # map_theory :: CASL2OWL -> (CASLSign, [Named CASLFORMULA]) -> Result (Sign, [Named Axiom]) Source # mapMarkedTheory :: CASL2OWL -> (CASLSign, [Named CASLFORMULA]) -> Result (Sign, [Named Axiom]) Source # map_morphism :: CASL2OWL -> CASLMor -> Result OWLMorphism Source # map_sentence :: CASL2OWL -> CASLSign -> CASLFORMULA -> Result Axiom Source # map_symbol :: CASL2OWL -> CASLSign -> Symbol -> Set Entity Source # extractModel :: CASL2OWL -> CASLSign -> ProofTree -> Result (CASLSign, [Named CASLFORMULA]) Source # is_model_transportable :: CASL2OWL -> Bool Source # has_model_expansion :: CASL2OWL -> Bool Source # is_weakly_amalgamable :: CASL2OWL -> Bool Source # constituents :: CASL2OWL -> [String] Source # isInclusionComorphism :: CASL2OWL -> Bool Source # rps :: CASL2OWL -> Bool Source # eps :: CASL2OWL -> Bool Source # isGTC :: CASL2OWL -> Bool Source #

toC :: Id -> ClassExpression Source #

toO :: Id -> Int -> ObjectPropertyExpression Source #

mkObjEnt :: String -> Id -> Int -> String -> Axiom -> Named Axiom Source #

toSubClass :: Id -> [ClassExpression] -> [Axiom] Source #

getPropSens :: Id -> [SORT] -> Maybe SORT -> [Named Axiom] Source #

getPropNames :: (a -> [b]) -> MapSet Id a -> Set IRI Source #

commonType :: Sign f e -> [[SORT]] -> Result [SORT] Source #

commonOpType :: Sign f e -> Set OpType -> Result OpType Source #

commonPredType :: Sign f e -> Set PredType -> Result PredType Source #

getCommonSupers :: Sign f e -> [SORT] -> Set SORT Source #

keepMaximals :: Sign f e -> [SORT] -> [SORT] Source #

mapSign :: Sign f e -> Result (Sign, [Named Axiom]) Source #

mapTheory :: (FormExtension f, TermExtension f) => (Sign f e, [Named (FORMULA f)]) -> Result (Sign, [Named Axiom]) Source #

mapSortGenAx :: [Constraint] -> Bool -> [Named Axiom] Source #