Browsable SBVR Grammar

CC-BY

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/business/sbvr/v1.0/doux/extracted
Source used for this grammar: Guillaume Doux, SBVRvoc.ecore, 2009

Summary

Syntax

LocatedElement ::=
	Root
LocatedElement ::=
	VocabularyEntry
LocatedElement ::=
	Caption
LocatedElement ::=
	PrimaryRepresentation
LocatedElement ::=
	ConceptDefinition
LocatedElement ::=
	ConceptSource
LocatedElement ::=
	Note
LocatedElement ::=
	Sentence
LocatedElement ::=
	NameSpaceURI
LocatedElement ::=
	Word
LocatedElement ::=
	SBVRExpression
LocatedElement ::=
	SBVRPropWithKW
LocatedElement ::=
	ModalForm
LocatedElement ::=
	SimpleSBVRProp
LocatedElement ::=
	SubSBVRProp
LocatedElement ::=
	LinkSBVRConcept
LocatedElement ::=
	ConjConcept
LocatedElement ::=
	Concept
LocatedElement ::=
	NounConcept
LocatedElement ::=
	Qualification
LocatedElement ::=
	GeneralConcept
LocatedElement ::=
	Qualifier
LocatedElement ::=
	ModalBegin
Root ::=
	[entries]::VocabularyEntry+
VocabularyEntry ::=
	[primaryRep]::PrimaryRepresentation [caption]::Caption+
Caption ::=
	DefCaption
Caption ::=
	DescCaption
Caption ::=
	SrcCaption
Caption ::=
	DBCaption
Caption ::=
	GenCCaption
Caption ::=
	CTypCaption
Caption ::=
	Necessity
Caption ::=
	Possibility
Caption ::=
	RefSCaption
Caption ::=
	NoteCaption
Caption ::=
	ExCaption
Caption ::=
	SynCaption
Caption ::=
	SynFCaption
Caption ::=
	SeeCaption
Caption ::=
	SFCaption
Caption ::=
	NSURICaption
DefCaption ::=
	[definition]::ConceptDefinition
DescCaption ::=
	[description]::Note
SrcCaption ::=
	[source]::ConceptSource
DBCaption ::=
	[dictionaryBasis]::ConceptSource
GenCCaption ::=
	[generalConcept]::PrimaryRepresentation
CTypCaption ::=
	[conceptType]::PrimaryRepresentation+
Necessity ::=
	[exp]::SBVRExpression
Possibility ::=
	[exp]::SBVRExpression
RefSCaption ::=
	[referenceScheme]::PrimaryRepresentation
NoteCaption ::=
	[note]::Note
ExCaption ::=
	[example]::SBVRExpression+
SynCaption ::=
	[synonym]::PrimaryRepresentation+
SynFCaption ::=
	[synonymousForm]::SBVRExpression+
SeeCaption ::=
	[see]::PrimaryRepresentation
SFCaption ::=
	[subjectField]::PrimaryRepresentation
NSURICaption ::=
	[namespaceURI]::NameSpaceURI
PrimaryRepresentation ::=
	NotFactTypeRepresentation
PrimaryRepresentation ::=
	FactTypeFormRepresentation
NotFactTypeRepresentation ::=
	TermRepresentation
NotFactTypeRepresentation ::=
	NameRepresentation
TermRepresentation ::=
	[term]::StringWord+
NameRepresentation ::=
	[hasThe]::Boolean [name]::NameWord+
FactTypeFormRepresentation ::=
	[primaryRep1]::NotFactTypeRepresentation [verbExp]::Verb+ [primaryRep2]::NotFactTypeRepresentation
ConceptDefinition ::=
	[exp]::Concept [conjexp]::ConjConcept+
ConceptSource ::=
	[source]::Word+
Note ::=
	[sentences]::Sentence+
Sentence ::=
	[words]::Word+
NameSpaceURI ::=
	[URI]::Word+
Word ::=
	StringWord
