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 Source #

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

nullQN :: QName Source #

nullElem :: Element Source #

makeQN :: String -> QName Source #

setContent :: [Element] -> Element -> Element Source #

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

setText :: String -> Element -> Element Source #

sets the content of an element to a given string

setQNPrefix :: String -> QName -> QName Source #

setName :: String -> Element -> Element Source #

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 Source #

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 Source #

mwNameIRI :: String -> IRI -> Element Source #

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

mwString :: String -> Element Source #

makes a new element with the given string as name

makeElementWith1 :: String -> Element -> Element Source #

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

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

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

mwText :: String -> Element Source #

mwSimpleIRI :: IRI -> Element Source #

makes a new element with the IRI as the text content

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

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] Source #

setInt :: Int -> Element -> Element Source #

sets the cardinality

setDt :: Bool -> IRI -> Element -> Element Source #

sets either a literal datatype or a facet

setLangTag :: Maybe LanguageTag -> Element -> Element Source #

xmlEntity :: Entity -> Element Source #

xmlLiteral :: Literal -> Element Source #

xmlIndividual :: IRI -> Element Source #

xmlSubject :: IRI -> Element Source #

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

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

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

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

xmlAxioms :: Axiom -> [Element] Source #

xmlFrames :: Frame -> [Element] Source #

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

signToDec :: Sign -> [Element] Source #

converts the signature to declarations

xmlImport :: ImportIRI -> Element Source #

setPref :: String -> Element -> Element Source #

set1Map :: (String, String) -> Element Source #

xmlPrefixes :: PrefixMap -> [Element] Source #

setOntIRI :: OntologyIRI -> Element -> Element Source #

setBase :: String -> Element -> Element Source #

setXMLNS :: Element -> Element Source #

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