Hets - the Heterogeneous Tool Set

Copyright(c) Björn Gehrke
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerbjoern.gehrke@ovgu.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

OWL2.ParseMS

Contents

Description

Manchester Syntax parser References : https://www.w3.org/TR/owl2-manchester-syntax/

Synopsis

Documentation

comment :: CharParser st () Source #

Parses a comment

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

Skips whitespaces and comments

skipChar :: Char -> CharParser st () 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 #

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

uriQ :: CharParser st IRI Source #

fullIri :: CharParser st IRI Source #

expUriP :: PrefixMap -> CharParser st IRI Source #

uriP :: CharParser st IRI Source #

datatypeKey :: PrefixMap -> CharParser st IRI Source #

datatypeUri :: PrefixMap -> CharParser st IRI Source #

optSign :: CharParser st Bool Source #

postDecimal :: CharParser st NNInt Source #

getNNInt :: CharParser st NNInt Source #

intLit :: CharParser st IntLit Source #

booleanLit :: PrefixMap -> CharParser st Literal Source #

decimalLit :: CharParser st DecLit Source #

floatDecimal :: CharParser st DecLit Source #

languageTag :: CharParser st String Source #

rmQuotes :: String -> String Source #

charOrEscaped :: CharParser st Char Source #

stringLiteral :: PrefixMap -> CharParser st Literal Source #

literal :: PrefixMap -> CharParser st Literal Source #

description

owlClassUri :: PrefixMap -> CharParser st IRI Source #

individualUri :: PrefixMap -> CharParser st IRI Source #

individual :: PrefixMap -> CharParser st Individual Source #

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

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

dataRange :: PrefixMap -> CharParser st DataRange Source #

dataPrimary :: PrefixMap -> CharParser st DataRange Source #

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

individualOrConstantList :: PrefixMap -> 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 #

annotationValue :: PrefixMap -> CharParser st AnnotationValue Source #

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

optAnnos :: PrefixMap -> CharParser st a -> CharParser st (Annotations, a) Source #

parseDatatypeFrame :: PrefixMap -> CharParser st [Axiom] Source #

classFrame :: PrefixMap -> CharParser st [Axiom] Source #

dataPropertyFrame :: PrefixMap -> CharParser st [Axiom] Source #

fact :: PrefixMap -> Individual -> CharParser st Assertion Source #

iFrameSection :: PrefixMap -> Individual -> CharParser st [Axiom] Source #

individualFrame :: PrefixMap -> CharParser st [Axiom] Source #

misc :: PrefixMap -> CharParser st Axiom Source #

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

parseClassAtom :: PrefixMap -> IRI -> CharParser st Atom Source #

parseDArg :: PrefixMap -> CharParser st DataArg Source #

parseBuiltInAtom :: PrefixMap -> IRI -> CharParser st Atom Source #

parseUnknownAtom :: PrefixMap -> IRI -> CharParser st Atom Source #

parseDataRangeAtom :: PrefixMap -> IRI -> CharParser st Atom Source #

parseAtom :: PrefixMap -> CharParser st Atom Source #

parseRule :: PrefixMap -> CharParser st Axiom Source #

parseFrame :: PrefixMap -> CharParser st [Axiom] Source #

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