Hets - the Heterogeneous Tool Set

Safe HaskellNone

OWL2.ParseAS

Synopsis

Documentation

followedBy :: CharParser st b -> CharParser st a -> CharParser st a Source #

followedBy c p first parses p then looks ahead for c. Doesn't consume any input on failure.

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

Performs an arbitrary lookahead over choices of parsers

manyN :: Int -> CharParser st a -> CharParser st [a] Source #

manyN n p parses n or more occurences of p

never :: CharParser st (Maybe a) Source #

alias for return Nothing

comment :: CharParser st String Source #

Parses a comment

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

Skips trailing whitespaces and comments

skips' :: CharParser st () Source #

Skips whitespaces and comments

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

Parses plain string with skip

fullIri :: CharParser st IRI Source #

Parses a full iri

ncNameStart :: Char -> Bool Source #

ncNameChar :: Char -> Bool Source #

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

prefix :: CharParser st String Source #

Parses a prefix name (PNAME_NS of SPARQL)

parseIRI :: PrefixMap -> CharParser st IRI Source #

Parses an abbreviated or full iri

parseEnclosedWithKeyword :: String -> CharParser st a -> CharParser st a Source #

parseEnclosedWithKeyword k p parses the keyword k followed p enclosed in parentheses. Skips spaces and comments before and after p.

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

parseEntity' :: PrefixMap -> EntityType -> String -> CharParser st Entity Source #

parseEntity :: PrefixMap -> CharParser st Entity Source #

charOrEscaped :: CharParser st Char Source #

parseLanguageTag :: CharParser st String Source #

parseLiteral :: PrefixMap -> CharParser st Literal Source #

parseDataJunction' :: PrefixMap -> String -> JunctionType -> CharParser st DataRange Source #

parseCardinality' :: CardinalityType -> String -> CharParser st a -> CharParser st b -> CharParser st (Cardinality a b) Source #

parseClassAxiom :: PrefixMap -> CharParser st Axiom Source #

parseCOPA :: PrefixMap -> (AxiomAnnotations -> ObjectPropertyExpression -> ObjectPropertyAxiom) -> String -> CharParser st ObjectPropertyAxiom Source #

Helper function for *C*ommon*O*bject*P*roperty*A*xioms

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

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

parseHasKey :: PrefixMap -> CharParser st Axiom Source #

parseAssertion :: PrefixMap -> CharParser st Axiom Source #

parseDataArg :: PrefixMap -> CharParser st DataArg Source #

parseClassAtom :: PrefixMap -> CharParser st Atom Source #

parseBuiltInAtom :: PrefixMap -> CharParser st Atom Source #

parseAtom :: PrefixMap -> CharParser st Atom Source #

parseBody :: PrefixMap -> CharParser st Body Source #

parseHead :: PrefixMap -> CharParser st Body Source #

parseDLSafeRule :: PrefixMap -> CharParser st Rule Source #

parseDGAtom :: PrefixMap -> CharParser st DGAtom Source #

parseDGBody :: PrefixMap -> CharParser st DGBody Source #

parseDGHead :: PrefixMap -> CharParser st DGHead Source #

parseDGRule :: PrefixMap -> CharParser st Rule Source #

parseRule :: PrefixMap -> CharParser st Axiom Source #

parseDGNodes :: PrefixMap -> CharParser st DGNodes Source #

parseDGEdes :: PrefixMap -> CharParser st DGEdges Source #

parseDGAxiom :: PrefixMap -> CharParser st Axiom Source #

parseAxiom :: PrefixMap -> CharParser st Axiom Source #

parseOntologyDocument :: PrefixMap -> CharParser st OntologyDocument Source #

Parses an OntologyDocument from Owl2 Functional Syntax