Copyright	(c) Felix Gabriel Mance
License	GPLv2 or higher, see LICENSE.txt
Maintainer	f.mance@jacobs-university.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

OWL2.XMLConversion

Description

Conversion from Manchester Syntax to XML Syntax

Synopsis

showIRI :: IRI -> String
nullQN :: QName
nullElem :: Element
makeQN :: String -> QName
setContent :: [Element] -> Element -> Element
setText :: String -> Element -> Element
setQNPrefix :: String -> QName -> QName
setName :: String -> Element -> Element
setIRI :: IRI -> Element -> Element
mwIRI :: IRI -> Element
mwNameIRI :: String -> IRI -> Element
mwString :: String -> Element
makeElementWith1 :: String -> Element -> Element
makeElement :: String -> [Element] -> Element
mwText :: String -> Element
mwSimpleIRI :: IRI -> Element
make1 :: Bool -> String -> String -> (String -> IRI -> Element) -> IRI -> [([Element], Element)] -> [Element]
make2 :: Bool -> String -> (a -> Element) -> a -> [([Element], Element)] -> [Element]
setInt :: Int -> Element -> Element
correctFacet :: ConstrainingFacet -> ConstrainingFacet
setDt :: Bool -> IRI -> Element -> Element
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 :: [Annotation] -> [Element]
xmlAssertion :: IRI -> [Annotation] -> [Element]
xmlAxioms :: Axiom -> [Element]
xmlAtom :: Atom -> Element
xmlIndividualArg :: IndividualArg -> Element
xmlDataArg :: DataArg -> Element
xmlUnknownArg :: UnknownArg -> Element
mkElemeDecl :: Sign -> String -> (Sign -> Set IRI) -> [Element]
signToDec :: Sign -> [Element]
xmlImport :: ImportIRI -> Element
setPref :: String -> Element -> Element
set1Map :: (String, IRI) -> Element
xmlPrefixes :: PrefixMap -> [Element]
setOntIRI :: Maybe OntologyIRI -> Element -> Element
setOntVersionIRI :: Maybe OntologyIRI -> Element -> Element
setBase :: String -> Element -> Element
setXMLNS :: Element -> Element
xmlOntologyDoc :: Sign -> OntologyDocument -> Element
mkODoc :: Sign -> [Named Axiom] -> String

Documentation

showIRI :: IRI -> String Source #

prints the IRI

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

correctFacet :: ConstrainingFacet -> ConstrainingFacet Source #

the reverse of properFacet in OWL2.XML

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 #

xmlFVPair :: (ConstrainingFacet, RestrictionValue) -> Element Source #