Safe Haskell	Safe

OWL2.PrintAS

Synopsis

sParens :: Doc -> Doc
printIRI :: PrefixMap -> IRI -> Doc
printDataIRI :: PrefixMap -> IRI -> Doc
printLiteral :: PrefixMap -> Literal -> Doc
escapeString :: String -> String
printObjectPropertyExpression :: PrefixMap -> ObjectPropertyExpression -> Doc
printEntity :: PrefixMap -> Entity -> Doc
printDataRange :: PrefixMap -> DataRange -> Doc
printDataRestriction :: PrefixMap -> Datatype -> [(ConstrainingFacet, RestrictionValue)] -> Doc
printDataJunction :: PrefixMap -> JunctionType -> [DataRange] -> Doc
printDataComplementOf :: PrefixMap -> DataRange -> Doc
printDataOneOf :: PrefixMap -> [Literal] -> Doc
printClassExpression :: PrefixMap -> ClassExpression -> Doc
printObjectJunction :: PrefixMap -> JunctionType -> [ClassExpression] -> Doc
printObjectComplementOf :: PrefixMap -> ClassExpression -> Doc
printObjectOneOf :: PrefixMap -> [Individual] -> Doc
printObjectValuesFrom :: PrefixMap -> QuantifierType -> ObjectPropertyExpression -> ClassExpression -> Doc
printObjectHasValue :: PrefixMap -> ObjectPropertyExpression -> Individual -> Doc
printObjectHasSelf :: PrefixMap -> ObjectPropertyExpression -> Doc
printObjectCardinality :: PrefixMap -> Cardinality ObjectPropertyExpression ClassExpression -> Doc
printDataValuesFrom :: PrefixMap -> QuantifierType -> [DataPropertyExpression] -> DataRange -> Doc
printDataCardinality :: PrefixMap -> Cardinality DataPropertyExpression DataRange -> Doc
printDataHasValue :: PrefixMap -> DataPropertyExpression -> Literal -> Doc
printAnnotationValue :: PrefixMap -> AnnotationValue -> Doc
printAnnotation :: PrefixMap -> Annotation -> Doc
printAnnotationSubject :: PrefixMap -> AnnotationSubject -> Doc
printAxiom :: PrefixMap -> Axiom -> Doc
printDeclaration :: PrefixMap -> AxiomAnnotations -> Entity -> Doc
printClassAxiom :: PrefixMap -> ClassAxiom -> Doc
printSubClassOf :: PrefixMap -> AxiomAnnotations -> SubClassExpression -> SuperClassExpression -> Doc
printEquivalentClasses :: PrefixMap -> AxiomAnnotations -> [ClassExpression] -> Doc
printDisjointClasses :: PrefixMap -> AxiomAnnotations -> [ClassExpression] -> Doc
printDisjointUnion :: PrefixMap -> AxiomAnnotations -> Class -> DisjointClassExpression -> Doc
printSubObjectPropertyExpression :: PrefixMap -> SubObjectPropertyExpression -> Doc
printObjectPropertyAxiom :: PrefixMap -> ObjectPropertyAxiom -> Doc
printSubObjectPropertyOf :: PrefixMap -> AxiomAnnotations -> SubObjectPropertyExpression -> SuperObjectPropertyExpression -> Doc
printEquivalentObjectProperties :: PrefixMap -> AxiomAnnotations -> [ObjectPropertyExpression] -> Doc
printDisjointObjectProperties :: PrefixMap -> AxiomAnnotations -> [ObjectPropertyExpression] -> Doc
printInverseObjectProperties :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> ObjectPropertyExpression -> Doc
printObjectPropertyDomain :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> ClassExpression -> Doc
printObjectPropertyRange :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> ClassExpression -> Doc
printFunctionalObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc
printInverseFunctionalObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc
printReflexiveObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc
printIrreflexiveObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc
printSymmetricObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc
printAsymmetricObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc
printTransitiveObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc
printDataPropertyAxiom :: PrefixMap -> DataPropertyAxiom -> Doc
printSubDataPropertyOf :: PrefixMap -> AxiomAnnotations -> SubDataPropertyExpression -> SuperDataPropertyExpression -> Doc
printEquivalentDataProperties :: PrefixMap -> AxiomAnnotations -> [DataPropertyExpression] -> Doc
printDisjointDataProperties :: PrefixMap -> AxiomAnnotations -> [DataPropertyExpression] -> Doc
printDataPropertyDomain :: PrefixMap -> AxiomAnnotations -> DataPropertyExpression -> ClassExpression -> Doc
printDataPropertyRange :: PrefixMap -> AxiomAnnotations -> DataPropertyExpression -> DataRange -> Doc
printFunctionalDataProperty :: PrefixMap -> AxiomAnnotations -> DataPropertyExpression -> Doc
printDatatypeDefinition :: PrefixMap -> AxiomAnnotations -> Datatype -> DataRange -> Doc
printHasKey :: PrefixMap -> AxiomAnnotations -> ClassExpression -> [ObjectPropertyExpression] -> [DataPropertyExpression] -> Doc
printAssertion :: PrefixMap -> Assertion -> Doc
printSameIndividual :: PrefixMap -> AxiomAnnotations -> [Individual] -> Doc
printDifferentIndividuals :: PrefixMap -> AxiomAnnotations -> [Individual] -> Doc
printClassAssertion :: PrefixMap -> AxiomAnnotations -> ClassExpression -> Individual -> Doc
printObjectPropertyAssertion :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> SourceIndividual -> TargetIndividual -> Doc
printNegativeObjectPropertyAssertion :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> SourceIndividual -> TargetIndividual -> Doc
printDataPropertyAssertion :: PrefixMap -> AxiomAnnotations -> DataPropertyExpression -> SourceIndividual -> TargetValue -> Doc
printNegativeDataPropertyAssertion :: PrefixMap -> AxiomAnnotations -> DataPropertyExpression -> SourceIndividual -> TargetValue -> Doc
printAnnotationAxiom :: PrefixMap -> AnnotationAxiom -> Doc
printAnnotationAssertion :: PrefixMap -> AxiomAnnotations -> AnnotationProperty -> AnnotationSubject -> AnnotationValue -> Doc
printSubAnnotationPropertyOf :: PrefixMap -> AxiomAnnotations -> SubAnnotationProperty -> SuperAnnotationProperty -> Doc
printAnnotationPropertyDomain :: PrefixMap -> AxiomAnnotations -> AnnotationProperty -> IRI -> Doc
printAnnotationPropertyRange :: PrefixMap -> AxiomAnnotations -> AnnotationProperty -> IRI -> Doc
printDLSafeRule :: PrefixMap -> AxiomAnnotations -> Body -> Head -> Doc
printDLSafeRuleHead :: PrefixMap -> Head -> Doc
printDLSafeRuleBody :: PrefixMap -> Body -> Doc
printAtom :: PrefixMap -> Atom -> Doc
printClassAtom :: PrefixMap -> ClassExpression -> IndividualArg -> Doc
printDataRangeAtom :: PrefixMap -> DataRange -> DataArg -> Doc
printObjectPropertyAtom :: PrefixMap -> ObjectPropertyExpression -> IndividualArg -> IndividualArg -> Doc
printDataPropertyAtom :: PrefixMap -> DataProperty -> IndividualArg -> DataArg -> Doc
printBuiltInAtom :: PrefixMap -> IRI -> [DataArg] -> Doc
printSameIndividualAtom :: PrefixMap -> IndividualArg -> IndividualArg -> Doc
printDifferentIndividualsAtom :: PrefixMap -> IndividualArg -> IndividualArg -> Doc
printIndividualArg :: PrefixMap -> IndividualArg -> Doc
printDataArg :: PrefixMap -> DataArg -> Doc
printDGRule :: PrefixMap -> AxiomAnnotations -> DGBody -> DGHead -> Doc
printDGHead :: PrefixMap -> DGHead -> Doc
printDGBody :: PrefixMap -> DGBody -> Doc
printDGAtom :: PrefixMap -> DGAtom -> Doc
printDGAxiom :: PrefixMap -> AxiomAnnotations -> DGName -> DGNodes -> DGEdges -> MainClasses -> Doc
printDGNodes :: PrefixMap -> DGNodes -> Doc
printDGEdges :: PrefixMap -> DGEdges -> Doc
printDGNodeAssertion :: PrefixMap -> DGNodeAssertion -> Doc
printDGEdgeAssertion :: PrefixMap -> DGEdgeAssertion -> Doc
printMainClasses :: PrefixMap -> MainClasses -> Doc
printPrefixDeclaration :: (String, IRI) -> Doc
printOnt :: PrefixMap -> Ontology -> Doc
printOntologyDocument :: OntologyDocument -> Doc

