Safe Haskell	Safe

OWL2.PrintMS

Synopsis

type Annotations = [Annotation]
data FrameIdValue
- = IriId IRI
- | ObjInvOfId IRI
- | ComplexClassExpr ClassExpression
- | MiscId
- | RuleId
data FrameType
- = DatatypeFrame
- | ClassFrame
- | ObjectPropertyFrame
- | DataPropertyFrame
- | AnnotationPropertyFrame
- | IndividualFrame
- | MiscFrame
- | RuleFrame
data FrameSectionType
- = AnnotationsSection
- | EquivalentToSection
- | SubClassOfSection
- | DisjointWithSection
- | DisjointUnionOfSection
- | HasKeySection
- | DomainSection
- | RangeSection
- | CharacteristicsSection
- | SubPropertyOfSection
- | InverseOfSection
- | SubPropertyChainSection
- | TypesSection
- | FactsSection
- | SameAsSection
- | DifferentFromSection
- | EquivalentClassesSection
- | DisjointClassesSection
- | EquivalentDataPropertiesSection
- | EquivalentObjectPropertiesSection
- | DisjointDataPropertiesSection
- | DisjointObjectPropertiesSection
- | SameIndividualSection
- | DifferentIndividualsSection
- | RuleSection
- | DeclarationSection
type FrameId = (FrameType, FrameIdValue)
type Frame = Map FrameSectionType [Axiom]
type MnchstrSntx = Map FrameId Frame
obPropExprToIRI :: ObjectPropertyExpression -> IRI
obPropExprToIdVal :: ObjectPropertyExpression -> FrameIdValue
emptyMS :: MnchstrSntx
tabs :: Int -> Doc
tAxioms :: [Axiom] -> MnchstrSntx -> MnchstrSntx
tAxiom :: Axiom -> MnchstrSntx -> MnchstrSntx
tDeclaration :: Axiom -> MnchstrSntx -> MnchstrSntx
tAddDecAnnAssertions :: Entity -> Annotations -> MnchstrSntx -> MnchstrSntx
tEntity :: Entity -> MnchstrSntx -> MnchstrSntx
tObjectPropertyAxiom :: ObjectPropertyAxiom -> MnchstrSntx -> MnchstrSntx
tDataPropertyAxiom :: DataPropertyAxiom -> MnchstrSntx -> MnchstrSntx
tClassAxiom :: ClassAxiom -> MnchstrSntx -> MnchstrSntx
tDatatypeDefinition :: Axiom -> MnchstrSntx -> MnchstrSntx
tHasKey :: Axiom -> MnchstrSntx -> MnchstrSntx
tAssertion :: Assertion -> MnchstrSntx -> MnchstrSntx
tAnnotationAxiom :: AnnotationAxiom -> MnchstrSntx -> MnchstrSntx
tRule :: Rule -> MnchstrSntx -> MnchstrSntx
tAnnotations :: [Annotation] -> MnchstrSntx -> MnchstrSntx
tAnnotation :: Annotation -> MnchstrSntx -> MnchstrSntx
tAnnotationProperty :: IRI -> MnchstrSntx -> MnchstrSntx
tAnnotationValue :: AnnotationValue -> MnchstrSntx -> MnchstrSntx
tAnnotationSubject :: AnnotationSubject -> MnchstrSntx -> MnchstrSntx
tClassExpressions :: [ClassExpression] -> MnchstrSntx -> MnchstrSntx
tClassExpression :: ClassExpression -> MnchstrSntx -> MnchstrSntx
tObjectPropertyExpressions :: Bool -> [ObjectPropertyExpression] -> MnchstrSntx -> MnchstrSntx
tObjectPropertyExpression :: Bool -> ObjectPropertyExpression -> MnchstrSntx -> MnchstrSntx
tDataRange :: DataRange -> MnchstrSntx -> MnchstrSntx
tDatatype :: Datatype -> MnchstrSntx -> MnchstrSntx
tLiteral :: Literal -> MnchstrSntx -> MnchstrSntx
tDataPropertyExpressions :: [DataPropertyExpression] -> MnchstrSntx -> MnchstrSntx
tDataPropertyExpression :: DataPropertyExpression -> MnchstrSntx -> MnchstrSntx
tIndividuals :: [Individual] -> MnchstrSntx -> MnchstrSntx
tIndividual :: Individual -> MnchstrSntx -> MnchstrSntx
tAtoms :: [Atom] -> MnchstrSntx -> MnchstrSntx
tAtom :: Atom -> MnchstrSntx -> MnchstrSntx
tIndividualArg :: IndividualArg -> MnchstrSntx -> MnchstrSntx
tDataArg :: DataArg -> MnchstrSntx -> MnchstrSntx
printOntologyDocument :: OntologyDocument -> Doc
printPrefixDeclaration :: (String, IRI) -> Doc
printOntology :: PrefixMap -> Ontology -> Doc
printMS :: PrefixMap -> MnchstrSntx -> Doc
printOPFs :: PrefixMap -> Int -> MnchstrSntx -> Doc
printOPF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc
annotationAssertionsToDoc :: PrefixMap -> Int -> [AnnotationAxiom] -> Doc
opAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [ObjectPropertyAxiom] -> Doc
printSubPropOf :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc
printSubPropChain :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc
printEqObProp :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc
printDisjObProp :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc
printInvObProp :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc
printObPropDom :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc
printObPropRange :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc
printCharacteristics :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc
printAnnAssertion :: PrefixMap -> Int -> AnnotationAxiom -> Doc
unpackObjectPropertyAxiom :: Axiom -> ObjectPropertyAxiom
printDPFs :: PrefixMap -> Int -> MnchstrSntx -> Doc
printDPF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc
dpAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [DataPropertyAxiom] -> Doc
printDataPropAxiom :: PrefixMap -> Int -> DataPropertyAxiom -> Doc
unpackDataPropertyAxiom :: Axiom -> DataPropertyAxiom
printAPFs :: PrefixMap -> Int -> MnchstrSntx -> Doc
printAPF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc
afAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [AnnotationAxiom] -> Doc
printAFAxiom :: PrefixMap -> Int -> AnnotationAxiom -> Doc
printDFs :: PrefixMap -> Int -> MnchstrSntx -> Doc
printDF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc
dtAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [Axiom] -> Doc
printDatatypeDefinitionAxiom :: PrefixMap -> Int -> Axiom -> Doc
printCFs :: PrefixMap -> Int -> MnchstrSntx -> Doc
printCF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc
classAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [Axiom] -> Doc
hasKeyAxiomsToCFDoc :: PrefixMap -> Int -> [Axiom] -> Doc
getAnnosFromDeclarationAxioms :: [Axiom] -> Annotations
unpackClassAxiom :: Axiom -> ClassAxiom
printHasKeyAxiom :: PrefixMap -> Int -> Axiom -> Doc
printClassAxiomsVer :: PrefixMap -> Int -> [ClassAxiom] -> Doc
printClassAxiom :: PrefixMap -> Int -> ClassAxiom -> Doc
printIFs :: PrefixMap -> Int -> MnchstrSntx -> Doc
printIF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc
iFrameAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [Axiom] -> Doc
printIFAssertionAxiom :: PrefixMap -> Int -> Assertion -> Doc
printMF :: PrefixMap -> Int -> MnchstrSntx -> Doc
eqClsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc
disjClsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc
eqObPropsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc
disjObPropsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc
eqDataPropsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc
disjDataPropsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc
sameIndsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc
difIndsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc
unpackAssertionAxiom :: Axiom -> Assertion
unpackAnnotationAxiom :: Axiom -> AnnotationAxiom
printObPropAxiomMF :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc
printDataPropAxiomMF :: PrefixMap -> Int -> DataPropertyAxiom -> Doc
printAssertionAxiomMF :: PrefixMap -> Int -> Assertion -> Doc
printRules :: PrefixMap -> Int -> MnchstrSntx -> Doc
printRule :: PrefixMap -> Rule -> Doc
printAtoms :: PrefixMap -> [Atom] -> Doc
printAtom :: PrefixMap -> Atom -> Doc
printUnknownArg :: PrefixMap -> UnknownArg -> Doc
printIndividualArg :: PrefixMap -> IndividualArg -> Doc
printDataArg :: PrefixMap -> DataArg -> Doc
printAnnotationValue :: PrefixMap -> AnnotationValue -> Doc
printAnnotation :: PrefixMap -> Int -> Annotation -> Doc
printAnnotations :: PrefixMap -> Int -> Annotations -> Doc
printIRI :: PrefixMap -> IRI -> Doc
printDataIRI :: PrefixMap -> IRI -> Doc
printLiteral :: PrefixMap -> Literal -> Doc
printUntypedLiteral :: String -> Maybe String -> Doc
printTypedLiteral :: PrefixMap -> String -> IRI -> Doc
escapeString :: String -> String
printObjectPropertyExpressionsVer :: PrefixMap -> [ObjectPropertyExpression] -> Doc
printObjectPropertyExpressionsHor :: PrefixMap -> [ObjectPropertyExpression] -> Doc
printObjectPropertyExpression :: PrefixMap -> ObjectPropertyExpression -> Doc
printFV :: PrefixMap -> (ConstrainingFacet, RestrictionValue) -> Doc
fromCF :: ConstrainingFacet -> String
printDataRange :: PrefixMap -> DataRange -> Doc
printClassExpressionsHor :: PrefixMap -> [ClassExpression] -> Doc
printClassExpressionsVer :: PrefixMap -> [ClassExpression] -> Doc
printClassExpression :: PrefixMap -> ClassExpression -> Doc
printPrimary :: PrefixMap -> ClassExpression -> Doc
quantifierType :: QuantifierType -> Doc
cardinalityType :: CardinalityType -> Doc