Word ::=
	QuotedStringWord
Word ::=
	NameWord
StringWord ::=
	[val]::String
QuotedStringWord ::=
	[val]::String
NameWord ::=
	[val]::String
Verb ::=
	[is]::ε
	[relevant]::ε
	[comprises]::ε
	[to]::ε
	[work]::ε
	[in]::ε
	[trades]::ε
	[as]::ε
	[are]::ε
	[accepted]::ε
	[generally]::ε
	[important]::ε
	[across]::ε
	[share]::ε
	[sets]::ε
	[assigned]::ε
	[by]::ε
	[contains]::ε
	[for]::ε
	[has]::ε
	[specifies]::ε
	[specified]::ε
ConjonctionnalKeyWord ::=
	[and]::ε
	[or]::ε
	[if]::ε
	[whether]::ε
ModalVerb ::=
	[must]::ε
	[may]::ε
	[never]::ε
	[always]::ε
Join ::=
	[that]::ε
	[who]::ε
Link ::=
	[of]::ε
	[quoteS]::ε
Qualif ::=
	[the]::ε
	[The]::ε
	[a]::ε
	[A]::ε
	[an]::ε
	[An]::ε
	[Each]::ε
	[each]::ε
	[Some]::ε
	[some]::ε
	[At]::ε
	[at]::ε
	[Exactly]::ε
	[exactly]::ε
EndOperator ::=
	[given]::ε
	[thanone]::ε
	[one]::ε
	[isobligatorythat]::ε
	[ispermittedthat]::ε
	[isprohibitedthat]::ε
	[isnecessarythat]::ε
	[ispossiblethat]::ε
	[isimpossiblethat]::ε
	[isnotthecasethat]::ε
	[least]::ε
	[leastone]::ε
	[most]::ε
	[mostone]::ε
	[leastnandatmostm]::ε
	[andonlyif]::ε
	[ornot]::ε
	[not]::ε
	[of]::ε
SBVRExpression ::=
	[hasPoint]::Boolean [firstProposition]::SimpleSBVRProp [nextProposition]::SBVRPropWithKW+
SBVRPropWithKW ::=
	[conjonction]::ConjonctionnalKeyWord [endConj]::EndOperator [proposition]::SimpleSBVRProp
ModalForm ::=
	[modal]::ModalVerb [isNeg]::Boolean
SimpleSBVRProp ::=
	[modal]::ModalBegin [concept1]::Concept [modalVerb]::ModalForm [verbs]::Verb+ [concept2]::Concept
SubSBVRProp ::=
	[join]::Join [modalVerb]::ModalVerb [verbs]::Verb+ [concept2]::Concept
LinkSBVRConcept ::=
	[link]::Link [concept]::Concept
ConjConcept ::=
	[conjonction]::ConjonctionnalKeyWord [concept]::Concept
Concept ::=
	NameConcept
Concept ::=
	ObjectConcept
Concept ::=
	StringConcept
NameConcept ::=
	[the]::Qualif [name]::NameWord+
ObjectConcept ::=
	[operatoredConcept]::NounConcept [qualify]::Qualification
StringConcept ::=
	[stringWord]::QuotedStringWord+
NounConcept ::=
	[qualif]::Qualifier [noun]::StringWord+
Qualification ::=
	[generalConcept]::GeneralConcept+
GeneralConcept ::=
	NameGConcept
GeneralConcept ::=
	NounGConcept
NameGConcept ::=
	[name]::NameConcept
NounGConcept ::=
	[noun]::StringWord+
Qualifier ::=
	[op]::Qualif [endOperator]::EndOperator [min]::StringWord [max]::StringWord
ModalBegin ::=
	ModalBeginC
ModalBegin ::=
	[endOperator]::EndOperator
ModalBeginC ::=
	[endOperator]::EndOperator
Boolean ::=
	"true"
	"false"
Integer ::=
	integer
String ::=
	string

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