Hets - the Heterogeneous Tool Set

Copyright(c) Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilitynon-portable (via Logic.Logic)
Safe HaskellNone

OWL2.Propositional2OWL2

Description

 

Documentation

data Propositional2OWL2

Constructors

Propositional2OWL2 

Instances

mkOWLDeclaration :: ClassExpression -> Axiom

tokToQName :: Token -> QName

mapFormula :: FORMULA -> ClassExpression

mapPredDecl :: PRED_ITEM -> [Axiom]

mapAxiomItems :: Annoted FORMULA -> Axiom

mapBasicItems :: BASIC_ITEMS -> [Axiom]

mapBasicSpec :: BASIC_SPEC -> [Axiom]

mapSign :: Sign -> Sign

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

mapSub :: PropSL -> ProfSub