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 #

parseDirectlyImportsDocument :: PrefixMap -> CharParser st IRI Source #

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

parseEntity :: PrefixMap -> CharParser st Entity Source #

charOrEscaped :: CharParser st Char Source #

parseTypeSignature :: PrefixMap -> CharParser st IRI Source #

parseLanguageTag :: CharParser st String Source #

parseLiteral :: PrefixMap -> CharParser st Literal Source #

parseAnonymousIndividual :: PrefixMap -> CharParser st AnonymousIndividual Source #

parseIndividual :: PrefixMap -> CharParser st Individual Source #

parseAnnotationValue :: PrefixMap -> CharParser st AnnotationValue Source #

parseAnnotationSubject :: PrefixMap -> CharParser st AnnotationSubject Source #

parseAnnotations :: PrefixMap -> CharParser st [Annotation] Source #

parseAnnotation :: PrefixMap -> CharParser st Annotation Source #

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

parseDataJunction :: PrefixMap -> CharParser st DataRange Source #

parseDataComplementOf :: PrefixMap -> CharParser st DataRange Source #

parseDataOneOf :: PrefixMap -> CharParser st DataRange Source #

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

parseDatatypeRestriction :: PrefixMap -> CharParser st DataRange Source #

parseDataRange :: PrefixMap -> CharParser st DataRange Source #

parseDeclaration :: PrefixMap -> CharParser st Axiom Source #

parseObjectIntersectionOf :: PrefixMap -> CharParser st ClassExpression Source #

parseObjectUnionOf :: PrefixMap -> CharParser st ClassExpression Source #

parseObjectComplementOf :: PrefixMap -> CharParser st ClassExpression Source #

parseObjectOneOf :: PrefixMap -> CharParser st ClassExpression Source #

parseObjectProperty :: PrefixMap -> CharParser st ObjectPropertyExpression Source #

parseInverseObjectProperty :: PrefixMap -> CharParser st ObjectPropertyExpression Source #

parseObjectPropertyExpression :: PrefixMap -> CharParser st ObjectPropertyExpression Source #

parseObjectSomeValuesFrom :: PrefixMap -> CharParser st ClassExpression Source #

parseObjectAllValuesFrom :: PrefixMap -> CharParser st ClassExpression Source #

parseObjectHasValue :: PrefixMap -> CharParser st ClassExpression Source #

parseObjectHasSelf :: PrefixMap -> CharParser st ClassExpression Source #

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

parseObjectCardinality :: PrefixMap -> CharParser st ClassExpression Source #

parseDataCardinality :: PrefixMap -> CharParser st ClassExpression Source #

parseDataSomeValuesFrom :: PrefixMap -> CharParser st ClassExpression Source #

parseDataAllValuesFrom :: PrefixMap -> CharParser st ClassExpression Source #

parseDataHasValue :: PrefixMap -> CharParser st ClassExpression Source #

parseClassExpression :: PrefixMap -> CharParser st ClassExpression Source #

parseSubClassOf :: PrefixMap -> CharParser st ClassAxiom Source #

parseEquivalentClasses :: PrefixMap -> CharParser st ClassAxiom Source #

parseDisjointClasses :: PrefixMap -> CharParser st ClassAxiom Source #

parseDisjointUnion :: PrefixMap -> CharParser st ClassAxiom Source #

parseClassAxiom :: PrefixMap -> CharParser st Axiom Source #

parseEquivalentObjectProperties :: PrefixMap -> CharParser st ObjectPropertyAxiom Source #

parseDisjointObjectProperties :: PrefixMap -> CharParser st ObjectPropertyAxiom Source #

parseObjectPropertyDomain :: PrefixMap -> CharParser st ObjectPropertyAxiom Source #

parseObjectPropertyRange :: PrefixMap -> CharParser st ObjectPropertyAxiom Source #

parseInverseObjectProperties :: PrefixMap -> CharParser st ObjectPropertyAxiom Source #

parseObjectPropertyExpressionChain :: PrefixMap -> CharParser st PropertyExpressionChain Source #

