Hets - the Heterogeneous Tool Set

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

OWL2.ManchesterPrint

Description

Pretty printing for the Manchester Syntax of OWL 2

Synopsis

Documentation

printOneNamed :: Named Axiom -> Doc

OWL2 signature printing

delTopic :: Extended -> Sign -> Sign

groupAxioms :: [Axiom] -> [Frame]

printOWLBasicTheory :: (Sign, [Named Axiom]) -> Doc

prepareBasicTheory :: (Sign, [Named Axiom]) -> (Sign, [Named Axiom])

printBasicTheory :: (Sign, [Named Axiom]) -> Doc

convertBasicTheory :: (Sign, [Named Axiom]) -> OntologyDocument

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

printSign :: Sign -> Doc

printFact :: Fact -> 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

printAnnFrameBit :: Annotations -> AnnFrameBit -> Doc

printFrameBit :: FrameBit -> Doc

printFrame :: Frame -> Doc

printAxiom :: Axiom -> Doc

printImport :: ImportIRI -> Doc

printPrefixes :: PrefixMap -> Doc

printOntology :: Ontology -> Doc

printOntologyDocument :: OntologyDocument -> Doc