Hets - the Heterogeneous Tool Set

Safe HaskellSafe

OWL2.PrintAS

Synopsis

Documentation

sParens :: Doc -> Doc Source #

auxiliary parens function

printIRI :: PrefixMap -> IRI -> Doc Source #

print IRI

printLiteral :: PrefixMap -> Literal -> Doc Source #

print Literal

escapeString :: String -> String Source #

printEntity :: PrefixMap -> Entity -> Doc Source #

print Entity

printDataRange :: PrefixMap -> DataRange -> Doc Source #

print DataRanges

printClassExpression :: PrefixMap -> ClassExpression -> Doc Source #

print ClassExpressions

printAxiom :: PrefixMap -> Axiom -> Doc Source #

print Axioms

printClassAxiom :: PrefixMap -> ClassAxiom -> Doc Source #

print ClassAxiom

printDatatypeDefinition :: PrefixMap -> AxiomAnnotations -> Datatype -> DataRange -> Doc Source #

print DatatypeDefinition axiom

printAssertion :: PrefixMap -> Assertion -> Doc Source #

print Assertion axiom

printDLSafeRule :: PrefixMap -> AxiomAnnotations -> Body -> Head -> Doc Source #

print DLSafeRules

printPrefixDeclaration :: (String, IRI) -> Doc Source #

print Root