Documentation

type Annotations = [Annotation] Source #

data FrameIdValue Source #

Constructors

IriId IRI
ObjInvOfId IRI
ComplexClassExpr ClassExpression
MiscId
RuleId

Instances

Instances details

Eq FrameIdValue Source #
Instance details Defined in OWL2.PrintMS Methods (==) :: FrameIdValue -> FrameIdValue -> Bool (/=) :: FrameIdValue -> FrameIdValue -> Bool
Ord FrameIdValue Source #
Instance details Defined in OWL2.PrintMS Methods compare :: FrameIdValue -> FrameIdValue -> Ordering (<) :: FrameIdValue -> FrameIdValue -> Bool (<=) :: FrameIdValue -> FrameIdValue -> Bool (>) :: FrameIdValue -> FrameIdValue -> Bool (>=) :: FrameIdValue -> FrameIdValue -> Bool max :: FrameIdValue -> FrameIdValue -> FrameIdValue min :: FrameIdValue -> FrameIdValue -> FrameIdValue
Show FrameIdValue Source #
Instance details Defined in OWL2.PrintMS Methods showsPrec :: Int -> FrameIdValue -> ShowS show :: FrameIdValue -> String showList :: [FrameIdValue] -> ShowS

data FrameType Source #

Constructors

DatatypeFrame
ClassFrame
ObjectPropertyFrame
DataPropertyFrame
AnnotationPropertyFrame
IndividualFrame
MiscFrame
RuleFrame

