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 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

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