Documentation

sParens :: Doc -> Doc Source #

auxiliary parens function

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

print IRI

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

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

print Literal

escapeString :: String -> String Source #

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

print PropertyExpression

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

print Entity

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

print DataRanges

printDataRestriction :: PrefixMap -> Datatype -> [(ConstrainingFacet, RestrictionValue)] -> Doc Source #

printDataJunction :: PrefixMap -> JunctionType -> [DataRange] -> Doc Source #

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

printDataOneOf :: PrefixMap -> [Literal] -> Doc Source #

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

print ClassExpressions

printObjectJunction :: PrefixMap -> JunctionType -> [ClassExpression] -> Doc Source #

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

printObjectOneOf :: PrefixMap -> [Individual] -> Doc Source #

printObjectValuesFrom :: PrefixMap -> QuantifierType -> ObjectPropertyExpression -> ClassExpression -> Doc Source #

printObjectHasValue :: PrefixMap -> ObjectPropertyExpression -> Individual -> Doc Source #

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

printObjectCardinality :: PrefixMap -> Cardinality ObjectPropertyExpression ClassExpression -> Doc Source #

printDataValuesFrom :: PrefixMap -> QuantifierType -> [DataPropertyExpression] -> DataRange -> Doc Source #

printDataCardinality :: PrefixMap -> Cardinality DataPropertyExpression DataRange -> Doc Source #

