| 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.Rename
Description
Renames prefixes in OntologyDocuments, so that there are no prefix clashes
Synopsis
- testAndInteg :: (String, String) -> (PrefixMap, StringMap) -> (PrefixMap, StringMap)
- disambiguateName :: String -> PrefixMap -> String
- uniteSign :: Sign -> Sign -> Result Sign
- intersectSign :: Sign -> Sign -> Result Sign
- integPref :: PrefixMap -> PrefixMap -> (PrefixMap, StringMap)
- newOid :: Maybe OntologyIRI -> Maybe OntologyIRI -> Maybe OntologyIRI
- combineDoc :: OntologyDocument -> OntologyDocument -> OntologyDocument
- uriToName :: String -> String
- unifyWith1 :: OntologyDocument -> [OntologyDocument] -> [OntologyDocument]
- unifyTwo :: OntologyDocument -> OntologyDocument -> (OntologyDocument, OntologyDocument)
- unifyDocs :: [OntologyDocument] -> [OntologyDocument]
Documentation
disambiguateName :: String -> PrefixMap -> String Source #
newOid :: Maybe OntologyIRI -> Maybe OntologyIRI -> Maybe OntologyIRI Source #
unifyWith1 :: OntologyDocument -> [OntologyDocument] -> [OntologyDocument] Source #
unifyTwo :: OntologyDocument -> OntologyDocument -> (OntologyDocument, OntologyDocument) Source #
takes 2 docs and returns as snd the corrected first one and as fst the merge of the two
unifyDocs :: [OntologyDocument] -> [OntologyDocument] Source #