Browsable RDFS Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: ontoware/rdf/hillairet/extracted
Source used for this grammar: Guillaume Hillairet, Resource Description Framework Schema (RDFS), RDFS.ecore, 2006/06/07

Summary

• Total 40 production rules with 43 top alternatives and 284 symbols.
• Vocabulary: 68 = 23 nonterminals + 2 terminals + 43 labels + 0 markers.
• Total 23 nonterminal symbols: 23 defined (Resource, Graph, List, Container, Alt, Bag, Seq, Property, ContainerMembershipProperty, Statement, URIReferenceNode, BlankNode, Class, Datatype, Literal, PlainLiteral, TypedLiteral, RDFXMLLiteral, URIReference, UniformResourceIdentifier, Boolean, Integer, String), 0 root (—), 2 top (ContainerMembershipProperty, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 43 labels: [graph] ², [uriRef] ³, [subjectStatement] ², [objectStatement] ², [label] ², [type] ², [seeAlso] ², [referringResource] ², [member] ², [container] ², [list] ², [graphName], [resources], [first], [rest], [originalList], [predicateStatement], [subPropertyOf], [superProperty], [domain], [range], [predicate], [object], [subject], [isReifiedOnly], [isReified], [nameForReification], [nodeId], [subClassOf] ², [superClass] ², [typedResource] ², [propertyForDomain] ², [propertyForRange] ², [lexicalForm], [language], [labeledResource], [datatypeURI] ², [uri], [resource], [literal], [namedGraph], [reifiedStatement], [name].

Syntax

Resource ::=
	Graph

Resource ::=
	List

Resource ::=
	Container

Resource ::=
	Property

Resource ::=
	Statement

Resource ::=
	URIReferenceNode

Resource ::=
	BlankNode

Resource ::=
	Class

Resource ::=
	Literal

Resource ::=
	[graph]::Graph [uriRef]::URIReference+ [subjectStatement]::Statement+ [objectStatement]::Statement+ [label]::PlainLiteral+ [type]::Class+ [seeAlso]::Resource+ [referringResource]::Resource+ [member]::Resource+ [container]::Resource+ [list]::List+

Graph ::=
	[graphName]::URIReference [resources]::Resource+

List ::=
	[first]::Resource [rest]::List [originalList]::List+

Container ::=
	Alt

Container ::=
	Bag

Container ::=
	Seq

Container ::=
	Alt
	Bag
	Seq

Alt ::=
	ε

Bag ::=
	ε

Seq ::=
	ε

Property ::=
	[predicateStatement]::Statement+ [subPropertyOf]::Property+ [superProperty]::Property+ [domain]::Class+ [range]::Class+

ContainerMembershipProperty ::=
	ε

Statement ::=
	[predicate]::Property [object]::Resource [subject]::Resource [isReifiedOnly]::Boolean [isReified]::Boolean [nameForReification]::URIReference+

URIReferenceNode ::=
	[graph]::Graph [uriRef]::URIReference+ [subjectStatement]::Statement+ [objectStatement]::Statement+ [label]::PlainLiteral+ [type]::Class+ [seeAlso]::Resource+ [referringResource]::Resource+ [member]::Resource+ [container]::Resource+ [list]::List+

BlankNode ::=
	[nodeId]::String

Class ::=
	Datatype

Class ::=
	[subClassOf]::Class+ [superClass]::Class+ [typedResource]::Resource+ [propertyForDomain]::Property+ [propertyForRange]::Property+

Datatype ::=
	[subClassOf]::Class+ [superClass]::Class+ [typedResource]::Resource+ [propertyForDomain]::Property+ [propertyForRange]::Property+

Literal ::=
	PlainLiteral

Literal ::=
	TypedLiteral

Literal ::=
	[lexicalForm]::String

PlainLiteral ::=
	[language]::String [labeledResource]::Resource

TypedLiteral ::=
	RDFXMLLiteral

TypedLiteral ::=
	[datatypeURI]::URIReference

RDFXMLLiteral ::=
	[datatypeURI]::URIReference

URIReference ::=
	UniformResourceIdentifier

URIReference ::=
	[uri]::UniformResourceIdentifier [resource]::Resource [literal]::TypedLiteral [namedGraph]::Graph [reifiedStatement]::Statement+

UniformResourceIdentifier ::=
	[name]::String [uriRef]::URIReference+

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]