Instances

Instances details

Bounded FrameType Source #
Instance details Defined in OWL2.PrintMS Methods minBound :: FrameType maxBound :: FrameType
Enum FrameType Source #
Instance details Defined in OWL2.PrintMS Methods succ :: FrameType -> FrameType pred :: FrameType -> FrameType toEnum :: Int -> FrameType fromEnum :: FrameType -> Int enumFrom :: FrameType -> [FrameType] enumFromThen :: FrameType -> FrameType -> [FrameType] enumFromTo :: FrameType -> FrameType -> [FrameType] enumFromThenTo :: FrameType -> FrameType -> FrameType -> [FrameType]
Eq FrameType Source #
Instance details Defined in OWL2.PrintMS Methods (==) :: FrameType -> FrameType -> Bool (/=) :: FrameType -> FrameType -> Bool
Ord FrameType Source #
Instance details Defined in OWL2.PrintMS Methods compare :: FrameType -> FrameType -> Ordering (<) :: FrameType -> FrameType -> Bool (<=) :: FrameType -> FrameType -> Bool (>) :: FrameType -> FrameType -> Bool (>=) :: FrameType -> FrameType -> Bool max :: FrameType -> FrameType -> FrameType min :: FrameType -> FrameType -> FrameType
Show FrameType Source #
Instance details Defined in OWL2.PrintMS Methods showsPrec :: Int -> FrameType -> ShowS show :: FrameType -> String showList :: [FrameType] -> ShowS

