Table of Contents
Target Namespace
None
Element and Attribute Namespaces
Global element and attribute declarations belong to this schema's target namespace.
By default, local element declarations belong to this schema's target namespace.
By default, local attribute declarations have no namespace.
Documentation
QEDEQ 1.0 Schema
This file is part of the project "Hilbert II" - http://www.qedeq.org
Copyright 2000-2008, Michael Meyling <mime@qedeq.org>.
Declared Namespaces
Prefix
Namespace
xml
http://www.w3.org/XML/1998/namespace
xs
http://www.w3.org/2001/XMLSchema
Schema Component Representation
<
xs:schema elementFormDefault ="
qualified ">
...
</
xs:schema >
Element: AND
This element can be used wherever the following element is referenced:
Name
AND
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Logical conjunction.
Schema Component Representation
<
xs:element name ="
AND "
substitutionGroup ="
FORMULATYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
FORMULATYPE
"
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
AXIOM
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Mathematical axiom.
XML Instance Representation
<AXIOM>
<DESCRIPTION>
[0..1] ?
</DESCRIPTION>
</AXIOM>
Schema Component Representation
<
xs:element name ="
AXIOM "
substitutionGroup ="
NODETYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
DESCRIPTION "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
CLASS
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Class described by property. For example {x | x = x }.
Schema Component Representation
<
xs:element name ="
CLASS "
substitutionGroup ="
TERMTYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
VAR
"
minOccurs ="
1 "
maxOccurs ="
1 "/>
<
xs:element ref ="
FORMULATYPE
"
minOccurs ="
1 "
maxOccurs ="
1 "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
DEFINITION_FUNCTION
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Definition of a function. The attributes "name" and "arguments" must be unique within one QEDEQ module. The "
XML Instance Representation
<DEFINITION_FUNCTION
arguments="
xs :string [1] ? "
name="
xs :string [1] ? " >
<LATEXPATTERN>
xs :string </LATEXPATTERN>
[1] ?
<VARLIST>
[0..1] ?
</VARLIST>
<DESCRIPTION>
[0..1] ?
</DESCRIPTION>
</DEFINITION_FUNCTION>
Schema Component Representation
<
xs:element name ="
DEFINITION_FUNCTION "
substitutionGroup ="
NODETYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
LATEXPATTERN "
type ="
xs :string
"/>
<
xs:element name ="
VARLIST "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
VAR
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
<
xs:element ref ="
TERM
"
minOccurs ="
0 "/>
<
xs:element name ="
DESCRIPTION "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
</
xs:sequence >
<
xs:attribute name ="
arguments "
type ="
xs :string
"
use ="
required "/>
<
xs:attribute name ="
name "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
DEFINITION_PREDICATE
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Definition of a predicate constant. The attributes "name" and "arguments" must be unique within one QEDEQ module.
XML Instance Representation
<DEFINITION_PREDICATE
arguments="
xs :NMTOKEN [1] ? "
name="
xs :string [1] ? " >
<LATEXPATTERN>
xs :string </LATEXPATTERN>
[1] ?
<VARLIST>
[0..1] ?
</VARLIST>
<DESCRIPTION>
[0..1] ?
</DESCRIPTION>
</DEFINITION_PREDICATE>
Schema Component Representation
<
xs:element name ="
DEFINITION_PREDICATE "
substitutionGroup ="
NODETYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
LATEXPATTERN "
type ="
xs :string
"/>
<
xs:element name ="
VARLIST "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
VAR
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
<
xs:element ref ="
FORMULA
"
minOccurs ="
0 "/>
<
xs:element name ="
DESCRIPTION "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
</
xs:sequence >
<
xs:attribute name ="
arguments "
type ="
xs :NMTOKEN
"
use ="
required "/>
<
xs:attribute name ="
name "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
Element: EQUI
This element can be used wherever the following element is referenced:
Name
EQUI
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Logical equivalence.
Schema Component Representation
<
xs:element name ="
EQUI "
substitutionGroup ="
FORMULATYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
FORMULATYPE
"
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
EXISTS
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Logical existential quantifier.
Schema Component Representation
<
xs:element name ="
EXISTS "
substitutionGroup ="
FORMULATYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
VAR
"
minOccurs ="
1 "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
EXISTSU
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Logical uniqueness quantifier. Proposes the existence of an unique element.
Schema Component Representation
<
xs:element name ="
EXISTSU "
substitutionGroup ="
FORMULATYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
VAR
"
minOccurs ="
1 "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
FORALL
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Logical universal quantifier.
Schema Component Representation
<
xs:element name ="
FORALL "
substitutionGroup ="
FORMULATYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
VAR
"
minOccurs ="
1 "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
Name
FORMAL_PROOF
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
A formal proof.
XML Instance Representation
<FORMAL_PROOF
kind="
xs :NMTOKEN [1] "
level="
xs :string [1] " >
</FORMAL_PROOF>
Schema Component Representation
<
xs:element name ="
FORMAL_PROOF ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
PRECEDING
"
minOccurs ="
0 "
maxOccurs ="
1 "/>
<
xs:element ref ="
SUCCEEDING
"
minOccurs ="
0 "
maxOccurs ="
1 "/>
</
xs:sequence >
<
xs:attribute name ="
kind "
type ="
xs :NMTOKEN
"
use ="
required "/>
<
xs:attribute name ="
level "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
Name
FORMULA
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Formula.
Schema Component Representation
<
xs:element name ="
FORMULA ">
<
xs:complexType >
<
xs:sequence >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
The following elements can be used wherever this element is referenced:
Name
FORMULATYPE
Type
anyType
Nillable
no
Abstract
yes
Documentation
Type for a formula.
This element can be used wherever the following element is referenced:
Name
FUNCON
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Function constant.
XML Instance Representation
<FUNCON
ref="
xs :string [1] ? " >
</FUNCON>
Schema Component Representation
<
xs:element name ="
FUNCON "
substitutionGroup ="
TERMTYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
TERMTYPE
"
minOccurs ="
0 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
<
xs:attribute name ="
ref "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
FUNVAR
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Function variable.
XML Instance Representation
<FUNVAR
id="
xs :string [1] ? " >
</FUNVAR>
Schema Component Representation
<
xs:element name ="
FUNVAR "
substitutionGroup ="
TERMTYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
TERMTYPE
"
maxOccurs ="
unbounded "/>
</
xs:sequence >
<
xs:attribute name ="
id "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
Element: IMPL
This element can be used wherever the following element is referenced:
Name
IMPL
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Logical implication.
Schema Component Representation
<
xs:element name ="
IMPL "
substitutionGroup ="
FORMULATYPE ">
<
xs:complexType >
<
xs:sequence >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
Name
LATEX
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
For each supported language entry one can find a LaTeX text here.
XML Instance Representation
<LATEX
language="
xs :language [0..1] " >
xs :string
</LATEX>
Schema Component Representation
<
xs:element name ="
LATEX ">
<
xs:complexType >
<
xs:simpleContent >
<
xs:extension base ="
xs :string
">
<
xs:attribute name ="
language "
type ="
xs :language
"
use ="
optional "/>
</
xs:extension >
</
xs:simpleContent >
</
xs:complexType >
</
xs:element >
Element: NODE
This element can be used wherever the following element is referenced:
Name
NODE
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
This part is the smallest unit and corresponds to the LaTeX item subsection. But it also carries formal AXIOMs, THEOREMS or else.
XML Instance Representation
<NODE
id="
xs :string [1] ? "
level="
xs :string [0..1] ? " >
<SUCCEEDING> ... </SUCCEEDING> [0..1]
</NODE>
Schema Component Representation
<
xs:element name ="
NODE "
substitutionGroup ="
SUBSECTIONTYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
NAME "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
<
xs:element ref ="
TITLE
"
minOccurs ="
0 "/>
<
xs:element ref ="
PRECEDING
"
minOccurs ="
0 "/>
<xs:element name ="SUCCEEDING " minOccurs ="0 "/>
</
xs:sequence >
<
xs:attribute name ="
id "
type ="
xs :string
"
use ="
required "/>
<
xs:attribute name ="
level "
type ="
xs :string
"/>
</
xs:complexType >
</
xs:element >
The following elements can be used wherever this element is referenced:
Name
NODETYPE
Type
anyType
Nillable
no
Abstract
yes
Documentation
Type for a node. This might be an AXIOM, THEOREM or something else.
Element: NOT
This element can be used wherever the following element is referenced:
Name
NOT
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Logical negation.
Schema Component Representation
<
xs:element name ="
NOT "
substitutionGroup ="
FORMULATYPE ">
<
xs:complexType >
<
xs:sequence >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
Element: OR
This element can be used wherever the following element is referenced:
Name
OR
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Logical disjunction.
Schema Component Representation
<
xs:element name ="
OR "
substitutionGroup ="
FORMULATYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
FORMULATYPE
"
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
Name
PRECEDING
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Text that precedes the mathematical meat.
Schema Component Representation
<
xs:element name ="
PRECEDING ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
PREDCON
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Predicate constant.
XML Instance Representation
<PREDCON
ref="
xs :string [1] ? " >
</PREDCON>
Schema Component Representation
<
xs:element name ="
PREDCON "
substitutionGroup ="
FORMULATYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
TERMTYPE
"
minOccurs ="
0 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
<
xs:attribute name ="
ref "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
PREDVAR
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Predicate variable.
XML Instance Representation
<PREDVAR
id="
xs :string [1] ? " >
</PREDVAR>
Schema Component Representation
<
xs:element name ="
PREDVAR "
substitutionGroup ="
FORMULATYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
TERMTYPE
"
minOccurs ="
0 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
<
xs:attribute name ="
id "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
Name
PROOF
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
An informal proof.
XML Instance Representation
<PROOF
kind="
xs :NMTOKEN [1] "
level="
xs :string [1] " >
</PROOF>
Schema Component Representation
<
xs:element name ="
PROOF ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
<
xs:attribute name ="
kind "
type ="
xs :NMTOKEN
"
use ="
required "/>
<
xs:attribute name ="
level "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
Name
QEDEQ
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Root element. Any QEDEQ document has this structure.
XML Instance Representation
<QEDEQ>
<HEADER
email="
EMAILTYPE
[0..1] ? " >
[1] ?
<ABSTRACT>
[1] ?
</ABSTRACT>
<AUTHORS>
[1] ?
</AUTHORS>
<IMPORTS>
[0..1] ?
<IMPORT
label="
xs :NMTOKEN [1] ? " >
[1..*] ?
</IMPORT>
</IMPORTS>
<USEDBY>
[0..1] ?
</USEDBY>
</HEADER>
<CHAPTER
noNumber="
xs :boolean [0..1] ? " >
[1..*] ?
<INTRODUCTION>
[0..1] ?
</INTRODUCTION>
<SECTION
noNumber="
xs :boolean [0..1] ? " >
[0..*] ?
<INTRODUCTION>
[0..1] ?
</INTRODUCTION>
<SUBSECTIONS>
[0..1] ?
</SUBSECTIONS>
</SECTION>
</CHAPTER>
<BIBLIOGRAPHY>
[0..1] ?
<ITEM
label="
xs :NMTOKEN [1] ? " >
[1..*] ?
</ITEM>
</BIBLIOGRAPHY>
</QEDEQ>
Schema Component Representation
<
xs:element name ="
QEDEQ ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
HEADER ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
TITLE
"/>
<
xs:element name ="
ABSTRACT ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
<
xs:element name ="
AUTHORS ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
AUTHOR ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
NAME ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
</
xs:sequence >
<
xs:attribute name ="
email "
type ="
EMAILTYPE
"/>
</
xs:complexType >
</
xs:element >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
<
xs:element name ="
IMPORTS "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
IMPORT "
maxOccurs ="
unbounded ">
<
xs:complexType >
<
xs:sequence >
</
xs:sequence >
<
xs:attribute name ="
label "
type ="
xs :NMTOKEN
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
<
xs:element name ="
USEDBY "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
</
xs:sequence >
<
xs:attribute name ="
email "
type ="
EMAILTYPE
"/>
</
xs:complexType >
</
xs:element >
<
xs:element name ="
CHAPTER "
maxOccurs ="
unbounded ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
TITLE
"/>
<
xs:element name ="
INTRODUCTION "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
<
xs:element name ="
SECTION "
minOccurs ="
0 "
maxOccurs ="
unbounded ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
TITLE
"/>
<
xs:element name ="
INTRODUCTION "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
<
xs:element name ="
SUBSECTIONS "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
SUBSECTIONTYPE
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
</
xs:sequence >
<
xs:attribute name ="
noNumber "
type ="
xs :boolean
"
use ="
optional "/>
</
xs:complexType >
</
xs:element >
</
xs:sequence >
<
xs:attribute name ="
noNumber "
type ="
xs :boolean
"
use ="
optional "/>
</
xs:complexType >
</
xs:element >
<
xs:element name ="
BIBLIOGRAPHY "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
ITEM "
maxOccurs ="
unbounded ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
maxOccurs ="
unbounded "/>
</
xs:sequence >
<
xs:attribute name ="
label "
type ="
xs :NMTOKEN
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
QUANTIFIER_INTERSECTION
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Intersection about all classes that fullfil a property.
XML Instance Representation
<QUANTIFIER_INTERSECTION>
</QUANTIFIER_INTERSECTION>
Schema Component Representation
<
xs:element name ="
QUANTIFIER_INTERSECTION "
substitutionGroup ="
TERMTYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
VAR
"
minOccurs ="
1 "
maxOccurs ="
1 "/>
<
xs:element ref ="
FORMULATYPE
"
minOccurs ="
1 "
maxOccurs ="
1 "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
QUANTIFIER_UNION
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Union about all classes that fullfil a property.
XML Instance Representation
<QUANTIFIER_UNION>
</QUANTIFIER_UNION>
Schema Component Representation
<
xs:element name ="
QUANTIFIER_UNION "
substitutionGroup ="
TERMTYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
VAR
"
minOccurs ="
1 "
maxOccurs ="
1 "/>
<
xs:element ref ="
FORMULATYPE
"
minOccurs ="
1 "
maxOccurs ="
1 "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
Element: RULE
This element can be used wherever the following element is referenced:
Name
RULE
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
A new meta rule.
XML Instance Representation
<RULE
name="
xs :string [1] " >
<LINK
id="
xs :string [1] " />
[0..*] ?
<DESCRIPTION>
[1] ?
</DESCRIPTION>
<PROOF
kind="
xs :NMTOKEN [1] "
level="
xs :string [1] " >
[0..*] ?
</PROOF>
</RULE>
Schema Component Representation
<
xs:element name ="
RULE "
substitutionGroup ="
NODETYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
LINK "
minOccurs ="
0 "
maxOccurs ="
unbounded ">
<
xs:complexType >
<
xs:attribute name ="
id "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
<
xs:element name ="
DESCRIPTION "
minOccurs ="
1 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
<
xs:element name ="
PROOF "
minOccurs ="
0 "
maxOccurs ="
unbounded ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
<
xs:attribute name ="
kind "
type ="
xs :NMTOKEN
"
use ="
required "/>
<
xs:attribute name ="
level "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
</
xs:sequence >
<
xs:attribute name ="
name "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
Name
SPECIFICATION
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
File specification of this module. What is the name of this module and where to find it.
XML Instance Representation
<SPECIFICATION
name="
xs :string [1] ? "
ruleVersion="
xs :string [1] ? " >
<LOCATIONS>
[1] ?
</LOCATIONS>
</SPECIFICATION>
Schema Component Representation
<
xs:element name ="
SPECIFICATION ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
LOCATIONS ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
LOCATION "
maxOccurs ="
unbounded ">
<
xs:complexType >
<
xs:attribute name ="
value "
type ="
LOCATIONTYPE
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
</
xs:sequence >
<
xs:attribute name ="
name "
type ="
xs :string
"
use ="
required "/>
<
xs:attribute name ="
ruleVersion "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
This element can be used wherever the following element is referenced:
Name
SUBSECTION
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
This a normal LaTeX subsection of a section.
XML Instance Representation
<SUBSECTION
id="
xs :NMTOKEN [0..1] ? "
level="
xs :string [0..1] ? " >
</SUBSECTION>
Schema Component Representation
<
xs:element name ="
SUBSECTION "
substitutionGroup ="
SUBSECTIONTYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
TITLE
"
minOccurs ="
0 "/>
<
xs:element name ="
TEXT "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
0 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
</
xs:sequence >
<
xs:attribute name ="
id "
type ="
xs :NMTOKEN
"
use ="
optional "/>
<
xs:attribute name ="
level "
type ="
xs :string
"/>
</
xs:complexType >
</
xs:element >
The following elements can be used wherever this element is referenced:
Name
SUBSECTIONTYPE
Type
anyType
Nillable
no
Abstract
yes
Documentation
Type for a subsection.
Name
SUCCEEDING
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Text that succeeds mathematical meat.
XML Instance Representation
<SUCCEEDING>
</SUCCEEDING>
Schema Component Representation
<
xs:element name ="
SUCCEEDING ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
Element: TERM
Name
TERM
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Term.
Schema Component Representation
<
xs:element name ="
TERM ">
<
xs:complexType >
<
xs:sequence >
</
xs:sequence >
</
xs:complexType >
</
xs:element >
The following elements can be used wherever this element is referenced:
Name
TERMTYPE
Type
anyType
Nillable
no
Abstract
yes
Documentation
Type for a term.
This element can be used wherever the following element is referenced:
Name
THEOREM
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
A theorem and it's proof.
XML Instance Representation
<THEOREM>
<DESCRIPTION>
[0..1] ?
</DESCRIPTION>
</THEOREM>
Schema Component Representation
<
xs:element name ="
THEOREM "
substitutionGroup ="
NODETYPE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element name ="
DESCRIPTION "
minOccurs ="
0 ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
minOccurs ="
1 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
<
xs:element ref ="
PROOF
"
minOccurs ="
0 "
maxOccurs ="
unbounded "/>
<
xs:element ref ="
FORMAL_PROOF
"
minOccurs ="
0 "
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
Name
TITLE
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Title of a text segment.
Schema Component Representation
<
xs:element name ="
TITLE ">
<
xs:complexType >
<
xs:sequence >
<
xs:element ref ="
LATEX
"
maxOccurs ="
unbounded "/>
</
xs:sequence >
</
xs:complexType >
</
xs:element >
Element: VAR
This element can be used wherever the following element is referenced:
Name
VAR
Type
Locally-defined complex type
Nillable
no
Abstract
no
Documentation
Logical language: Subject variable.
XML Instance Representation
<VAR
id="
xs :string [1] ? " />
Schema Component Representation
<
xs:element name ="
VAR "
substitutionGroup ="
TERMTYPE ">
<
xs:complexType >
<
xs:attribute name ="
id "
type ="
xs :string
"
use ="
required "/>
</
xs:complexType >
</
xs:element >
Super-types:
xs :token < EMAILTYPE (by restriction)
Sub-types:
None
Name
EMAILTYPE
Content
Documentation
Type for an email. An email address.
Schema Component Representation
<
xs:simpleType name ="
EMAILTYPE ">
<
xs:restriction base ="
xs :token
">
<xs:minLength value ="0 "/>
<xs:maxLength value ="100 "/>
</
xs:restriction >
</
xs:simpleType >
Super-types:
xs :byte < LEVELTYPE (by restriction)
Sub-types:
None
Name
LEVELTYPE
Content
Documentation
Type for a level. Detail level.
Schema Component Representation
<
xs:simpleType name ="
LEVELTYPE ">
<
xs:restriction base ="
xs :byte
"/>
</
xs:simpleType >
Super-types:
xs :anyURI < LOCATIONTYPE (by restriction)
Sub-types:
None
Name
LOCATIONTYPE
Content
Documentation
Type for a location. Location directory of module.
Schema Component Representation
<
xs:simpleType name ="
LOCATIONTYPE ">
<
xs:restriction base ="
xs :anyURI
"/>
</
xs:simpleType >
Complex Type:
Schema Component Type
AusAddress
Schema Component Name
Super-types:
Address < AusAddress (by extension)
Sub-types:
QLDAddress (by restriction)
If this schema component is a type definition, its type hierarchy is shown in a gray-bordered box.
The table above displays the properties of this schema component.
XML Instance Representation
<...
country="Australia "
>
<unitNo> string </unitNo> [0..1]
<houseNo> string </houseNo> [1]
<street> string </street> [1]
Start Choice
[1]
<city> string </city> [1]
<town> string </town> [1]
End Choice
<state> AusStates </state> [1]
<postcode> string <<pattern = [1-9][0-9]{3}>> </postcode> [1]
?
</...>
The XML Instance Representation table above shows the schema component's content as an XML instance.
The minimum and maximum occurrence of elements and attributes are provided in square brackets, e.g. [0..1].
Model group information are shown in gray, e.g. Start Choice ... End Choice.
For type derivations, the elements and attributes that have been added to or changed from the base type's content are shown in bold .
If an element/attribute has a fixed value, the fixed value is shown in green, e.g. country="Australia".
Otherwise, the type of the element/attribute is displayed.
If the element/attribute's type is in the schema, a link is provided to it.
For local simple type definitions, the constraints are displayed in angle brackets, e.g. <<pattern = [1-9][0-9]{3}>>.
If a local element/attribute has documentation, it will be displayed in a window that pops up when the question mark inside the attribute or next to the element is clicked, e.g. <postcode>.
Schema Component Representation
<complexType
name ="AusAddress ">
<complexContent >
<extension
base ="
Address
">
<sequence >
<element
name ="state " type ="
AusStates
"/>
<element
name ="postcode ">
<simpleType >
<restriction
base ="
string
">
<pattern
value ="[1-9][0-9]{3} "/>
</restriction >
</simpleType >
</element >
</sequence >
<attribute
name ="country " type ="
string
" fixed ="Australia "/>
</extension >
</complexContent >
</complexType >
The Schema Component Representation table above displays the underlying XML representation of the schema component. (Annotations are not shown.)
Abstract (Applies to complex type definitions and element declarations). An abstract element or complex type cannot used to validate an element instance. If there is a reference to an abstract element, only element declarations that can substitute the abstract element can be used to validate the instance. For references to abstract type definitions, only derived types can be used.
All Model Group Child elements can be provided in any order in instances. See: http://www.w3.org/TR/xmlschema-1/#element-all .
Choice Model Group
Only one from the list of child elements and model groups can be provided in instances. See: http://www.w3.org/TR/xmlschema-1/#element-choice .
Collapse Whitespace Policy Replace tab, line feed, and carriage return characters with space character (Unicode character 32). Then, collapse contiguous sequences of space characters into single space character, and remove leading and trailing space characters.
Disallowed Substitutions (Applies to element declarations). If substitution is specified, then substitution group members cannot be used in place of the given element declaration to validate element instances. If derivation methods , e.g. extension, restriction, are specified, then the given element declaration will not validate element instances that have types derived from the element declaration's type using the specified derivation methods. Normally, element instances can override their declaration's type by specifying an xsi:type
attribute.
Key Constraint Like Uniqueness Constraint , but additionally requires that the specified value(s) must be provided. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions .
Key Reference Constraint Ensures that the specified value(s) must match value(s) from a Key Constraint or Uniqueness Constraint . See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions .
Model Group Groups together element content, specifying the order in which the element content can occur and the number of times the group of element content may be repeated. See: http://www.w3.org/TR/xmlschema-1/#Model_Groups .
Nillable (Applies to element declarations). If an element declaration is nillable, instances can use the xsi:nil
attribute. The xsi:nil
attribute is the boolean attribute, nil , from the http://www.w3.org/2001/XMLSchema-instance namespace. If an element instance has an xsi:nil
attribute set to true, it can be left empty, even though its element declaration may have required content.
Notation A notation is used to identify the format of a piece of data. Values of elements and attributes that are of type, NOTATION, must come from the names of declared notations. See: http://www.w3.org/TR/xmlschema-1/#cNotation_Declarations .
Preserve Whitespace Policy Preserve whitespaces exactly as they appear in instances.
Prohibited Derivations (Applies to type definitions). Derivation methods that cannot be used to create sub-types from a given type definition.
Prohibited Substitutions (Applies to complex type definitions). Prevents sub-types that have been derived using the specified derivation methods from validating element instances in place of the given type definition.
Replace Whitespace Policy Replace tab, line feed, and carriage return characters with space character (Unicode character 32).
Sequence Model Group Child elements and model groups must be provided in the specified order in instances. See: http://www.w3.org/TR/xmlschema-1/#element-sequence .
Substitution Group Elements that are members of a substitution group can be used wherever the head element of the substitution group is referenced.
Substitution Group Exclusions (Applies to element declarations). Prohibits element declarations from nominating themselves as being able to substitute a given element declaration, if they have types that are derived from the original element's type using the specified derivation methods.
Target Namespace The target namespace identifies the namespace that components in this schema belongs to. If no target namespace is provided, then the schema components do not belong to any namespace.
Uniqueness Constraint Ensures uniqueness of an element/attribute value, or a combination of values, within a specified scope. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions .