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

OWL2.ManchesterPrint

Description

Pretty printing for the Manchester Syntax of OWL 2

Synopsis

Documentation

printOneNamed :: Named Axiom -> Doc

OWL2 signature printing

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

printListFrameBit :: ListFrameBit -> Doc

ListFrameBits only with relations

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

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

Misc ListFrameBits