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

OWL2.Print

Contents

Orphan instances

Description

Pretty printing for the Manchester Syntax of OWL 2.

Synopsis

Documentation

printCharact :: String -> Doc Source #

printIRI :: IRI -> Doc Source #

printDataIRI :: IRI -> Doc Source #

cardinalityType :: CardinalityType -> Doc Source #

quantifierType :: QuantifierType -> Doc Source #

printRelation :: Relation -> Doc Source #

printEquivOrDisjointClasses :: EquivOrDisjoint -> Doc Source #

printEquivOrDisjointProp :: EquivOrDisjoint -> Doc Source #

printPositiveOrNegative :: PositiveOrNegative -> Doc Source #

printSameOrDifferentInd :: SameOrDifferent -> Doc Source #

printObjPropExp :: ObjectPropertyExpression -> Doc Source #

printFV :: (ConstrainingFacet, RestrictionValue) -> Doc Source #

fromCF :: ConstrainingFacet -> String Source #

printDataRange :: DataRange -> Doc Source #

printPrimary :: ClassExpression -> Doc Source #

printNegatedPrimary :: ClassExpression -> Doc Source #

printAnnotation :: Annotation -> Doc Source #

printAnnotations :: Annotations -> Doc Source #

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

Orphan instances

GetRange RawSymb Source #
Methods getRange :: RawSymb -> Range Source # rangeSpan :: RawSymb -> [Pos] Source #
Pretty DatatypeFacet Source #
Methods pretty :: DatatypeFacet -> Doc Source # pretties :: [DatatypeFacet] -> Doc Source #
Pretty AnnotationValue Source #	annotations printing
Methods pretty :: AnnotationValue -> Doc Source # pretties :: [AnnotationValue] -> Doc Source #
Pretty Annotation Source #
Methods pretty :: Annotation -> Doc Source # pretties :: [Annotation] -> Doc Source #
Pretty ClassExpression Source #	Printing the ClassExpression
Methods pretty :: ClassExpression -> Doc Source # pretties :: [ClassExpression] -> Doc Source #
Pretty DataRange Source #	Printing the DataRange
Methods pretty :: DataRange -> Doc Source # pretties :: [DataRange] -> Doc Source #
Pretty ObjectPropertyExpression Source #
Methods pretty :: ObjectPropertyExpression -> Doc Source # pretties :: [ObjectPropertyExpression] -> Doc Source #
Pretty Literal Source #
Methods pretty :: Literal -> Doc Source # pretties :: [Literal] -> Doc Source #
Pretty Entity Source #
Methods pretty :: Entity -> Doc Source # pretties :: [Entity] -> Doc Source #
Pretty Character Source #
Methods pretty :: Character -> Doc Source # pretties :: [Character] -> Doc Source #
Pretty RawSymb Source #
Methods pretty :: RawSymb -> Doc Source # pretties :: [RawSymb] -> Doc Source #
Pretty SymbMapItems Source #
Methods pretty :: SymbMapItems -> Doc Source # pretties :: [SymbMapItems] -> Doc Source #
Pretty SymbItems Source #
Methods pretty :: SymbItems -> Doc Source # pretties :: [SymbItems] -> Doc Source #
Pretty ExtEntityType Source #	Symbols printing
Methods pretty :: ExtEntityType -> Doc Source # pretties :: [ExtEntityType] -> Doc Source #