-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathomcdgroup2.rnc
33 lines (28 loc) · 1011 Bytes
/
omcdgroup2.rnc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
# Schema for OpenMath CD groups
# info on the CD group itself
default namespace = "http://www.openmath.org/OpenMathCDG"
CDGroupName = element CDGroupName { xsd:NCName }
CDGroupVersion = element CDGroupVersion { xsd:nonNegativeInteger }
CDGroupRevision = element CDGroupRevision { xsd:nonNegativeInteger }
CDGroupURL = element CDGroupURL { xsd:anyURI }
CDGroupDescription = element CDGroupDescription { text }
# info on the CDs in the group
CDComment = element CDComment { text }
CDGroupMember =
element CDGroupMember {CDComment?, CDName, CDVersion?, CDURL?}
CDGroupInclude = element CDGroupInclude { xsd:anyURI }
CDName = element CDName { xsd:NCName }
CDVersion = element CDVersion { xsd:nonNegativeInteger }
CDURL = element CDURL { text }
# structure of the group
CDGroup =
element CDGroup {
attribute version { xsd:string }?,
CDGroupName,
CDGroupVersion,
CDGroupRevision?,
CDGroupURL,
CDGroupDescription,
(CDGroupMember | CDComment | CDGroupInclude)*
}
start = CDGroup