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
Description
Pretty printing for the Manchester Syntax of OWL 2.
- printCharact :: String -> Doc
- printIRI :: IRI -> Doc
- printDataIRI :: IRI -> 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
Documentation
printCharact :: String -> Doc Source #
printDataIRI :: IRI -> Doc Source #
cardinalityType :: CardinalityType -> Doc Source #
quantifierType :: QuantifierType -> Doc Source #
printRelation :: Relation -> Doc Source #
printFV :: (ConstrainingFacet, RestrictionValue) -> Doc Source #
fromCF :: ConstrainingFacet -> String Source #
printDataRange :: DataRange -> Doc Source #
printPrimary :: ClassExpression -> Doc Source #
printAnnotation :: Annotation -> Doc Source #
printAnnotations :: Annotations -> Doc Source #
printAnnotatedList :: Pretty a => AnnotatedList a -> Doc Source #
Orphan instances
GetRange RawSymb Source # | |
Pretty DatatypeFacet Source # | |
Pretty AnnotationValue Source # | annotations printing |
Pretty Annotation Source # | |
Pretty ClassExpression Source # | Printing the ClassExpression |
Pretty DataRange Source # | Printing the DataRange |
Pretty ObjectPropertyExpression Source # | |
Pretty Literal Source # | |
Pretty Entity Source # | |
Pretty Character Source # | |
Pretty RawSymb Source # | |
Pretty SymbMapItems Source # | |
Pretty SymbItems Source # | |
Pretty ExtEntityType Source # | Symbols printing |