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

OWL2.Propositional2OWL2

Description

Documentation

data Propositional2OWL2 Source #

Constructors

Propositional2OWL2

Instances

Instances details

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

mkOWLDeclaration :: ClassExpression -> Axiom Source #

tokToIRI :: Token -> IRI Source #

mapFormula :: FORMULA -> ClassExpression Source #

mapPredDecl :: PRED_ITEM -> [Axiom] Source #

mapAxiomItems :: Annoted FORMULA -> Axiom Source #

mapBasicItems :: BASIC_ITEMS -> [Axiom] Source #

mapBasicSpec :: BASIC_SPEC -> [Axiom] Source #

mapSign :: Sign -> Sign Source #

mapTheory :: (Sign, [Named FORMULA]) -> Result (Sign, [Named Axiom]) Source #

mapSub :: PropSL -> ProfSub Source #