Copyright	(c) Björn Gehrke
License	GPLv2 or higher, see LICENSE.txt
Maintainer	bjoern.gehrke@ovgu.de
Stability	provisional
Portability	portable
Safe Haskell	None

OWL2.ParseMS

Contents

description

Description

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

Synopsis

type Annotations = [Annotation]
comment :: CharParser st ()
skips :: CharParser st a -> CharParser st a
skipChar :: Char -> CharParser st ()
characters :: [Character]
owlKeywords :: [String]
ncNameStart :: Char -> Bool
ncNameChar :: Char -> Bool
prefix :: CharParser st String
atMost :: Int -> GenParser tok st a -> GenParser tok st [a]
atMost1 :: Int -> GenParser tok st a -> GenParser tok st [a]
uriQ :: CharParser st IRI
fullIri :: CharParser st IRI
expUriP :: PrefixMap -> CharParser st IRI
uriP :: CharParser st IRI
datatypeKey :: PrefixMap -> CharParser st IRI
dataPropertyExpr :: PrefixMap -> CharParser st DataPropertyExpression
datatypeUri :: PrefixMap -> CharParser st IRI
optSign :: CharParser st Bool
postDecimal :: CharParser st NNInt
getNNInt :: CharParser st NNInt
intLit :: CharParser st IntLit
booleanLit :: PrefixMap -> CharParser st Literal
decimalLit :: CharParser st DecLit
floatDecimal :: CharParser st DecLit
floatingPointLit :: CharParser st FloatLit
languageTag :: CharParser st String
rmQuotes :: String -> String
charOrEscaped :: CharParser st Char
stringLiteral :: PrefixMap -> CharParser st Literal
literal :: PrefixMap -> CharParser st Literal
owlClassUri :: PrefixMap -> CharParser st IRI
individualUri :: PrefixMap -> CharParser st IRI
individual :: PrefixMap -> CharParser st Individual
parensP :: CharParser st a -> CharParser st a
optParensP :: 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 :: PrefixMap -> CharParser st ClassExpression
objectPropertyExpr :: PrefixMap -> CharParser st ObjectPropertyExpression
parseProperties :: PrefixMap -> CharParser st ([ObjectPropertyExpression], [DataPropertyExpression])
facetValuePair :: PrefixMap -> CharParser st (ConstrainingFacet, RestrictionValue)
dataRangeRestriction :: PrefixMap -> CharParser st DataRange
parseFacetValuePairs :: PrefixMap -> CharParser st [(ConstrainingFacet, RestrictionValue)]
dataConjunct :: PrefixMap -> CharParser st DataRange
dataRange :: PrefixMap -> CharParser st DataRange
dataPrimary :: PrefixMap -> CharParser st DataRange
mkDataJunction :: JunctionType -> [DataRange] -> DataRange
someOrOnly :: CharParser st QuantifierType
card :: CharParser st (CardinalityType, Int)
individualOrConstant :: PrefixMap -> CharParser st (Either Individual Literal)
individualOrConstantList :: PrefixMap -> CharParser st (Either [Individual] [Literal])
primaryOrDataRange :: PrefixMap -> CharParser st (Either ClassExpression DataRange)
mkObjectJunction :: JunctionType -> [ClassExpression] -> ClassExpression
dataValuesFrom :: PrefixMap -> CharParser st ClassExpression
restrictionAny :: PrefixMap -> ObjectPropertyExpression -> CharParser st ClassExpression
restriction :: PrefixMap -> CharParser st ClassExpression
restrictionOrAtomic :: PrefixMap -> CharParser st ClassExpression
optNot :: (a -> a) -> CharParser st a -> CharParser st a
primary :: PrefixMap -> CharParser st ClassExpression
conjunction :: PrefixMap -> CharParser st ClassExpression
description :: PrefixMap -> CharParser st ClassExpression
annotationValue :: PrefixMap -> CharParser st AnnotationValue
equivOrDisjointL :: [EquivOrDisjoint]
objectPropertyCharacter :: PrefixMap -> ObjectPropertyExpression -> CharParser st ObjectPropertyAxiom
optAnnos :: PrefixMap -> CharParser st a -> CharParser st (Annotations, a)
optionalAnnos :: PrefixMap -> CharParser st Annotations
annotations :: PrefixMap -> CharParser st Annotations
descriptionAnnotatedList :: PrefixMap -> CharParser st [(Annotations, ClassExpression)]
annotationPropertyFrame :: PrefixMap -> CharParser st [Axiom]
apSection :: PrefixMap -> AnnotationProperty -> CharParser st [Axiom]
parseDatatypeFrame :: PrefixMap -> CharParser st [Axiom]
classFrame :: PrefixMap -> CharParser st [Axiom]
classFrameSection :: PrefixMap -> ClassExpression -> CharParser st [Axiom]
parseAnnotationAssertions :: PrefixMap -> AnnotationSubject -> CharParser st [Axiom]
objPropExprAList :: PrefixMap -> CharParser st [(Annotations, ObjectPropertyExpression)]
objectPropertyFrameSection :: PrefixMap -> ObjectPropertyExpression -> CharParser st [Axiom]
objectPropertyFrame :: PrefixMap -> CharParser st [Axiom]
dataPropExprAList :: PrefixMap -> CharParser st [(Annotations, DataPropertyExpression)]
dataFrameSection :: PrefixMap -> DataPropertyExpression -> CharParser st [Axiom]
dataPropertyFrame :: PrefixMap -> CharParser st [Axiom]
fact :: PrefixMap -> Individual -> CharParser st Assertion
iFrameSection :: PrefixMap -> Individual -> CharParser st [Axiom]
individualFrame :: PrefixMap -> CharParser st [Axiom]
parseEquivalentClasses :: PrefixMap -> CharParser st ClassAxiom
parseDisjointClasses :: PrefixMap -> CharParser st ClassAxiom
parseEquivalentObjectProperties :: PrefixMap -> CharParser st ObjectPropertyAxiom
parseDisjointObjectProperties :: PrefixMap -> CharParser st ObjectPropertyAxiom
parseSameIndividuals :: PrefixMap -> CharParser st Assertion
parseDifferentIndividuals :: PrefixMap -> CharParser st Assertion
misc :: PrefixMap -> CharParser st Axiom
parseVariable :: PrefixMap -> CharParser st Variable
parseNoVariable :: CharParser st a -> CharParser st a
parseClassExprAtom :: PrefixMap -> CharParser st Atom
parseClassAtom :: PrefixMap -> IRI -> CharParser st Atom
parseIArg :: PrefixMap -> CharParser st IndividualArg
parseObjectPropertyAtom :: PrefixMap -> IRI -> CharParser st Atom
parseDataPropertyAtom :: PrefixMap -> IRI -> CharParser st Atom
parseSameIndividualsAtom :: PrefixMap -> CharParser st Atom
parseDifferentIndividualsAtom :: PrefixMap -> CharParser st Atom
parseDArg :: PrefixMap -> CharParser st DataArg
parseBuiltInAtom :: PrefixMap -> IRI -> CharParser st Atom
parseUnknownArg :: PrefixMap -> CharParser st UnknownArg
parseUnknownAtom :: PrefixMap -> IRI -> CharParser st Atom
parseDataRangeAtom :: PrefixMap -> IRI -> CharParser st Atom
parseAtom :: PrefixMap -> CharParser st Atom
parseRule :: PrefixMap -> CharParser st Axiom
parseFrame :: PrefixMap -> CharParser st [Axiom]
importEntry :: PrefixMap -> CharParser st DirectlyImportsDocuments
parseOntology :: PrefixMap -> CharParser st Ontology
parsePrefixDeclaration :: CharParser st (String, IRI)
parseOntologyDocument :: PrefixMap -> CharParser st OntologyDocument