data FrameSectionType Source #

Instances

Instances details

Eq FrameSectionType Source #
Instance details Defined in OWL2.PrintMS Methods (==) :: FrameSectionType -> FrameSectionType -> Bool (/=) :: FrameSectionType -> FrameSectionType -> Bool
Ord FrameSectionType Source #
Instance details Defined in OWL2.PrintMS Methods compare :: FrameSectionType -> FrameSectionType -> Ordering (<) :: FrameSectionType -> FrameSectionType -> Bool (<=) :: FrameSectionType -> FrameSectionType -> Bool (>) :: FrameSectionType -> FrameSectionType -> Bool (>=) :: FrameSectionType -> FrameSectionType -> Bool max :: FrameSectionType -> FrameSectionType -> FrameSectionType min :: FrameSectionType -> FrameSectionType -> FrameSectionType
Show FrameSectionType Source #
Instance details Defined in OWL2.PrintMS Methods showsPrec :: Int -> FrameSectionType -> ShowS show :: FrameSectionType -> String showList :: [FrameSectionType] -> ShowS

type FrameId = (FrameType, FrameIdValue) Source #

type Frame = Map FrameSectionType [Axiom] Source #

type MnchstrSntx = Map FrameId Frame Source #

obPropExprToIRI :: ObjectPropertyExpression -> IRI Source #

function to extract IRI from ObjectInverseOf

obPropExprToIdVal :: ObjectPropertyExpression -> FrameIdValue Source #

emptyMS :: MnchstrSntx Source #

tabs :: Int -> Doc Source #

tAxioms :: [Axiom] -> MnchstrSntx -> MnchstrSntx Source #

transform Axioms

tAxiom :: Axiom -> MnchstrSntx -> MnchstrSntx Source #

transform Axiom

tDeclaration :: Axiom -> MnchstrSntx -> MnchstrSntx Source #

transform Declaration

tAddDecAnnAssertions :: Entity -> Annotations -> MnchstrSntx -> MnchstrSntx Source #

tEntity :: Entity -> MnchstrSntx -> MnchstrSntx Source #

transform Entity

tObjectPropertyAxiom :: ObjectPropertyAxiom -> MnchstrSntx -> MnchstrSntx Source #

transform ObjectProperty axiom

tDataPropertyAxiom :: DataPropertyAxiom -> MnchstrSntx -> MnchstrSntx Source #

transform DataProperty axioms

tClassAxiom :: ClassAxiom -> MnchstrSntx -> MnchstrSntx Source #

transform Class axiom

tDatatypeDefinition :: Axiom -> MnchstrSntx -> MnchstrSntx Source #

transform DatatypeDefinition axiom

tHasKey :: Axiom -> MnchstrSntx -> MnchstrSntx Source #

transform HasKey axiom

tAssertion :: Assertion -> MnchstrSntx -> MnchstrSntx Source #

transform Assertion axioms

tAnnotationAxiom :: AnnotationAxiom -> MnchstrSntx -> MnchstrSntx Source #

transform AnnotationAxiom axioms

tRule :: Rule -> MnchstrSntx -> MnchstrSntx Source #

tAnnotations :: [Annotation] -> MnchstrSntx -> MnchstrSntx Source #

transform Annotations

tAnnotation :: Annotation -> MnchstrSntx -> MnchstrSntx Source #

tAnnotationProperty :: IRI -> MnchstrSntx -> MnchstrSntx Source #

transform AnnotationProperty

tAnnotationValue :: AnnotationValue -> MnchstrSntx -> MnchstrSntx Source #

transform AnnotationValue

tAnnotationSubject :: AnnotationSubject -> MnchstrSntx -> MnchstrSntx Source #

transform AnnotationSubject

