| 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
- idToIRI :: Id -> QName
- idToAnonIRI :: Bool -> Id -> QName
- idToNumberedIRI :: Id -> Int -> QName
- idToAnonNumberedIRI :: Int -> Bool -> Id -> QName
- transString :: String -> String
- replaceChar :: Char -> String
Documentation
idToAnonIRI :: Bool -> Id -> QName
idToNumberedIRI :: Id -> Int -> QName
idToAnonNumberedIRI :: Int -> Bool -> Id -> QName
transString :: String -> String
translate to a valid OWL string
replaceChar :: Char -> String
injective replacement of special characters