Documentation

type Annotations = [Annotation] Source #

comment :: CharParser st () Source #

Parses a comment

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

Skips whitespaces and comments

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

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 #

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 #

dataPropertyExpr :: PrefixMap -> CharParser st DataPropertyExpression 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 #

floatingPointLit :: CharParser st FloatLit 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

atomic :: PrefixMap -> CharParser st ClassExpression Source #

objectPropertyExpr :: PrefixMap -> CharParser st ObjectPropertyExpression Source #

parseProperties :: PrefixMap -> CharParser st ([ObjectPropertyExpression], [DataPropertyExpression]) Source #

facetValuePair :: PrefixMap -> CharParser st (ConstrainingFacet, RestrictionValue) Source #

dataRangeRestriction :: PrefixMap -> CharParser st DataRange Source #

parseFacetValuePairs :: PrefixMap -> CharParser st [(ConstrainingFacet, RestrictionValue)] Source #

dataConjunct :: PrefixMap -> CharParser st DataRange Source #

dataRange :: PrefixMap -> CharParser st DataRange Source #

dataPrimary :: PrefixMap -> CharParser st DataRange Source #

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

someOrOnly :: CharParser st QuantifierType Source #

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

individualOrConstant :: PrefixMap -> CharParser st (Either Individual Literal) 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)