tClassExpressions :: [ClassExpression] -> MnchstrSntx -> MnchstrSntx Source #

transform ClassExpression

tClassExpression :: ClassExpression -> MnchstrSntx -> MnchstrSntx Source #

tObjectPropertyExpressions :: Bool -> [ObjectPropertyExpression] -> MnchstrSntx -> MnchstrSntx Source #

transform ObjectPropertyExpression

tObjectPropertyExpression :: Bool -> ObjectPropertyExpression -> MnchstrSntx -> MnchstrSntx Source #

tDataRange :: DataRange -> MnchstrSntx -> MnchstrSntx Source #

transform DataRange

tDatatype :: Datatype -> MnchstrSntx -> MnchstrSntx Source #

transform Datatype

tLiteral :: Literal -> MnchstrSntx -> MnchstrSntx Source #

transform Literal

tDataPropertyExpressions :: [DataPropertyExpression] -> MnchstrSntx -> MnchstrSntx Source #

transform DataPropertyExpression

tDataPropertyExpression :: DataPropertyExpression -> MnchstrSntx -> MnchstrSntx Source #

tIndividuals :: [Individual] -> MnchstrSntx -> MnchstrSntx Source #

transform Individual

tIndividual :: Individual -> MnchstrSntx -> MnchstrSntx Source #

tAtoms :: [Atom] -> MnchstrSntx -> MnchstrSntx Source #

transform Atoms

tAtom :: Atom -> MnchstrSntx -> MnchstrSntx Source #

tIndividualArg :: IndividualArg -> MnchstrSntx -> MnchstrSntx Source #

transform IndividualArg

tDataArg :: DataArg -> MnchstrSntx -> MnchstrSntx Source #

transform DataArg

printOntologyDocument :: OntologyDocument -> Doc Source #

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

printOntology :: PrefixMap -> Ontology -> Doc Source #

printMS :: PrefixMap -> MnchstrSntx -> Doc Source #

print Manchester Syntax

printOPFs :: PrefixMap -> Int -> MnchstrSntx -> Doc Source #

print Object Property Frames

printOPF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc Source #

print Object Property Frame

annotationAssertionsToDoc :: PrefixMap -> Int -> [AnnotationAxiom] -> Doc Source #

opAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [ObjectPropertyAxiom] -> Doc Source #

printSubPropOf :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc Source #

printSubPropChain :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc Source #

printEqObProp :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc Source #

printDisjObProp :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc Source #

printInvObProp :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc Source #

printObPropDom :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc Source #

printObPropRange :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc Source #

printCharacteristics :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc Source #

printAnnAssertion :: PrefixMap -> Int -> AnnotationAxiom -> Doc Source #

unpackObjectPropertyAxiom :: Axiom -> ObjectPropertyAxiom Source #

printDPFs :: PrefixMap -> Int -> MnchstrSntx -> Doc Source #

print Data Property Frames

printDPF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc Source #

print Data Property Frame

dpAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [DataPropertyAxiom] -> Doc Source #

printDataPropAxiom :: PrefixMap -> Int -> DataPropertyAxiom -> Doc Source #

unpackDataPropertyAxiom :: Axiom -> DataPropertyAxiom Source #

printAPFs :: PrefixMap -> Int -> MnchstrSntx -> Doc Source #

print Annotation Property Frames

printAPF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc Source #

print Annotation Property Frame

afAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [AnnotationAxiom] -> Doc Source #

printAFAxiom :: PrefixMap -> Int -> AnnotationAxiom -> Doc Source #

printDFs :: PrefixMap -> Int -> MnchstrSntx -> Doc Source #

print Datatype Frames

printDF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc Source #

print Datatype Frame

dtAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [Axiom] -> Doc Source #

printDatatypeDefinitionAxiom :: PrefixMap -> Int -> Axiom -> Doc Source #

printCFs :: PrefixMap -> Int -> MnchstrSntx -> Doc Source #

print Class Frames

printCF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc Source #

print Class Frame

classAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [Axiom] -> Doc Source #

hasKeyAxiomsToCFDoc :: PrefixMap -> Int -> [Axiom] -> Doc Source #