printDataHasValue :: PrefixMap -> DataPropertyExpression -> Literal -> Doc Source #

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

print Annotations

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

printAnnotationSubject :: PrefixMap -> AnnotationSubject -> Doc Source #

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

print Axioms

printDeclaration :: PrefixMap -> AxiomAnnotations -> Entity -> Doc Source #

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

print ClassAxiom

printSubClassOf :: PrefixMap -> AxiomAnnotations -> SubClassExpression -> SuperClassExpression -> Doc Source #

printEquivalentClasses :: PrefixMap -> AxiomAnnotations -> [ClassExpression] -> Doc Source #

printDisjointClasses :: PrefixMap -> AxiomAnnotations -> [ClassExpression] -> Doc Source #

printDisjointUnion :: PrefixMap -> AxiomAnnotations -> Class -> DisjointClassExpression -> Doc Source #

printSubObjectPropertyExpression :: PrefixMap -> SubObjectPropertyExpression -> Doc Source #

print SubObjectProperyExpression

printObjectPropertyAxiom :: PrefixMap -> ObjectPropertyAxiom -> Doc Source #

print ObjectPropertyAxiom

printSubObjectPropertyOf :: PrefixMap -> AxiomAnnotations -> SubObjectPropertyExpression -> SuperObjectPropertyExpression -> Doc Source #

printEquivalentObjectProperties :: PrefixMap -> AxiomAnnotations -> [ObjectPropertyExpression] -> Doc Source #

printDisjointObjectProperties :: PrefixMap -> AxiomAnnotations -> [ObjectPropertyExpression] -> Doc Source #

printInverseObjectProperties :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> ObjectPropertyExpression -> Doc Source #

printObjectPropertyDomain :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> ClassExpression -> Doc Source #

printObjectPropertyRange :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> ClassExpression -> Doc Source #

printFunctionalObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc Source #

printInverseFunctionalObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc Source #

printReflexiveObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc Source #

printIrreflexiveObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc Source #

printSymmetricObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc Source #

printAsymmetricObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc Source #

printTransitiveObjectProperty :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> Doc Source #

printDataPropertyAxiom :: PrefixMap -> DataPropertyAxiom -> Doc Source #

print DataPropertyAxiom

printSubDataPropertyOf :: PrefixMap -> AxiomAnnotations -> SubDataPropertyExpression -> SuperDataPropertyExpression -> Doc Source #

printEquivalentDataProperties :: PrefixMap -> AxiomAnnotations -> [DataPropertyExpression] -> Doc Source #

