"Name"     = 'Terminology Query Language'
"Author"   = 'Hugh Grady'
"Version"  = '1.5'
"About"    = 'Language for generating ref sets from terminology'
"Copyright"	= 'Copyright 2006-2010, Ocean Informatics Pty Ltd'


"Start Symbol" = <Query>

! ------------------------------------------------- Sets

{String Chars} = {Printable} + {HT} - ["\]
{XML String Chars} = {Printable} - [<&"]

! ------------------------------------------------- Terminals
  
qTransient = '"Transient"'
qPermanent = '"Permanent"'
qSelect = '"Select"'
qNavigate = '"Navigate"'
qPassthrough = '"Passthrough"'
qHoistChildren = '"HoistChildren"'
qExclude = '"Exclude"'
qtrue = '"true"'
qfalse = '"false"'

qMustMatch = '"MustMatch"'
qCannotMatch = '"CannotMatch"'

qGt = '"' ( '&gt;' | '>' ) '"' 
qLt = '"'  ( '&lt;' | '<' ) '"' 
qLtEq = '"'  ( '&lt;' | '<' ) ( '&eq;' | '=' ) '"' 
qGtEq = '"'  ( '&gt;' | '>' ) ( '&eq;' | '=' ) '"' 
qEq = '"' ( '&eq;' | '=' ) '"'
qNeq = '"'  ( '&lt;' | '<' ) ( '&gt;' | '>' ) '"' 

!qUnsignedInt =  '"' {Number}+ '"'
qString = '"' ({String Chars} |'\' {Printable} )* '"'

{Symbol Chars}     = {Printable} - {Letter} - [<>''"=] - {Whitespace}
Name    = {Letter}{Alphanumeric}*
Symbol  = {Symbol Chars}
CharName    = '&' {Letter}+ ';'
CharNumber  = '&#' {Digit}+ ';'

! ------------------------------------------------- Rules

<Query> ::= <optBOM> <XMLHeader> <QueryRef> 

<optBOM> ::= | BOM
<XMLHeader> ::= '<?xml version="1.0" encoding="utf-8"?>'

<QueryRef> ::= '<ots:query' <QueryA> <QueryBody>
<QueryBody> ::= '>' <QueryChildNodesE> '</ots:query>'| '/>'

<QueryA> ::= <groupexp1> <optexp1> <groupexp2> <optexp2> <optexp3> <optexp4> <optexp5> <optexp6> <XMLns>
<groupexp1> ::= 'name=' qString
<groupexp2> ::= 'terminology=' qString
<optexp1> ::= |'language=' qString
<optexp2> ::= |'parentQuery=' qString
<optexp3> ::= |'description=' qString
<optexp4> ::= |'baseQuery=' qString
<optexp5> ::= |'cacheMode=' <qCacheMode>
<optexp6> ::= |'pruneDeadHeads=' <qBoolean>
<XMLns> ::= 'xmlns:ots="urn:xmlns:oceaninformatics.biz:schema:OTSQuerySchema"'

<QueryChildNodesE> ::= '<childNodes' <QueryChildNodesEC>
<QueryChildNodesEC> ::= '>' <QueryChildNodeCRep> '</childNodes>'| '/>'
<QueryChildNodeCRep> ::= | <QueryChildNodeCRep> <QueryChildNode>
<QueryChildNode> ::= <SourceSetBindingsQNodeRef>
                  |  <ExcludedConceptListQNodeRef>
                  |  <PlaceHolderQNodeRef>
                  |  <ConceptQNodeRef>
                  |  <ConceptHierarchyQNodeRef>
                  |  <ConceptListQNodeRef>
                  |  <TreeRootQNodeRef>
                  |  <SourceSetTreeRootQNodeRef>
                  |  '<or'  <OrQNodeA>  '>'  <OrQNodeE> '</or>'
                  |  '<and'  <AndQNodeA>  '>'  <AndQNodeE> '</and>'
                  |  '<xor'  <XorQNodeA>  '>'  <XorQNodeE> '</xor>'
                  |  '<not'  <NotQNodeA>  '>'  <NotQNodeE> '</not>'
                  
<SourceSetBindingsQNodeE> ::= '<childNodes' <SourceSetBindingsQNodeEC>
<SourceSetBindingsQNodeEC> ::= '>' <SourceSetBindingsChildNodeCRep> '</childNodes>'| '/>'
<SourceSetBindingsChildNodeCRep> ::= | <SourceSetBindingsChildNodeCRep> <SourceSetBindingsChildNode>
<SourceSetBindingsChildNode> ::=  <SourceSetConceptHierarchyBindingQNodeRef>
                  | '<terminologyBinding'  <SourceSetTerminologyBindingQNodeA> '/>'
                  | '<resultSubsetBinding'  <SourceSetResultSubsetBindingQNodeA> '/>'

<SourceSetBindingA> ::= 'sourceSetName=' <qSourceSetId>

<qSourceSetId> ::= qString

<SourceSetResultSubsetBindingQNodeA> ::= <SourceSetBindingA> <optexp7> <optexp8> <optexp9>
<optexp7> ::= |'resultSubsetId=' qString
<optexp8> ::= |'queryId=' qString
<optexp9> ::= |'queryName=' qString

<SourceSetConceptHierarchyBindingQNodeA> ::= <SourceSetBindingA>

<SourceSetConceptHierarchyBindingQNodeE> ::= '<childNodes' <SourceSetConceptHierarchyBindingQNodeEC>
<SourceSetConceptHierarchyBindingQNodeEC> ::= '>' <SourceSetConceptHierarchyBindingQNodeCRep> '</childNodes>'| '/>'
<SourceSetConceptHierarchyBindingQNodeCRep> ::= | <SourceSetConceptHierarchyBindingQNodeCRep> <ConceptHierarchyBindingChildNode>

<ConceptHierarchyBindingChildNode> ::= <ConceptQNodeRef>
                                    |  <ConceptListQNodeRef>
                                    |  <TreeRootQNodeRef>
                                    |  <SourceSetTreeRootQNodeRef>
                                   
<SourceSetTerminologyBindingQNodeA> ::= <SourceSetBindingA> <optexp10>  
<optexp10> ::= |'terminologyRelease=' qString

<PlaceHolderQNodeA> ::= 'text=' qString

<PlaceHolderQNodeE> ::= '<childNodes' <PlaceHolderQNodeEC>
<PlaceHolderQNodeEC> ::= '>' <PlaceHolderQNodeCRep> '</childNodes>'| '/>'
<PlaceHolderQNodeCRep> ::= | <PlaceHolderQNodeCRep> <PlaceHolderChildNode>
<PlaceHolderChildNode> ::= <ConceptQNodeRef>
                        |  <ConceptListQNodeRef>
                        |  <TreeRootQNodeRef>
                        |  <SourceSetTreeRootQNodeRef>
                        |  <ConceptHierarchyQNodeRef>
                        |  <PlaceHolderQNodeRef>
                        |  <RelatedConceptQNodeRef>
                        |  <IteratorQNodeRef>
                        |  '<or'  <OrQNodeA>  '>'  <OrQNodeE> '</or>'
                        |  '<and'  <AndQNodeA>  '>'  <AndQNodeE> '</and>'
                        |  '<xor'  <XorQNodeA>  '>'  <XorQNodeE> '</xor>'
                        |  '<not'  <NotQNodeA>  '>'  <NotQNodeE> '</not>'

<ConceptQNodeA> ::= <groupexp3> <optexp11>
<groupexp3> ::= 'conceptId=' qString
<optexp11> ::= |'operation=' <qOperation>

<ConceptSpecifierQNodeA> ::= 'conceptId=' qString

<ConceptQNodeE> ::= '<childNodes' <ConceptQNodeEC>
<ConceptQNodeEC> ::= '>' <ConceptQNodeCRep> '</childNodes>'| '/>'
<ConceptQNodeCRep> ::= | <ConceptQNodeCRep> <ConceptChildNode>
<ConceptChildNode> ::= <ConceptQNodeRef>
                    |  <ConceptListQNodeRef>
                    |  <TreeRootQNodeRef>
                    |  <PlaceHolderQNodeRef>
                    |  <RelatedConceptQNodeRef>
                    |  <IteratorQNodeRef>
                    |  '<or'  <OrQNodeA>  '>'  <OrQNodeE> '</or>'
                    |  '<and'  <AndQNodeA>  '>'  <AndQNodeE> '</and>'
                    |  '<xor'  <XorQNodeA>  '>'  <XorQNodeE> '</xor>'
                    |  '<not'  <NotQNodeA>  '>'  <NotQNodeE> '</not>'

<ConceptHierarchyQNodeA> ::= |'sourceSetName=' <qSourceSetReference>
<qSourceSetReference> ::= <qSourceSetId>

<ConceptHierarchyQNodeE> ::= '<childNodes' <ConceptHierarchyQNodeEC>
<ConceptHierarchyQNodeEC> ::= '>' <ConceptHierarchyQNodeCRep> '</childNodes>'| '/>'
<ConceptHierarchyQNodeCRep> ::= | <ConceptHierarchyQNodeCRep> <ConceptHierarchyChildNode>
<ConceptHierarchyChildNode> ::= <ConceptQNodeRef>
                             |  <ConceptListQNodeRef>
                             |  <ConceptHierarchyQNodeRef>
                             |  <TreeRootQNodeRef>
                             |  <SourceSetTreeRootQNodeRef>
                             |  <PlaceHolderQNodeRef>
                             |  '<or'  <OrQNodeA>  '>'  <OrQNodeE> '</or>'
                             |  '<and'  <AndQNodeA>  '>'  <AndQNodeE> '</and>'
                             |  '<xor'  <XorQNodeA>  '>'  <XorQNodeE> '</xor>'
                             |  '<not'  <NotQNodeA>  '>'  <NotQNodeE> '</not>'
                      
<Constraints> ::= <optexp50>  <optexp51> <optexp52> <optexp53>
<ConstraintsRef> ::= | '<constraints' <ConstraintsBody>
<ConstraintsBody> ::= '>' <Constraints> '</constraints>'| '/>'  
<optexp50> ::= | <LexicalConstraintsRef>
<optexp51> ::= | <PropertyConstraintsRef>
<optexp52> ::= | <RelationshipConstraintsRef>
<optexp53> ::= | <ConceptConstraintsRef>

<LexicalConstraintsE> ::= | <LexicalConstraintsE> <LexicalConstraintRef>

<LexicalConstraintA> ::= 'matchRule=' <qMatchConstraint>

<LexicalConstraintE> ::= '<searchString>'  <Text> '</searchString>'

<PropertyConstraintsE> ::= | <PropertyConstraintsE> '<propertyConstraint'  <PropertyConstraintA>  '/>'

<PropertyConstraintA> ::= <groupexp4> <groupexp5> <groupexp6>
<groupexp4> ::= 'propertyName=' qString
<groupexp5> ::= 'propertyValue=' qString
<groupexp6> ::= 'relationalTest=' <qRelationalConstraint>

<ConceptConstraintsE> ::= | <ConceptConstraintsE> '<conceptConstraint'  <ConceptConstraintA>  '/>'

<ConceptConstraintA> ::= <groupexp7> <groupexp8>
<groupexp7> ::= 'conceptId=' qString
<groupexp8> ::= 'matchRule=' <qMatchConstraint>

<RelationshipConstraintsE> ::= | <RelationshipConstraintsE> '<relationshipConstraint' <RelationshipConstraintA>  '/>'

<RelationshipConstraintA> ::= <groupexp9> <optexp16> <optexp17> <optexp18> <optexp19> <groupexp10>
<optexp16> ::= |'reverseRelationship=' <qboolean>
<optexp17> ::= |'conceptId=' qString
<optexp18> ::= |'cardinality=' <qUnsignedInt>
<optexp19> ::= |'useClosure=' <qboolean>
<groupexp9> ::= 'relationshipId=' qString
<groupexp10> ::= 'relationalTest=' <qRelationalConstraint>

<ConceptListQNodeA> ::= |'operation=' <qOperation>

<ConceptListQNodeE> ::= <ConstraintsRef> <ConceptListChildNodesE>
<ConceptListChildNodesE> ::= | '<childNodes' <ConceptListChildNodesEC>
<ConceptListChildNodesEC> ::= '>' <ConceptListChildNodesCRep> '</childNodes>'| '/>'
<ConceptListChildNodesCRep> ::= | <ConceptListChildNodesCRep> <ConceptListChildNode>

<ConceptListChildNode> ::= <PlaceHolderQNodeRef>
                        |  <RelatedConceptQNodeRef>
                        
<TreeRootQNodeA> ::= <groupexp11> <optexp20> <groupexp12> <groupexp13> <optexp21> <optexp22>
<groupexp11> ::= 'conceptId=' qString
<groupexp12> ::= 'rootOperation=' <qOperation>
<groupexp13> ::= 'treeOperation=' <qOperation>
<optexp20> ::= |'maxDepth=' <qUnsignedInt>
<optexp21> ::= |'treeRelationship=' qString
<optexp22> ::= |'reverseTreeRelationship=' <qBoolean>
     
<TreeRootQNodeE> ::= <optexp23> <optexp24>
<optexp23> ::= |<TreeNodesRef>
<optexp24> ::= |<SubTreesRef>

<SourceSetTreeRootQNodeA> ::= <optexp25> <optexp26> <groupexp14> <groupexp15>
<optexp25> ::= |'maxDepth=' <qUnsignedInt>
<optexp26> ::= |'treeRelationship=' qString
<groupexp14> ::= 'rootOperation=' <qOperation>
<groupexp15> ::= 'treeOperation=' <qOperation>
     
<SourceSetTreeRootQNodeE> ::= <optexp27> <optexp28>
<optexp27> ::= |<TreeNodesRef>
<optexp28> ::= |<SubTreesRef>

<SubTreesE> ::= | <SubTreesE> <SubTreeQNodeRef>

<TreeNodesE> ::= <repexp63>
<repexp63> ::= | <repexp63> <TreeNodeQNodeRef>

<TreeNodeQNodeA> ::= <optexp29>
<optexp29> ::= |'nodeOperation=' <qOperation>

<TreeNodeQNodeE> ::= <ConstraintsRef>

<SubTreeQNodeA> ::= <optexp30> <groupexp16> <groupexp17>
<optexp30> ::= |'maxDepth=' <qUnsignedInt>
<groupexp16> ::= 'rootOperation=' <qOperation>
<groupexp17> ::= 'treeOperation=' <qOperation>

<SubTreeQNodeE> ::= <ConstraintsRef> <optexp32> <optexp33>
<optexp32> ::= |<TreeNodesRef>
<optexp33> ::= |<SubTreesRef>

<OrQNodeA> ::= <OutputListA>
<OrQNodeE> ::= <OperandPair>

<AndQNodeA> ::= <OutputListA>
<AndQNodeE> ::= <OperandPair>

<XorQNodeA> ::= <OutputListA>
<XorQNodeE> ::= <OperandPair>

<NotQNodeA> ::= <OutputListA>
<NotQNodeE> ::= <OperandPair>

<OutputListA> ::= |'outputList=' <qBoolean>

<OperandPair> ::= <ConceptHierarchyQNodePrimaryRef> <ConceptHierarchyQNodeSecondaryRef>


<IteratorQNodeA> ::= |'maxDepth=' <qUnsignedInt>

<IteratorQNodeE> ::= '<childNodes' <IteratorQNodeEC>
<IteratorQNodeEC> ::= '>' <IteratorQNodeCRep> '</childNodes>'| '/>'
<IteratorQNodeCRep> ::= | <IteratorQNodeCRep> <IteratorChildNode>
<IteratorChildNode> ::= <RelatedConceptQNodeRef>
                     |  <IteratorQNodeRef>
                     
<RelatedConceptQNodeA> ::= <optexp37>  <groupexp18>  <optexp38>      
<optexp37> ::= |'operation=' <qOperation>
<optexp38> ::= |'reverseRelationship=' <qBoolean>
<groupexp18> ::= 'relationship=' qString

<RelatedConceptQNodeE> ::= <ConstraintsRef> <RelatedConceptChildNodesE> 
<RelatedConceptChildNodesE> ::= |'<childNodes' <RelatedConceptChildNodesEC>
<RelatedConceptChildNodesEC> ::= '>' <RelatedConceptChildNodesCRep> '</childNodes>'| '/>'
<RelatedConceptChildNodesCRep> ::= | <RelatedConceptChildNodesCRep> <RelatedConceptChildNode>
<RelatedConceptChildNode> ::= <PlaceHolderQNodeRef>
                           |  <RelatedConceptQNodeRef>
                           |  <IteratorQNodeRef>
                           
<ConceptHierarchyQNodeBody> ::= '>' <ConceptHierarchyQNodeE> '</conceptHierarchy>'| '/>'
<ConceptHierarchyQNodeRef> ::= '<conceptHierarchy' <ConceptHierarchyQNodeA> <ConceptHierarchyQNodeBody>
<ConceptHierarchyQNodePrimaryBody> ::= '>' <ConceptHierarchyQNodeE> '</primaryOperand>'| '/>'
<ConceptHierarchyQNodePrimaryRef> ::= '<primaryOperand' <ConceptHierarchyQNodeA> <ConceptHierarchyQNodePrimaryBody>
<ConceptHierarchyQNodeSecondaryBody> ::= '>' <ConceptHierarchyQNodeE> '</secondaryOperand>'| '/>'
<ConceptHierarchyQNodeSecondaryRef> ::= '<secondaryOperand' <ConceptHierarchyQNodeA> <ConceptHierarchyQNodeSecondaryBody>
<ConceptListQNodeBody> ::= '>' <ConceptListQNodeE> '</conceptList>'| '/>'
<ConceptListQNodeRef> ::= '<conceptList' <ConceptListQNodeA> <ConceptListQNodeBody>
<ConceptQNodeBody> ::= '>' <ConceptQNodeE> '</concept>'| '/>'
<ConceptQNodeRef> ::= '<concept' <ConceptQNodeA> <ConceptQNodeBody>
<ConceptSpecifierQNodeBody> ::= '>' '</concept>'| '/>'
<ConceptSpecifierQNodeRef> ::= '<concept' <ConceptSpecifierQNodeA> <ConceptSpecifierQNodeBody>
<IteratorQNodeBody> ::= '>' <IteratorQNodeE> '</iterator>'| '/>'
<IteratorQNodeRef> ::= '<iterator' <IteratorQNodeA> <IteratorQNodeBody>
<PlaceHolderQNodeBody> ::= '>' <PlaceHolderQNodeE> '</placeHolder>'| '/>'
<PlaceHolderQNodeRef> ::= '<placeHolder' <PlaceHolderQNodeA> <PlaceHolderQNodeBody>
<RelatedConceptQNodeBody> ::= '>' <RelatedConceptQNodeE> '</relatedConcept>'| '/>'
<RelatedConceptQNodeRef> ::= '<relatedConcept' <RelatedConceptQNodeA> <RelatedConceptQNodeBody>
<SourceSetConceptHierarchyBindingQNodeBody> ::= '>' <SourceSetConceptHierarchyBindingQNodeE> '</conceptHierarchyBinding>'| '/>'
<SourceSetConceptHierarchyBindingQNodeRef> ::= '<conceptHierarchyBinding' <SourceSetConceptHierarchyBindingQNodeA> <SourceSetConceptHierarchyBindingQNodeBody>
<SourceSetTreeRootQNodeBody> ::= '>' <SourceSetTreeRootQNodeE> '</sourceSetTree>'| '/>'
<SourceSetTreeRootQNodeRef> ::= '<sourceSetTree' <SourceSetTreeRootQNodeA> <SourceSetTreeRootQNodeBody>
<SubTreeQNodeBody> ::= '>' <SubTreeQNodeE> '</subTree>'| '/>'
<SubTreeQNodeRef> ::= '<subTree' <SubTreeQNodeA> <SubTreeQNodeBody>
<TreeNodeQNodeBody> ::= '>' <TreeNodeQNodeE> '</treeNode>'| '/>'
<TreeNodeQNodeRef> ::= '<treeNode' <TreeNodeQNodeA> <TreeNodeQNodeBody>
<TreeRootQNodeBody> ::= '>' <TreeRootQNodeE> '</tree>'| '/>'
<TreeRootQNodeRef> ::= '<tree' <TreeRootQNodeA> <TreeRootQNodeBody>
<ConceptConstraintsBody> ::= '>' <ConceptConstraintsE> '</conceptConstraints>'| '/>'
<ConceptConstraintsRef> ::= '<conceptConstraints' <ConceptConstraintsBody>
<ExcludedConceptListQNodeBody> ::= '>' <ExcludedConceptListQNodeE> '</excludedConcepts>'| '/>'
<ExcludedConceptListQNodeRef> ::= '<excludedConcepts' <ExcludedConceptListQNodeBody>
<LexicalConstraintBody> ::= '>' <LexicalConstraintE> '</lexicalConstraint>'| '/>'
<LexicalConstraintRef> ::= '<lexicalConstraint'  <LexicalConstraintA> <LexicalConstraintBody>
<LexicalConstraintsBody> ::= '>' <LexicalConstraintsE> '</lexicalConstraints>'| '/>'
<LexicalConstraintsRef> ::= '<lexicalConstraints' <LexicalConstraintsBody>
<PropertyConstraintsBody> ::= '>' <PropertyConstraintsE> '</propertyConstraints>'| '/>'
<PropertyConstraintsRef> ::= '<propertyConstraints' <PropertyConstraintsBody>
<RelationshipConstraintsBody> ::= '>' <RelationshipConstraintsE> '</relationshipConstraints>'| '/>'
<RelationshipConstraintsRef> ::= '<relationshipConstraints' <RelationshipConstraintsBody>
<SourceSetBindingsQNodeBody> ::= '>' <SourceSetBindingsQNodeE> '</sourceSetBindings>'| '/>'
<SourceSetBindingsQNodeRef> ::= '<sourceSetBindings' <SourceSetBindingsQNodeBody>
<SubTreesBody> ::= '>' <SubTreesE> '</subTrees>'| '/>'
<SubTreesRef> ::= '<subTrees' <SubTreesBody>
<TreeNodesBody> ::= '>' <TreeNodesE> '</treeNodes>'| '/>'
<TreeNodesRef> ::= '<treeNodes' <TreeNodesBody>

<ExcludedConceptListQNodeE> ::= '<childNodes' <ExcludedConceptListQNodeEC>
<ExcludedConceptListQNodeEC> ::= '>' <ExcludedConceptListQNodeCRep> '</childNodes>'| '/>'
<ExcludedConceptListQNodeCRep> ::= | <ExcludedConceptListQNodeCRep> <ConceptSpecifierQNodeRef>

<qMatchConstraint> ::= qMustMatch
                   |  qCannotMatch

<qRelationalConstraint> ::= qEq
                        | qNeq
                        | qGt
                        | qGtEq 
                        | qLt
                        | qLtEq

<qCacheMode> ::= qTransient | qPermanent

<qOperation> ::= qSelect
             |  qNavigate
             |  qPassthrough
             |  qHoistChildren
             |  qExclude
        
<qBoolean> ::= qTrue | qFalse

<qUnsignedInt> ::= qString

<Text> ::= <Text> <Word> 
         | <Word> 

<Word> ::= Name
         | Symbol
         | '='
         | CharName
         | CharNumber