| Copyright | (c) C. Maeder DFKI GmbH 2012 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
OWL2.Translate
Description
Synopsis
- idToAnonIRI :: Bool -> Id -> IRI
- idToNumberedIRI :: Id -> Int -> IRI
- idToAnonNumberedIRI :: Int -> Bool -> Id -> IRI
- transString :: String -> String
- replaceChar :: Char -> String
Documentation
idToAnonIRI :: Bool -> Id -> IRI Source #
idToNumberedIRI :: Id -> Int -> IRI Source #
idToAnonNumberedIRI :: Int -> Bool -> Id -> IRI Source #
transString :: String -> String Source #
translate to a valid OWL string
replaceChar :: Char -> String Source #
injective replacement of special characters