blob: 32aa235cc767d7f6fba5d73204181be45448d22c (
plain)
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
|
# *********************************************
#
# Relax NG Schema for OpenMath CD Signatures
#
# *********************************************
default namespace = "http://www.openmath.org/OpenMathCDS"
include "openmath2.rnc"
start = CDSignatures
CDSComment = element CDSComment { text }
CDSReviewDate = element CDSReviewDate { text }
CDSStatus = element CDSStatus {
"official" |
"experimental" |
"private" |
"obsolete"}
CDSignatures =
element CDSignatures {
attlist.CDSignatures,
(CDSComment)*,
(CDSReviewDate? & CDSStatus),
(CDSComment | Signature)*
}
attlist.CDSignatures =
attribute cd { xsd:NCName },
attribute type { xsd:NCName }
Signature = element Signature { attlist.Signature, OMOBJ? }
attlist.Signature = attribute name { text }
|