Copyright	(c) DFKI GmbH Uni Bremen 2007-2010
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

OWL2.Parse

Contents

description

Description

Synopsis

characters :: [Character]
owlKeywords :: [String]
ncNameStart :: Char -> Bool
ncNameChar :: Char -> Bool
prefix :: CharParser st String
iunreserved :: Char -> Bool
pctEncoded :: CharParser st String
subDelims :: Char -> Bool
iunreservedSubDelims :: String -> CharParser st Char
iunreservedPctEncodedSubDelims :: String -> CharParser st String
ipChar :: CharParser st String
ifragment :: CharParser st String
iquery :: CharParser st String
iregName :: CharParser st String
iuserinfo :: CharParser st String
atMost :: Int -> GenParser tok st a -> GenParser tok st [a]
atMost1 :: Int -> GenParser tok st a -> GenParser tok st [a]
decOctet :: CharParser st String
iPv4Adress :: CharParser st String
ihost :: CharParser st String
port :: CharParser st String
iauthority :: CharParser st String
isegment :: CharParser st String
isegmentNz :: CharParser st String
ipathAbempty :: CharParser st String
ipathAbsolute :: CharParser st String
ipathRootless :: CharParser st String
iauthorityWithPath :: CharParser st String
optQueryOrFrag :: CharParser st String
ihierPart :: CharParser st String
hierPartWithOpts :: CharParser st String
skips :: CharParser st a -> CharParser st a
uriQ :: CharParser st IRI
fullIri :: CharParser st IRI
uriP :: CharParser st IRI
extEntity :: CharParser st ExtEntityType
symbItem :: GenParser Char st SymbItems
symbItems :: GenParser Char st SymbItems
symbs :: GenParser Char st [IRI]
symbMapItems :: GenParser Char st SymbMapItems
symbPairs :: GenParser Char st [(IRI, Maybe IRI)]
uriPair :: GenParser Char st (IRI, Maybe IRI)
datatypeUri :: CharParser st IRI
optSign :: CharParser st Bool
postDecimal :: CharParser st NNInt
getNNInt :: CharParser st NNInt
intLit :: CharParser st IntLit
decimalLit :: CharParser st DecLit
floatDecimal :: CharParser st DecLit
floatingPointLit :: CharParser st FloatLit
languageTag :: CharParser st String
rmQuotes :: String -> String
stringLiteral :: CharParser st Literal
literal :: CharParser st Literal
owlClassUri :: CharParser st IRI
individualUri :: CharParser st IRI
individual :: CharParser st Individual
skipChar :: Char -> CharParser st ()
parensP :: CharParser st a -> CharParser st a
bracesP :: CharParser st a -> CharParser st a
bracketsP :: CharParser st a -> CharParser st a
commaP :: CharParser st ()
sepByComma :: CharParser st a -> CharParser st [a]
pkeyword :: String -> CharParser st ()
keywordNotFollowedBy :: String -> CharParser st Char -> CharParser st String
keyword :: String -> CharParser st String
atomic :: CharParser st ClassExpression
objectPropertyExpr :: CharParser st ObjectPropertyExpression
facetValuePair :: CharParser st (ConstrainingFacet, RestrictionValue)
dataRangeRestriction :: CharParser st DataRange
dataConjunct :: CharParser st DataRange
dataRange :: CharParser st DataRange
dataPrimary :: CharParser st DataRange
mkDataJunction :: JunctionType -> [DataRange] -> DataRange
someOrOnly :: CharParser st QuantifierType
card :: CharParser st (CardinalityType, Int)
individualOrConstant :: CharParser st (Either Individual Literal)
individualOrConstantList :: CharParser st (Either [Individual] [Literal])
primaryOrDataRange :: CharParser st (Either ClassExpression DataRange)
mkObjectJunction :: JunctionType -> [ClassExpression] -> ClassExpression
restrictionAny :: ObjectPropertyExpression -> CharParser st ClassExpression
restriction :: CharParser st ClassExpression
restrictionOrAtomic :: CharParser st ClassExpression
optNot :: (a -> a) -> CharParser st a -> CharParser st a
primary :: CharParser st ClassExpression
conjunction :: CharParser st ClassExpression
description :: CharParser st ClassExpression
entityType :: CharParser st EntityType
annotationValue :: CharParser st AnnotationValue
equivOrDisjointL :: [EquivOrDisjoint]
equivOrDisjoint :: CharParser st EquivOrDisjoint
subPropertyKey :: CharParser st ()
characterKey :: CharParser st ()
sameOrDifferent :: CharParser st SameOrDifferent
sameOrDifferentIndu :: CharParser st SameOrDifferent
equivOrDisjointKeyword :: String -> CharParser st EquivOrDisjoint
objectPropertyCharacter :: CharParser st Character
domainOrRange :: CharParser st DomainOrRange
nsEntry :: CharParser st (String, IRI)
importEntry :: CharParser st IRI
convertPrefixMap :: PrefixMap -> Map String String

Documentation

characters :: [Character] Source #

owlKeywords :: [String] Source #

OWL and CASL structured keywords including andS and notS

ncNameStart :: Char -> Bool Source #

ncNameChar :: Char -> Bool Source #

rfc3987 plus + from scheme (scheme does not allow the dots)

prefix :: CharParser st String Source #

iunreserved :: Char -> Bool Source #

pctEncoded :: CharParser st String Source #

subDelims :: Char -> Bool Source #

iunreservedSubDelims :: String -> CharParser st Char Source #

iunreservedPctEncodedSubDelims :: String -> CharParser st String Source #