printDisjointDataProperties :: PrefixMap -> AxiomAnnotations -> [DataPropertyExpression] -> Doc Source #

printDataPropertyDomain :: PrefixMap -> AxiomAnnotations -> DataPropertyExpression -> ClassExpression -> Doc Source #

printDataPropertyRange :: PrefixMap -> AxiomAnnotations -> DataPropertyExpression -> DataRange -> Doc Source #

printFunctionalDataProperty :: PrefixMap -> AxiomAnnotations -> DataPropertyExpression -> Doc Source #

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

print DatatypeDefinition axiom

printHasKey :: PrefixMap -> AxiomAnnotations -> ClassExpression -> [ObjectPropertyExpression] -> [DataPropertyExpression] -> Doc Source #

print HasKey axiom

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

print Assertion axiom

printSameIndividual :: PrefixMap -> AxiomAnnotations -> [Individual] -> Doc Source #

printDifferentIndividuals :: PrefixMap -> AxiomAnnotations -> [Individual] -> Doc Source #

printClassAssertion :: PrefixMap -> AxiomAnnotations -> ClassExpression -> Individual -> Doc Source #

printObjectPropertyAssertion :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> SourceIndividual -> TargetIndividual -> Doc Source #

printNegativeObjectPropertyAssertion :: PrefixMap -> AxiomAnnotations -> ObjectPropertyExpression -> SourceIndividual -> TargetIndividual -> Doc Source #

printDataPropertyAssertion :: PrefixMap -> AxiomAnnotations -> DataPropertyExpression -> SourceIndividual -> TargetValue -> Doc Source #

printNegativeDataPropertyAssertion :: PrefixMap -> AxiomAnnotations -> DataPropertyExpression -> SourceIndividual -> TargetValue -> Doc Source #

printAnnotationAxiom :: PrefixMap -> AnnotationAxiom -> Doc Source #

print AnnotationAxiom

printAnnotationAssertion :: PrefixMap -> AxiomAnnotations -> AnnotationProperty -> AnnotationSubject -> AnnotationValue -> Doc Source #

printSubAnnotationPropertyOf :: PrefixMap -> AxiomAnnotations -> SubAnnotationProperty -> SuperAnnotationProperty -> Doc Source #

printAnnotationPropertyDomain :: PrefixMap -> AxiomAnnotations -> AnnotationProperty -> IRI -> Doc Source #

printAnnotationPropertyRange :: PrefixMap -> AxiomAnnotations -> AnnotationProperty -> IRI -> Doc Source #

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

print DLSafeRules

printDLSafeRuleHead :: PrefixMap -> Head -> Doc Source #

printDLSafeRuleBody :: PrefixMap -> Body -> Doc Source #

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

printClassAtom :: PrefixMap -> ClassExpression -> IndividualArg -> Doc Source #

printDataRangeAtom :: PrefixMap -> DataRange -> DataArg -> Doc Source #

printObjectPropertyAtom :: PrefixMap -> ObjectPropertyExpression -> IndividualArg -> IndividualArg -> Doc Source #

printDataPropertyAtom :: PrefixMap -> DataProperty -> IndividualArg -> DataArg -> Doc Source #

printBuiltInAtom :: PrefixMap -> IRI -> [DataArg] -> Doc Source #

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

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

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

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

printDGRule :: PrefixMap -> AxiomAnnotations -> DGBody -> DGHead -> Doc Source #

print DGRules

printDGHead :: PrefixMap -> DGHead -> Doc Source #

printDGBody :: PrefixMap -> DGBody -> Doc Source #

printDGAtom :: PrefixMap -> DGAtom -> Doc Source #

printDGAxiom :: PrefixMap -> AxiomAnnotations -> DGName -> DGNodes -> DGEdges -> MainClasses -> Doc Source #

print DGAxiom

printDGNodes :: PrefixMap -> DGNodes -> Doc Source #

printDGEdges :: PrefixMap -> DGEdges -> Doc Source #

printDGNodeAssertion :: PrefixMap -> DGNodeAssertion -> Doc Source #

printDGEdgeAssertion :: PrefixMap -> DGEdgeAssertion -> Doc Source #

printMainClasses :: PrefixMap -> MainClasses -> Doc Source #

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

print Root

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

printOntologyDocument :: OntologyDocument -> Doc Source #