parseSubObjectPropertyExpression :: PrefixMap -> CharParser st SubObjectPropertyExpression Source #

parseSubObjectPropertyOf :: PrefixMap -> CharParser st ObjectPropertyAxiom Source #

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

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

parseObjectPropertyAxiom :: PrefixMap -> CharParser st Axiom Source #

parseSubDataPropertyOf :: PrefixMap -> CharParser st DataPropertyAxiom Source #

parseEquivalentDataProperties :: PrefixMap -> CharParser st DataPropertyAxiom Source #

parseDisjointDataProperties :: PrefixMap -> CharParser st DataPropertyAxiom Source #

parseDataPropertyDomain :: PrefixMap -> CharParser st DataPropertyAxiom Source #

parseDataPropertyRange :: PrefixMap -> CharParser st DataPropertyAxiom Source #

parseFunctionalDataProperty :: PrefixMap -> CharParser st DataPropertyAxiom Source #

parseDataPropertyAxiom :: PrefixMap -> CharParser st Axiom Source #

parseDataTypeDefinition :: PrefixMap -> CharParser st Axiom Source #

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

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

parseHasKey :: PrefixMap -> CharParser st Axiom Source #

parseSameIndividual :: PrefixMap -> CharParser st Assertion Source #

parseDifferentIndividuals :: PrefixMap -> CharParser st Assertion Source #

parseClassAssertion :: PrefixMap -> CharParser st Assertion Source #

parseObjectPropertyAssertion :: PrefixMap -> CharParser st Assertion Source #

parseNegativeObjectPropertyAssertion :: PrefixMap -> CharParser st Assertion Source #

parseDataPropertyAssertion :: PrefixMap -> CharParser st Assertion Source #

parseNegativeDataPropertyAssertion :: PrefixMap -> CharParser st Assertion Source #

parseAssertion :: PrefixMap -> CharParser st Axiom Source #

parseAnnotationAssertion :: PrefixMap -> CharParser st AnnotationAxiom Source #

parseSubAnnotationPropertyOf :: PrefixMap -> CharParser st AnnotationAxiom Source #

parseAnnotationPropertyDomain :: PrefixMap -> CharParser st AnnotationAxiom Source #

parseAnnotationPropertyRange :: PrefixMap -> CharParser st AnnotationAxiom Source #

parseAnnotationAxiom :: PrefixMap -> CharParser st Axiom Source #

parseIndividualArg :: PrefixMap -> CharParser st IndividualArg Source #

parseDataArg :: PrefixMap -> CharParser st DataArg Source #

parseClassAtom :: PrefixMap -> CharParser st Atom Source #

parseDataRangeAtom :: PrefixMap -> CharParser st Atom Source #

parseObjectPropertyAtom :: PrefixMap -> CharParser st Atom Source #

parseDataPropertyAtom :: PrefixMap -> CharParser st Atom Source #

parseBuiltInAtom :: PrefixMap -> CharParser st Atom Source #

parseSameIndividualAtom :: PrefixMap -> CharParser st Atom Source #

parseDifferentIndividualsAtom :: 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 #

parseDGClassAtom :: PrefixMap -> CharParser st DGAtom Source #

parseDGObjectPropertyAtom :: PrefixMap -> CharParser st DGAtom 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 #

parseDGNodeAssertion :: PrefixMap -> CharParser st DGNodeAssertion Source #

parseDGNodes :: PrefixMap -> CharParser st DGNodes Source #

parseDGEdgeAssertion :: PrefixMap -> CharParser st DGEdgeAssertion Source #

parseDGEdes :: PrefixMap -> CharParser st DGEdges Source #

parseMainClasses :: PrefixMap -> CharParser st MainClasses Source #

parseDGAxiom :: PrefixMap -> CharParser st Axiom Source #

parseAxiom :: PrefixMap -> CharParser st Axiom Source #

parseOntology :: PrefixMap -> CharParser st Ontology Source #

parseOntologyDocument :: PrefixMap -> CharParser st OntologyDocument Source #

Parses an OntologyDocument from Owl2 Functional Syntax