ipChar :: CharParser st String Source #

ifragment :: CharParser st String Source #

iquery :: CharParser st String Source #

iregName :: CharParser st String Source #

iuserinfo :: CharParser st String Source #

atMost :: Int -> GenParser tok st a -> GenParser tok st [a] Source #

parse zero or at most n consecutive arguments

atMost1 :: Int -> GenParser tok st a -> GenParser tok st [a] Source #

parse at least one but at most n conse

decOctet :: CharParser st String Source #

iPv4Adress :: CharParser st String Source #

ihost :: CharParser st String Source #

port :: CharParser st String Source #

iauthority :: CharParser st String Source #

isegment :: CharParser st String Source #

isegmentNz :: CharParser st String Source #

ipathAbempty :: CharParser st String Source #

ipathAbsolute :: CharParser st String Source #

ipathRootless :: CharParser st String Source #

iauthorityWithPath :: CharParser st String Source #

optQueryOrFrag :: CharParser st String Source #

ihierPart :: CharParser st String Source #

covers irelative-part (therefore we omit curie)

hierPartWithOpts :: CharParser st String Source #

skips :: CharParser st a -> CharParser st a Source #

uriQ :: CharParser st IRI Source #

fullIri :: CharParser st IRI Source #

uriP :: CharParser st IRI Source #

extEntity :: CharParser st ExtEntityType Source #

symbItem :: GenParser Char st SymbItems Source #

symbItems :: GenParser Char st SymbItems Source #

symbs :: GenParser Char st [IRI] Source #

parse a comma separated list of uris

symbMapItems :: GenParser Char st SymbMapItems Source #

parse a possibly kinded list of comma separated symbol pairs

symbPairs :: GenParser Char st [(IRI, Maybe IRI)] Source #

parse a comma separated list of uri pairs

uriPair :: GenParser Char st (IRI, Maybe IRI) Source #

datatypeUri :: CharParser st IRI Source #

optSign :: CharParser st Bool Source #

postDecimal :: CharParser st NNInt Source #

getNNInt :: CharParser st NNInt Source #

intLit :: CharParser st IntLit Source #

decimalLit :: CharParser st DecLit Source #

floatDecimal :: CharParser st DecLit Source #

floatingPointLit :: CharParser st FloatLit Source #

languageTag :: CharParser st String Source #

rmQuotes :: String -> String Source #

stringLiteral :: CharParser st Literal Source #

literal :: CharParser st Literal Source #

description

owlClassUri :: CharParser st IRI Source #

individualUri :: CharParser st IRI Source #

individual :: CharParser st Individual Source #

skipChar :: Char -> CharParser st () Source #

parensP :: CharParser st a -> CharParser st a Source #

bracesP :: CharParser st a -> CharParser st a Source #

bracketsP :: CharParser st a -> CharParser st a Source #

commaP :: CharParser st () Source #

sepByComma :: CharParser st a -> CharParser st [a] Source #

pkeyword :: String -> CharParser st () Source #

plain string parser with skip

keywordNotFollowedBy :: String -> CharParser st Char -> CharParser st String Source #

keyword :: String -> CharParser st String Source #

keyword not followed by any alphanum

atomic :: CharParser st ClassExpression Source #

objectPropertyExpr :: CharParser st ObjectPropertyExpression Source #

facetValuePair :: CharParser st (ConstrainingFacet, RestrictionValue) Source #

dataRangeRestriction :: CharParser st DataRange Source #

dataConjunct :: CharParser st DataRange Source #

dataRange :: CharParser st DataRange Source #

dataPrimary :: CharParser st DataRange Source #

mkDataJunction :: JunctionType -> [DataRange] -> DataRange Source #

someOrOnly :: CharParser st QuantifierType Source #

card :: CharParser st (CardinalityType, Int) Source #

individualOrConstant :: CharParser st (Either Individual Literal) Source #

individualOrConstantList :: CharParser st (Either [Individual] [Literal]) Source #

applies the previous one to a list separated by commas (the list needs to be all of the same type, of course)

primaryOrDataRange :: CharParser st (Either ClassExpression DataRange) Source #

mkObjectJunction :: JunctionType -> [ClassExpression] -> ClassExpression Source #

restrictionAny :: ObjectPropertyExpression -> CharParser st ClassExpression Source #

restriction :: CharParser st ClassExpression Source #

restrictionOrAtomic :: CharParser st ClassExpression Source #

optNot :: (a -> a) -> CharParser st a -> CharParser st a Source #

primary :: CharParser st ClassExpression Source #

conjunction :: CharParser st ClassExpression Source #

description :: CharParser st ClassExpression Source #

entityType :: CharParser st EntityType Source #

annotationValue :: CharParser st AnnotationValue Source #

same as annotation Target in Manchester Syntax, named annotation Value in Abstract Syntax

equivOrDisjointL :: [EquivOrDisjoint] Source #

equivOrDisjoint :: CharParser st EquivOrDisjoint Source #

subPropertyKey :: CharParser st () Source #

characterKey :: CharParser st () Source #

sameOrDifferent :: CharParser st SameOrDifferent Source #

sameOrDifferentIndu :: CharParser st SameOrDifferent Source #

equivOrDisjointKeyword :: String -> CharParser st EquivOrDisjoint Source #

objectPropertyCharacter :: CharParser st Character Source #

domainOrRange :: CharParser st DomainOrRange Source #

nsEntry :: CharParser st (String, IRI) Source #

importEntry :: CharParser st IRI Source #

convertPrefixMap :: PrefixMap -> Map String String Source #