primaryOrDataRange :: PrefixMap -> CharParser st (Either ClassExpression DataRange) Source #

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

dataValuesFrom :: PrefixMap -> CharParser st ClassExpression Source #

restrictionAny :: PrefixMap -> ObjectPropertyExpression -> CharParser st ClassExpression Source #

restriction :: PrefixMap -> CharParser st ClassExpression Source #

restrictionOrAtomic :: PrefixMap -> CharParser st ClassExpression Source #

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

primary :: PrefixMap -> CharParser st ClassExpression Source #

conjunction :: PrefixMap -> CharParser st ClassExpression Source #

description :: PrefixMap -> CharParser st ClassExpression Source #

annotationValue :: PrefixMap -> CharParser st AnnotationValue Source #

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

equivOrDisjointL :: [EquivOrDisjoint] Source #

objectPropertyCharacter :: PrefixMap -> ObjectPropertyExpression -> CharParser st ObjectPropertyAxiom Source #

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

optionalAnnos :: PrefixMap -> CharParser st Annotations Source #

annotations :: PrefixMap -> CharParser st Annotations Source #

descriptionAnnotatedList :: PrefixMap -> CharParser st [(Annotations, ClassExpression)] Source #

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

apSection :: PrefixMap -> AnnotationProperty -> CharParser st [Axiom] Source #

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

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

classFrameSection :: PrefixMap -> ClassExpression -> CharParser st [Axiom] Source #

parseAnnotationAssertions :: PrefixMap -> AnnotationSubject -> CharParser st [Axiom] Source #

objPropExprAList :: PrefixMap -> CharParser st [(Annotations, ObjectPropertyExpression)] Source #

objectPropertyFrameSection :: PrefixMap -> ObjectPropertyExpression -> CharParser st [Axiom] Source #

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

dataPropExprAList :: PrefixMap -> CharParser st [(Annotations, DataPropertyExpression)] Source #

dataFrameSection :: PrefixMap -> DataPropertyExpression -> 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 #

parseEquivalentClasses :: PrefixMap -> CharParser st ClassAxiom Source #

parseDisjointClasses :: PrefixMap -> CharParser st ClassAxiom Source #

parseEquivalentObjectProperties :: PrefixMap -> CharParser st ObjectPropertyAxiom Source #

parseDisjointObjectProperties :: PrefixMap -> CharParser st ObjectPropertyAxiom Source #

parseSameIndividuals :: PrefixMap -> CharParser st Assertion Source #

parseDifferentIndividuals :: PrefixMap -> CharParser st Assertion Source #

misc :: PrefixMap -> CharParser st Axiom Source #

parseVariable :: PrefixMap -> CharParser st Variable Source #

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

parseClassExprAtom :: PrefixMap -> CharParser st Atom Source #

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

parseIArg :: PrefixMap -> CharParser st IndividualArg Source #

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

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

parseSameIndividualsAtom :: PrefixMap -> CharParser st Atom Source #

parseDifferentIndividualsAtom :: PrefixMap -> CharParser st Atom Source #

parseDArg :: PrefixMap -> CharParser st DataArg Source #

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

parseUnknownArg :: PrefixMap -> CharParser st UnknownArg 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 #

importEntry :: PrefixMap -> CharParser st DirectlyImportsDocuments Source #

parseOntology :: PrefixMap -> CharParser st Ontology Source #

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

parseOntologyDocument :: PrefixMap -> CharParser st OntologyDocument Source #