OMSTD/omcdsig2.rnc at master · OpenMath/OMSTD · GitHub

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
34
35
# *********************************************
#
# 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 }?,
  attribute cdgroup { xsd:anyURI }?,
  attribute cdurl { xsd:anyURI }?,
  attribute version { xsd:string }?

Signature = element Signature { attlist.Signature, OMOBJ? }
attlist.Signature = attribute name { text }