getAnnosFromDeclarationAxioms :: [Axiom] -> Annotations Source #

unpackClassAxiom :: Axiom -> ClassAxiom Source #

printHasKeyAxiom :: PrefixMap -> Int -> Axiom -> Doc Source #

print HasKey axiom

printClassAxiomsVer :: PrefixMap -> Int -> [ClassAxiom] -> Doc Source #

print ClassAxioms

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

printIFs :: PrefixMap -> Int -> MnchstrSntx -> Doc Source #

print Individual Frames

printIF :: PrefixMap -> Int -> FrameId -> Map FrameSectionType [Axiom] -> Doc Source #

print Individual Frame

iFrameAxiomsToDoc :: PrefixMap -> Int -> FrameSectionType -> [Axiom] -> Doc Source #

printIFAssertionAxiom :: PrefixMap -> Int -> Assertion -> Doc Source #

printMF :: PrefixMap -> Int -> MnchstrSntx -> Doc Source #

print Misc Frame

eqClsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc Source #

disjClsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc Source #

eqObPropsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc Source #

disjObPropsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc Source #

eqDataPropsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc Source #

disjDataPropsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc Source #

sameIndsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc Source #

difIndsAxiomsToMFDoc :: PrefixMap -> Int -> [Axiom] -> Doc Source #

unpackAssertionAxiom :: Axiom -> Assertion Source #

unpackAnnotationAxiom :: Axiom -> AnnotationAxiom Source #

printObPropAxiomMF :: PrefixMap -> Int -> ObjectPropertyAxiom -> Doc Source #

printDataPropAxiomMF :: PrefixMap -> Int -> DataPropertyAxiom -> Doc Source #

printAssertionAxiomMF :: PrefixMap -> Int -> Assertion -> Doc Source #

printRules :: PrefixMap -> Int -> MnchstrSntx -> Doc Source #

print Rules

printRule :: PrefixMap -> Rule -> Doc Source #

printAtoms :: PrefixMap -> [Atom] -> Doc Source #

printAtom :: PrefixMap -> Atom -> Doc Source #

printUnknownArg :: PrefixMap -> UnknownArg -> Doc Source #

printIndividualArg :: PrefixMap -> IndividualArg -> Doc Source #

printDataArg :: PrefixMap -> DataArg -> Doc Source #

printAnnotationValue :: PrefixMap -> AnnotationValue -> Doc Source #

print Annotations

printAnnotation :: PrefixMap -> Int -> Annotation -> Doc Source #

printAnnotations :: PrefixMap -> Int -> Annotations -> Doc Source #

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

print IRI

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

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

print Literal

printUntypedLiteral :: String -> Maybe String -> Doc Source #

printTypedLiteral :: PrefixMap -> String -> IRI -> Doc Source #

escapeString :: String -> String Source #

printObjectPropertyExpressionsVer :: PrefixMap -> [ObjectPropertyExpression] -> Doc Source #

printObjectPropertyExpressionsHor :: PrefixMap -> [ObjectPropertyExpression] -> Doc Source #

printObjectPropertyExpression :: PrefixMap -> ObjectPropertyExpression -> Doc Source #

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

fromCF :: ConstrainingFacet -> String Source #

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

printClassExpressionsHor :: PrefixMap -> [ClassExpression] -> Doc Source #

printClassExpressionsVer :: PrefixMap -> [ClassExpression] -> Doc Source #

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

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

quantifierType :: QuantifierType -> Doc Source #

cardinalityType :: CardinalityType -> Doc Source #

AnnotationsSection
EquivalentToSection
SubClassOfSection
DisjointWithSection
DisjointUnionOfSection
HasKeySection
DomainSection
RangeSection
CharacteristicsSection
SubPropertyOfSection
InverseOfSection
SubPropertyChainSection
TypesSection
FactsSection
SameAsSection
DifferentFromSection
EquivalentClassesSection
DisjointClassesSection
EquivalentDataPropertiesSection
EquivalentObjectPropertiesSection
DisjointDataPropertiesSection
DisjointObjectPropertiesSection
SameIndividualSection
DifferentIndividualsSection
RuleSection
DeclarationSection