Hets - the Heterogeneous Tool Set

Copyright(c) Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.mance@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

OWL2.XMLConversion

Description

Conversion from Manchester Syntax to XML Syntax

Synopsis

Documentation

showIRI :: IRI -> String

prints the IRI with a colon separating the prefix and the local part

nullQN :: QName

nullElem :: Element

makeQN :: String -> QName

setContent :: [Element] -> Element -> Element

sets the content of an element to a list of given elements

setText :: String -> Element -> Element

sets the content of an element to a given string

setQNPrefix :: String -> QName -> QName

setName :: String -> Element -> Element

sets the name of an element to a given string and the namespace to http://www.w3.org/2002/07/owl#

setIRI :: IRI -> Element -> Element

sets the attribute key to one of IRI, abbreviatedIRI or nodeID and the attribute value to the actual content of the IRI

mwIRI :: IRI -> Element

mwNameIRI :: String -> IRI -> Element

makes an element with the string as name and the IRI as content

mwString :: String -> Element

makes a new element with the given string as name

makeElementWith1 :: String -> Element -> Element

makes a new element with the string as name and an element as content

makeElement :: String -> [Element] -> Element

makes a new element with the string as name and the list of elements as content

mwText :: String -> Element

mwSimpleIRI :: IRI -> Element

makes a new element with the IRI as the text content

make1 :: Bool -> String -> String -> (String -> IRI -> Element) -> IRI -> [([Element], Element)] -> [Element]

generates a list of elements, all with the first string as name, and each with the content in this order: first, the list of elements in the given pair (usually annotations) and second, the result of the application of the function (given as fourth argument) on the second string and the given IRI

make2 :: Bool -> String -> (a -> Element) -> a -> [([Element], Element)] -> [Element]

setInt :: Int -> Element -> Element

sets the cardinality

correctFacet :: ConstrainingFacet -> ConstrainingFacet

the reverse of properFacet in OWL2.XML

setDt :: Bool -> IRI -> Element -> Element

sets either a literal datatype or a facet

setLangTag :: Maybe LanguageTag -> Element -> Element

xmlEntity :: Entity -> Element

xmlLiteral :: Literal -> Element

xmlIndividual :: IRI -> Element

xmlFVPair :: (ConstrainingFacet, RestrictionValue) -> Element

xmlObjProp :: ObjectPropertyExpression -> Element

xmlDataRange :: DataRange -> Element

xmlClassExpression :: ClassExpression -> Element

xmlAnnotation :: Annotation -> Element

xmlSubject :: IRI -> Element

xmlAnnotations :: Annotations -> [Element]

xmlAL :: (a -> Element) -> AnnotatedList a -> [([Element], Element)]

xmlLFB :: Extended -> Maybe Relation -> ListFrameBit -> [Element]

xmlAssertion :: IRI -> Annotations -> [Element]

xmlAFB :: Extended -> Annotations -> AnnFrameBit -> [Element]

xmlFrameBit :: Extended -> FrameBit -> [Element]

xmlAxioms :: Axiom -> [Element]

xmlFrames :: Frame -> [Element]

mkElemeDecl :: Sign -> String -> (Sign -> Set IRI) -> [Element]

signToDec :: Sign -> [Element]

converts the signature to declarations

xmlImport :: ImportIRI -> Element

setPref :: String -> Element -> Element

set1Map :: (String, String) -> Element

xmlPrefixes :: PrefixMap -> [Element]

setOntIRI :: OntologyIRI -> Element -> Element

setBase :: String -> Element -> Element

setXMLNS :: Element -> Element

xmlOntologyDoc :: Sign -> OntologyDocument -> Element

mkODoc :: Sign -> [Named Axiom] -> String