forked from OpenMath/OMSTD
-
Notifications
You must be signed in to change notification settings - Fork 0
/
omcdgroup2.rnc
33 lines (28 loc) · 934 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
33
# 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 { text }
CDGroupDescription = element CDGroupDescription { text }
# info on the CDs in the group
CDComment = element CDComment { text }
CDGroupMember =
element CDGroupMember {
CDComment?, CDName, CDVersion?, CDURL?
}
CDName = element CDName { xsd:NCName }
CDVersion = element CDVersion { xsd:nonNegativeInteger }
CDURL = element CDURL { text }
# structure of the group
CDGroup =
element CDGroup {
CDGroupName,
CDGroupVersion,
CDGroupRevision?,
CDGroupURL,
CDGroupDescription,
(CDGroupMember | CDComment)*
}
start = CDGroup