Swish.RDF.N3Parser

This Module implements a Notation 3 parser (see [1], [2], [3]), returning a new RDFGraph consisting of triples and namespace information parsed from the supplied N3 input string, or an error indication.

Uses the Parsec monadic parser library.

REFERENCES:

1 http://www.w3.org/TeamSubmission/2008/SUBM-n3-20080114/ Notation3 (N3): A readable RDF syntax, W3C Team Submission 14 January 2008

2 http://www.w3.org/DesignIssues/Notation3.html Tim Berners-Lee's design issues series notes and description

3 http://www.w3.org/2000/10/swap/Primer.html Notation 3 Primer by Sean Palmer

NOTES:

UTF-8 handling is not really tested.

Several items seem to be allowed (from looking at N3 test suites and files 'in the wild') that are not given supported by the N3 grammar [1]. We try to support these, including

• ":" and "base:" as valid QNames (ie a blank local component)
• true and false as well as @true and @false
• use of lower-case characters for \u and \U escape codes

No performance testing has been applied.

Not all N3 grammar elements are supported, including:

• @forSome (we read it in but ignore the arguments)
• @forAll (this causes a parse error)
• formulae are lightly tested
• string support is incomplete (e.g. unrecognized escape characters such as \q are probably handled incorrectly)

Documentation

type ParseResult = Either String RDFGraph

parseN3

Arguments

:: String

input in N3 format.

-> Maybe QName

optional base URI

-> ParseResult

Parse a string with an optional base URI.

See also parseN3fromString.

parseN3fromString

Arguments

:: String

input in N3 format.

-> ParseResult

Parse a string as N3 (with no real base URI).

See parseN3 if you need to provide a base URI.

parseAnyfromString

Arguments

:: N3Parser a

parser to apply

-> Maybe QName

base URI of the input, or Nothing to use default base value

-> String

input to be parsed

-> Either String a

Function to supply initial context and parse supplied term.

We augment the Parsec error with the context.

parseTextFromString :: String -> String -> Either String String

parseAltFromString :: String -> String -> String -> Either String String

parseNameFromString :: String -> Either String String

parsePrefixFromString :: String -> Either String Namespace

parseAbsURIrefFromString :: String -> Either String String

parseLexURIrefFromString :: String -> Either String String

parseURIref2FromString :: String -> Either String ScopedName

Exports for parsers that embed Notation3 in a bigger syntax

type N3Parser a = RDFParser N3State a

data N3State

N3 parser state

Constructors

N3State

Fields

graphState :: RDFGraph

thisNode :: RDFLabel

prefixUris :: NamespaceMap

syntaxUris :: SpecialMap

nodeGen :: Int

keywordsList :: [String]

allowLocalNames :: Bool

type SpecialMap = LookupMap (String, ScopedName)

Type for special name lookup table

whiteSpace :: N3Parser ()

symbol :: String -> N3Parser String

lexeme :: N3Parser a -> N3Parser a

eof :: Show tok => GenParser tok st ()

identStart :: CharParser st Char

identLetter :: CharParser st Char

getPrefix :: N3Parser ()

n3symbol :: N3Parser ScopedName

quickVariable :: N3Parser RDFLabel

lexUriRef :: N3Parser String

document :: N3Parser RDFGraph

subgraph :: RDFLabel -> N3Parser RDFGraph

newBlankNode :: N3Parser RDFLabel