Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH Uni Bremen 2007-2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

OWL2.Parse

Contents

Description

Contains : Parser for the Manchester Syntax into Abstract Syntax of OWL 2

References : http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/

Synopsis

Documentation

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 #

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 #

dataConjunct :: CharParser st DataRange Source #

dataRange :: CharParser st DataRange Source #

dataPrimary :: CharParser st DataRange 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)

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

primary :: 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

subPropertyKey :: CharParser st () Source #

characterKey :: CharParser st () Source #

equivOrDisjointKeyword :: String -> CharParser st EquivOrDisjoint Source #

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

importEntry :: CharParser st IRI Source #

convertPrefixMap :: PrefixMap -> Map String String Source #