Hets - the Heterogeneous Tool Set

Copyright(c) Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

OWL2.ManchesterPrint

Contents

Description

Pretty printing for the Manchester Syntax of OWL 2

Synopsis

Documentation

printOneNamed :: Named Axiom -> Doc Source #

OWL2 signature printing

printSignElem :: Pretty a => Sign -> String -> (Sign -> Set a) -> Doc Source #

printListFrameBit :: ListFrameBit -> Doc Source #

ListFrameBits only with relations

printMisc :: Pretty a => Annotations -> (b -> Doc) -> b -> AnnotatedList a -> Doc Source #

printMiscBit :: Relation -> Annotations -> ListFrameBit -> Doc Source #

Misc ListFrameBits

Orphan instances