Hets - the Heterogeneous Tool Set

Copyright	(c) Heng Jiang, Uni Bremen 2005-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

OWL2.Print

Description

Pretty printing for the Manchester Syntax of OWL 2.

Synopsis

Documentation

printCharact :: String -> Doc

printIRI :: QName -> Doc

printDataIRI :: QName -> Doc

cardinalityType :: CardinalityType -> Doc

quantifierType :: QuantifierType -> Doc

printRelation :: Relation -> Doc

printEquivOrDisjointClasses :: EquivOrDisjoint -> Doc

printEquivOrDisjointProp :: EquivOrDisjoint -> Doc

printPositiveOrNegative :: PositiveOrNegative -> Doc

printSameOrDifferentInd :: SameOrDifferent -> Doc

printObjPropExp :: ObjectPropertyExpression -> Doc

printFV :: (ConstrainingFacet, RestrictionValue) -> Doc

fromCF :: ConstrainingFacet -> String

printDataRange :: DataRange -> Doc

printPrimary :: ClassExpression -> Doc

printNegatedPrimary :: ClassExpression -> Doc

printAnnotation :: Annotation -> Doc

printAnnotations :: Annotations -> Doc

printAnnotatedList :: Pretty a => AnnotatedList a -> Doc