DOL.grammar revision 671f2fe36761d67297d2d39a7b2a70896f8c7b1b
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLibrary = [ PrefixMap ] , LibraryDefn
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | OMSInConformingLanguage ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLibraryDefn = 'library' , LibraryName , Qualification , { LibraryItem } ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinOMSInConformingLanguage = ($<$ language and serialization specific $>$) ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLibraryItem = LibImport
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | NetworkDefn
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | MappingDefn
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | QueryRelatedDefn
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | Qualification ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLibImport = 'import' , LibraryName ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinQualification = LanguageQual
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | SyntaxQual ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLanguageQual = 'language' , LanguageRef ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLogicQual = 'logic' , LogicRef ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinSyntaxQual = 'serialization' , SyntaxRef ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLibraryName = IRI ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinPrefixMap = '%prefix(' , { PrefixBinding } , ')%' ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinPrefixBinding = BoundPrefix , IRIBoundToPrefix , [ Separators ] ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinBoundPrefix = ':'
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | Prefix ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinIRIBoundToPrefix = '<' , FullIRI , '>' ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinSeparators = 'separators' , String , String ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinString = ($<$ \rm any list of unicode characters $>$) ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinNetworkDefn = NetworkKeyword , NetworkName , '=' , [ ConsStrength ] , Network ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinNetworkKeyword = 'network' ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinNetworkName = IRI ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinNetwork = NetworkElements , [ ExcludeExtensions ] ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinNetworkElements = NetworkElement , { ',' , NetworkElement } ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinNetworkElement = [ Id , ':' ] , OMSOrMappingorNetworkRef ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinExcludeExtensions = 'excluding' , ExtensionRef , { ',' , ExtensionRef } ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinOMSOrMappingorNetworkRef = IRI ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinId = Letter , { LetterOrDigit } ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinBasicOMS = OMSInConformingLanguage ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinMinimizableOMS = BasicOMS
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | OMSRef , [ ImportName ] ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinExtendingOMS = MinimizableOMS
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | MinimizeKeyword , '{' , MinimizableOMS , '}'
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | OMS , Extraction ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinOMS = ExtendingOMS
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | OMS , Minimization
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | OMS , Translation
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | OMS , Reduction
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | OMS , Approximation
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | OMS , Filtering
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | OMS , 'and' , [ ConsStrength ] , OMS
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | OMS , 'then' , ExtensionOMS
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | { Qualification } , ':' , GroupOMS
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | OMS , 'bridge' , { Translation } , ExtendingOMS
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'combine' , NetworkElements , [ ExcludeExtensions ]
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'apply' , SubstName , Sentence
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | GroupOMS ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinMinimization = MinimizeKeyword , CircMin , [ CircVars ] ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinMinimizeKeyword = 'minimize'
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'closed-world'
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'maximize'
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'cofree' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinCircMin = Symbol , { Symbol } ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinCircVars = 'vars' , Symbol , { Symbol } ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinGroupOMS = '{' , OMS , '}'
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinTranslation = 'with' , { LogicTranslation } , [ SymbolMapItems ] ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinLogicTranslation = 'translation' , OMSLangTrans ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinReduction = 'hide' , { LogicReduction } , [ SymbolItems ]
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'reveal' , SymbolItems ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinLogicReduction = 'along' , OMSLangTrans ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSymbolItems = Symbol , { ',' , Symbol } ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSymbolMapItems = SymbolOrMap , { ',' , SymbolOrMap } ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinExtraction = 'extract' , [ InterfaceSignature ]
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'remove' , [ InterfaceSignature ] ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinApproximation = 'forget' , InterfaceSignature , [ 'with' , LogicRef ]
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'keep' , InterfaceSignature , [ 'with' , LogicRef ]
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'keep' , 'with' , LogicRef ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinFiltering = 'select' , BasicOMS
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'reject' , BasicOMS ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinExtensionOMS = [ ExtConsStrength ] , [ ExtensionName ] , ExtendingOMS ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinConsStrength = Conservative
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinExtConsStrength = ConsStrength
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | '%implied' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinConservative = '%ccons'
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | '%mcons' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinInterfaceSignature = SymbolItems ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinImportName = '%(' , IRI , ')%' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinExtensionName = '%(' , IRI , ')%' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinOMSkeyword = 'ontology'
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'specification'
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinOMSDefn = OMSkeyword , OMSName , '=' , [ ConsStrength ] , OMS , 'end' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSymbol = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSymbolMap = Symbol , '|->' , Symbol ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSymbolOrMap = Symbol
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | SymbolMap ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinTerm = ($<$ an expression specific to a basic OMS language $>$) ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSentence = ($<$ an expression specific to a basic OMS language $>$) ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinOMSName = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinOMSRef = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinExtensionRef = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinLanguageRef = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinLogicRef = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSyntaxRef = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinLoLaRef = LanguageRef
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | LogicRef ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinOMSLangTrans = OMSLangTransRef
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | '->' , LoLaRef ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinOMSLangTransRef = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinMappingDefn = IntprDefn
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | Entailment
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | EquivDefn
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | ModuleRelDefn
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | AlignDefn ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinIntprDefn = IntprKeyword , IntprName , [ Conservative ] , ':' , IntprType , 'end'
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | IntprKeyword , IntprName , [ Conservative ] , ':' , IntprType , '=' , { LogicTranslation } , [ SymbolMapItems ] , 'end'
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | IntprKeyword , IntprName , '=' , Refinement , 'end' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinIntprKeyword = 'interpretation'
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'refinement' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinIntprName = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinIntprType = GroupOMS , 'to' , GroupOMS ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinRefinement = GroupOMS
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | NetworkName
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | Refinement , 'then' , Refinement
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | GroupOMS , 'refined' , [ RefMap ] , 'to' , Refinement
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | NetworkName , 'refined' , [ RefMap ] , 'to' , Refinement ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinRefMap = 'via' , { LogicTranslation } , [ SymbolMapItems ]
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'via' , NodeMap , { ',' , NodeMap } ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinNodeMap = OMSName , '|->' , OMSName , [ 'using' , { LogicTranslation } , [ SymbolMapItems ] ] ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinEntailment = 'entailment' , EntailmentName , '=' , EntailmentType , 'end' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinEntailmentName = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinEntailmentType = GroupOMS , 'entails' , GroupOMS
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | OMSName , 'in' , Network , 'entails' , GroupOMS
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | NetworkName , 'entails' , NetworkName ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinEquivDefn = 'equivalence' , EquivName , ':' , EquivType , 'end' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinEquivName = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinEquivType = GroupOMS , '<->' , GroupOMS , '=' , OMS
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | NetworkName , '<->' , NetworkName , '=' , Network ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinModuleRelDefn = 'module' , ModuleName , [ Conservative ] , ':' , ModuleType , 'for' , InterfaceSignature ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinModuleName = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinModuleType = GroupOMS , 'of' , GroupOMS ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinAlignDefn = 'alignment' , AlignName , [ AlignCards ] , ':' , AlignType , 'end'
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | 'alignment' , AlignName , [ AlignCards ] , ':' , AlignType , '=' , Correspondence , { ',' , Correspondence } , [ 'assuming' , AlignSem ] , 'end' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinAlignName = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinAlignCards = AlignCardForward , AlignCardBackward ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinAlignCardForward = AlignCard ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinAlignCardBackward = AlignCard ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinAlignCard = '1'
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinAlignType = GroupOMS , 'to' , GroupOMS ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinAlignSem = 'SingleDomain'
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | 'GlobalDomain'
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | 'ContextualizedDomain' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinCorrespondence = CorrespondenceBlock
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | SingleCorrespondence
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinCorrespondenceBlock = 'relation' , [ RelationRef ] , [ Confidence ] , '{' , Correspondence , { ',' , Correspondence } , '}' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSingleCorrespondence = SymbolRef , [ RelationRef ] , [ Confidence ] , TermOrSymbolRef , [ CorrespondenceId ] ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinCorrespondenceId = '%(' , IRI , ')%' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSymbolRef = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinTermOrSymbolRef = Term
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | SymbolRef ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinRelationRef = '>'
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinConfidence = Double ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinDouble = ($<$ a number $\in [0,1]$ $>$) ;
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinQueryRelatedDefn = QueryDefn
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin | SubstDefn
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | ResultDefn ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinQueryDefn = 'query' , QueryName , '=' , 'select' , Vars , 'where' , Sentence , 'in' , GroupOMS , [ 'along' , OMSLangTrans ] , 'end' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSubstDefn = 'substitution' , SubstName , ':' , GroupOMS , 'to' , GroupOMS , '=' , SymbolMapItems , 'end' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinResultDefn = 'result' , ResultName , '=' , SubstName , { ',' , SubstName } , 'for' , QueryName , [ '%complete' ] , 'end' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinQueryName = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinSubstName = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinResultName = IRI ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinVars = Symbol , { ',' , Symbol } ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinIRI = '<' , FullIRI , '>'
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinFullIRI = ($<$ an IRI as defined in \nisref{IETF/RFC 3987:2005} $>$) ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinCURIE = [ Prefix ] , Reference ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinPrefix = NCName , ':' ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinNCName = ($<$ \rm see ``NCName'' in \nisref{W3C/TR REC-xml-names:2009}, Section 3 $>$) ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinReference = Path , [ Query ] , [ Fragment ] ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinPath = ipath-absolute
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | ipath-rootless
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chin | ipath-empty ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chinipath-absolute = ($<$ \rm as defined in \nisref{IETF/RFC 3987} $>$) ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chinipath-rootless = ($<$ \rm as defined in \nisref{IETF/RFC 3987} $>$) ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chinipath-empty = ($<$ \rm as defined in \nisref{IETF/RFC 3987} $>$) ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinQuery = '?' , iquery ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chiniquery = ($<$ \rm as defined in \nisref{IETF/RFC 3987} $>$) ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinFragment = '#' , ifragment ;
7c2fbfb345896881c631598ee3852ce9ce33fb07April Chinifragment = ($<$ \rm as defined in \nisref{IETF/RFC 3987} $>$) ;