| 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 |
OWL2.ManchesterPrint
Contents
Description
Pretty printing for the Manchester Syntax of OWL 2
Synopsis
- printOWLBasicTheory :: (Sign, [Named Axiom]) -> Doc
- prepareBasicTheory :: (Sign, [Named Axiom]) -> (Sign, [Named Axiom])
- printBasicTheory :: (Sign, [Named Axiom]) -> Doc
- convertBasicTheory :: (Sign, [Named Axiom]) -> OntologyDocument
- convertBasicTheory' :: (Sign, [Axiom]) -> OntologyDocument
- printSignElem :: Pretty a => Sign -> String -> (Sign -> Set a) -> Doc
- printSign :: Sign -> Doc
- printFact :: Fact -> Doc
- printListFrameBit :: ListFrameBit -> Doc
- printMisc :: Pretty a => Annotations -> (b -> Doc) -> b -> AnnotatedList a -> Doc
- printMiscBit :: Relation -> Annotations -> ListFrameBit -> Doc
- 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
Documentation
convertBasicTheory :: (Sign, [Named Axiom]) -> OntologyDocument Source #
convertBasicTheory' :: (Sign, [Axiom]) -> OntologyDocument 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
printAnnFrameBit :: Annotations -> AnnFrameBit -> Doc Source #
printFrameBit :: FrameBit -> Doc Source #
printFrame :: Frame -> Doc Source #
printAxiom :: Axiom -> Doc Source #
printImport :: ImportIRI -> Doc Source #
printPrefixes :: PrefixMap -> Doc Source #
printOntology :: Ontology -> Doc Source #