XML Schema Documentation

Table of Contents

top

Schema Document Properties

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.01 Schema This file is part of the project "Hilbert II" - http://www.qedeq.org Copyright 2000-2011, 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>
top

Global Declarations

Element: ADD

  • This element can be used wherever the following element is referenced:
Name ADD
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Add already proven formula. For rule version 0.01.00.
XML Instance Representation
<ADD
ref=" xs:string [0..1] ?"/>
Schema Component Representation
<xs:element name="ADD" substitutionGroup="REASONTYPE">
<xs:complexType>
<xs:attribute name="ref" type=" xs:string "/>
</xs:complexType>
</xs:element>
top

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.
XML Instance Representation
<AND>
<FORMULATYPE> ... </FORMULATYPE> [1..*]
</AND>
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>
top

Element: AXIOM

  • 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
definedOperator=" xs:string [0..1] ?">
<FORMULA> ... </FORMULA> [1] ?
<DESCRIPTION> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</DESCRIPTION>
</AXIOM>
Schema Component Representation
<xs:element name="AXIOM" substitutionGroup="NODETYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULA "/>
<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="definedOperator" type=" xs:string "/>
</xs:complexType>
</xs:element>
top

Element: CLASS

  • 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 }.
XML Instance Representation
<CLASS>
<VAR> ... </VAR> [1]
<FORMULATYPE> ... </FORMULATYPE> [1]
</CLASS>
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>
top

Element: CP

  • This element can be used wherever the following element is referenced:
Name CP
Type Locally-defined complex type
Nillable no
Abstract no
Documentation A proofline that includes a conditional proof. This is a usage of the deduction theorem. If the hypothesis formulas are H1, H2 and H3 and the last proof is A the proved formula is H1 & H2 & H3 -> A Can be used with rule version 0.02.00.
XML Instance Representation
<CP>
<HYPOTHESIS
label=" xs:NMTOKEN [0..1] ?"> [1..*] ?
<FORMULA> ... </FORMULA> [0..1] ?
</HYPOTHESIS>
<LINES> ... </LINES> [1] ?
<CONCLUSION
label=" xs:NMTOKEN [0..1] ?"> [1] ?
<FORMULA> ... </FORMULA> [0..1] ?
</CONCLUSION>
</CP>
Schema Component Representation
<xs:element name="CP" substitutionGroup="LINETYPE">
<xs:complexType>
<xs:sequence>
<xs:element name="HYPOTHESIS" minOccurs="1" maxOccurs="unbounded">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULA " minOccurs="0" maxOccurs="1"/>
</xs:sequence>
<xs:attribute name="label" type=" xs:NMTOKEN "/>
</xs:complexType>
</xs:element>
<xs:element ref=" LINES " minOccurs="1" maxOccurs="1"/>
<xs:element name="CONCLUSION" minOccurs="1" maxOccurs="1">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULA " minOccurs="0" maxOccurs="1"/>
</xs:sequence>
<xs:attribute name="label" type=" xs:NMTOKEN "/>
</xs:complexType>
</xs:element>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: DEFINITION_FUNCTION

  • 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 constant. The combination of the attributes "name" and "arguments" must be unique within one QEDEQ module.
XML Instance Representation
<DEFINITION_FUNCTION
arguments=" xs:string [1] ?"
name=" xs:string [1] ?">
<LATEXPATTERN> xs:string </LATEXPATTERN> [1] ?
<FORMULA> ... </FORMULA> [1] ?
<DESCRIPTION> [0..1] ?
<LATEX> ... </LATEX> [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 ref=" FORMULA " minOccurs="1"/>
<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>
top

Element: DEFINITION_FUNCTION_INITIAL

  • This element can be used wherever the following element is referenced:
Name DEFINITION_FUNCTION_INITIAL
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Definition of an basic function constant. The combination of the attributes "name" and "arguments" must be unique within one QEDEQ module."
XML Instance Representation
<DEFINITION_FUNCTION_INITIAL
arguments=" xs:string [1] ?"
name=" xs:string [1] ?">
<LATEXPATTERN> xs:string </LATEXPATTERN> [1] ?
<FUNCON> ... </FUNCON> [1] ?
<DESCRIPTION> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</DESCRIPTION>
</DEFINITION_FUNCTION_INITIAL>
Schema Component Representation
<xs:element name="DEFINITION_FUNCTION_INITIAL" substitutionGroup="NODETYPE">
<xs:complexType>
<xs:sequence>
<xs:element name="LATEXPATTERN" type=" xs:string "/>
<xs:element ref=" FUNCON " minOccurs="1"/>
<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>
top

Element: DEFINITION_PREDICATE

  • 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] ?
<FORMULA> ... </FORMULA> [1] ?
<DESCRIPTION> [0..1] ?
<LATEX> ... </LATEX> [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 ref=" FORMULA " minOccurs="1"/>
<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>
top

Element: DEFINITION_PREDICATE_INITIAL

  • This element can be used wherever the following element is referenced:
Name DEFINITION_PREDICATE_INITIAL
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Definition of an initial predicate constant. The combination of attributes "name" and "arguments" must be unique within one QEDEQ module.
XML Instance Representation
<DEFINITION_PREDICATE_INITIAL
arguments=" xs:NMTOKEN [1] ?"
name=" xs:string [1] ?">
<LATEXPATTERN> xs:string </LATEXPATTERN> [1] ?
<PREDCON> ... </PREDCON> [1] ?
<DESCRIPTION> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</DESCRIPTION>
</DEFINITION_PREDICATE_INITIAL>
Schema Component Representation
<xs:element name="DEFINITION_PREDICATE_INITIAL" substitutionGroup="NODETYPE">
<xs:complexType>
<xs:sequence>
<xs:element name="LATEXPATTERN" type=" xs:string "/>
<xs:element ref=" PREDCON " minOccurs="1"/>
<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>
top

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.
XML Instance Representation
<EQUI>
<FORMULATYPE> ... </FORMULATYPE> [1..*]
</EQUI>
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>
top

Element: EXISTENTIAL

  • This element can be used wherever the following element is referenced:
Name EXISTENTIAL
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Rule of existential generalization. For rule version 0.01.00.
XML Instance Representation
<EXISTENTIAL
ref=" xs:string [0..1] ?">
<VAR> ... </VAR> [0..1] ?
</EXISTENTIAL>
Schema Component Representation
<xs:element name="EXISTENTIAL" substitutionGroup="REASONTYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" VAR " minOccurs="0" maxOccurs="1"/>
</xs:sequence>
<xs:attribute name="ref" type=" xs:string "/>
</xs:complexType>
</xs:element>
top

Element: EXISTS

  • 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.
XML Instance Representation
<EXISTS>
<VAR> ... </VAR> [1]
<FORMULATYPE> ... </FORMULATYPE> [1]
<FORMULATYPE> ... </FORMULATYPE> [0..1]
</EXISTS>
Schema Component Representation
<xs:element name="EXISTS" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" VAR " minOccurs="1"/>
<xs:element ref=" FORMULATYPE "/>
<xs:element ref=" FORMULATYPE " minOccurs="0"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: EXISTSU

  • 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.
XML Instance Representation
<EXISTSU>
<VAR> ... </VAR> [1]
<FORMULATYPE> ... </FORMULATYPE> [1]
<FORMULATYPE> ... </FORMULATYPE> [0..1]
</EXISTSU>
Schema Component Representation
<xs:element name="EXISTSU" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" VAR " minOccurs="1"/>
<xs:element ref=" FORMULATYPE "/>
<xs:element ref=" FORMULATYPE " minOccurs="0"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: FORALL

  • 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.
XML Instance Representation
<FORALL>
<VAR> ... </VAR> [1]
<FORMULATYPE> ... </FORMULATYPE> [1]
<FORMULATYPE> ... </FORMULATYPE> [0..1]
</FORALL>
Schema Component Representation
<xs:element name="FORALL" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" VAR " minOccurs="1"/>
<xs:element ref=" FORMULATYPE "/>
<xs:element ref=" FORMULATYPE " minOccurs="0"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: FORMAL_PROOF

Name FORMAL_PROOF
Type Locally-defined complex type
Nillable no
Abstract no
Documentation A formal proof.
XML Instance Representation
<FORMAL_PROOF>
<PRECEDING> ... </PRECEDING> [0..1]
<LINES> ... </LINES> [1]
<SUCCEEDING> ... </SUCCEEDING> [0..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=" LINES "/>
<xs:element ref=" SUCCEEDING " minOccurs="0" maxOccurs="1"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: FORMULA

Name FORMULA
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Logical language: Formula.
XML Instance Representation
<FORMULA>
<FORMULATYPE> ... </FORMULATYPE> [1]
</FORMULA>
Schema Component Representation
<xs:element name="FORMULA">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULATYPE "/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: FORMULATYPE

Name FORMULATYPE
Type anyType
Nillable no
Abstract yes
Documentation Type for a formula.
XML Instance Representation
<FORMULATYPE> ... </FORMULATYPE>
Schema Component Representation
<xs:element name="FORMULATYPE" abstract="true"/>
top

Element: FUNCON

  • 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] ?">
<TERMTYPE> ... </TERMTYPE> [0..*]
</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>
top

Element: FUNVAR

  • 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] ?">
<TERMTYPE> ... </TERMTYPE> [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>
top

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.
XML Instance Representation
<IMPL>
<FORMULATYPE> ... </FORMULATYPE> [1]
<FORMULATYPE> ... </FORMULATYPE> [1]
</IMPL>
Schema Component Representation
<xs:element name="IMPL" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULATYPE "/>
<xs:element ref=" FORMULATYPE "/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: L

  • This element can be used wherever the following element is referenced:
Name L
Type Locally-defined complex type
Nillable no
Abstract no
Documentation A proofline that derives from previous derived formulas.
XML Instance Representation
<L
label=" xs:NMTOKEN [0..1] ?">
<FORMULA> ... </FORMULA> [1] ?
<REASONTYPE> ... </REASONTYPE> [1] ?
</L>
Schema Component Representation
<xs:element name="L" substitutionGroup="LINETYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULA " minOccurs="1" maxOccurs="1"/>
<xs:element ref=" REASONTYPE " minOccurs="1" maxOccurs="1"/>
</xs:sequence>
<xs:attribute name="label" type=" xs:NMTOKEN "/>
</xs:complexType>
</xs:element>
top

Element: LATEX

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>
top

Element: LINES

Name LINES
Type Locally-defined complex type
Nillable no
Abstract no
Documentation List of proof lines.
XML Instance Representation
<LINES>
<LINETYPE> ... </LINETYPE> [1..*]
</LINES>
Schema Component Representation
<xs:element name="LINES">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LINETYPE " minOccurs="1" maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: LINETYPE

  • The following elements can be used wherever this element is referenced:
Name LINETYPE
Type anyType
Nillable no
Abstract yes
Documentation Type for a proof line of a formal proof.
XML Instance Representation
<LINETYPE> ... </LINETYPE>
Schema Component Representation
<xs:element name="LINETYPE" abstract="true"/>
top

Element: MP

  • This element can be used wherever the following element is referenced:
Name MP
Type Locally-defined complex type
Nillable no
Abstract no
Documentation The rule Modus Ponens (or for short MP) is the sole rule of inference in propositional calculus. For rule version 0.01.00.
XML Instance Representation
<MP
ref1=" xs:string [0..1] ?"
ref2=" xs:string [0..1] ?"/>
Schema Component Representation
<xs:element name="MP" substitutionGroup="REASONTYPE">
<xs:complexType>
<xs:attribute name="ref1" type=" xs:string "/>
<xs:attribute name="ref2" type=" xs:string "/>
</xs:complexType>
</xs:element>
top

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] ?">
<NAME> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</NAME>
<TITLE> ... </TITLE> [0..1] ?
<PRECEDING> ... </PRECEDING> [0..1]
<NODETYPE> ... </NODETYPE> [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 ref=" NODETYPE "/>
<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>
top

Element: NODETYPE

Name NODETYPE
Type anyType
Nillable no
Abstract yes
Documentation Type for a node. This might be an AXIOM, THEOREM or something else.
XML Instance Representation
<NODETYPE> ... </NODETYPE>
Schema Component Representation
<xs:element name="NODETYPE" abstract="true"/>
top

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.
XML Instance Representation
<NOT>
<FORMULATYPE> ... </FORMULATYPE> [1]
</NOT>
Schema Component Representation
<xs:element name="NOT" substitutionGroup="FORMULATYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULATYPE "/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

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.
XML Instance Representation
<OR>
<FORMULATYPE> ... </FORMULATYPE> [1..*]
</OR>
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>
top

Element: PRECEDING

Name PRECEDING
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Text that precedes the mathematical meat.
XML Instance Representation
<PRECEDING>
<LATEX> ... </LATEX> [1..*]
</PRECEDING>
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>
top

Element: PREDCON

  • 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] ?">
<TERMTYPE> ... </TERMTYPE> [0..*]
</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>
top

Element: PREDVAR

  • 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] ?">
<TERMTYPE> ... </TERMTYPE> [0..*]
</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>
top

Element: PROOF

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]">
<LATEX> ... </LATEX> [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>
top

Element: QEDEQ

Name QEDEQ
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Root element. Any QEDEQ document has this structure. If this XSD is changed don't forget to change also: the visitor org.qedeq.kernel.xml.mapper.Context2SimpleXPath, the traverser org.qedeq.kernel.se.visitor.QedeqNotNullTraverser, the builder org.qedeq.kernel.bo.service.QedeqVoBuilder, the visitor org.qedeq.kernel.se.visitor.QedeqVisitor, the visitor org.qedeq.kernel.se.visitor.AbstractModuleVisitor and the parsers.
XML Instance Representation
<QEDEQ>
<HEADER
email=" EMAILTYPE [0..1] ?"> [1] ?
<SPECIFICATION> ... </SPECIFICATION> [1] ?
<TITLE> ... </TITLE> [1] ?
<ABSTRACT> [1] ?
<LATEX> ... </LATEX> [1..*]
</ABSTRACT>
<AUTHORS> [1] ?
<AUTHOR
email=" EMAILTYPE [0..1] ?"> [1] ?
<NAME> [1] ?
<LATEX> ... </LATEX> [1]
</NAME>
</AUTHOR>
</AUTHORS>
<IMPORTS> [0..1] ?
<IMPORT
label=" xs:NMTOKEN [1] ?"> [1..*] ?
</IMPORT>
</IMPORTS>
<USEDBY> [0..1] ?
</USEDBY>
</HEADER>
<CHAPTER
noNumber=" xs:boolean [0..1] ?"> [1..*] ?
<TITLE> ... </TITLE> [1] ?
<INTRODUCTION> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</INTRODUCTION>
<SECTION
noNumber=" xs:boolean [0..1] ?"> [0..*] ?
<TITLE> ... </TITLE> [1] ?
<INTRODUCTION> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</INTRODUCTION>
<SUBSECTIONS> [0..1] ?
</SUBSECTIONS>
</SECTION>
</CHAPTER>
<BIBLIOGRAPHY> [0..1] ?
<ITEM
label=" xs:NMTOKEN [1] ?"> [1..*] ?
<LATEX> ... </LATEX> [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=" SPECIFICATION "/>
<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:element ref=" SPECIFICATION "/>
</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:element ref=" SPECIFICATION "/>
</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>
top

Element: QUANTIFIER_INTERSECTION

  • 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>
<VAR> ... </VAR> [1]
<FORMULATYPE> ... </FORMULATYPE> [1]
</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>
top

Element: QUANTIFIER_UNION

  • 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>
<VAR> ... </VAR> [1]
<FORMULATYPE> ... </FORMULATYPE> [1]
</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>
top

Element: REASONTYPE

Name REASONTYPE
Type anyType
Nillable no
Abstract yes
Documentation Type for a rule that can derive a new formula.
XML Instance Representation
<REASONTYPE> ... </REASONTYPE>
Schema Component Representation
<xs:element name="REASONTYPE" abstract="true"/>
top

Element: RENAME

  • This element can be used wherever the following element is referenced:
Name RENAME
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Rename of bound subject variable at given occurrence by another one. For rule version 0.01.00.
XML Instance Representation
<RENAME
ref=" xs:string [0..1] ?"
occurrence=" xs:int [0..1] ?">
<VAR> ... </VAR> [0..2] ?
</RENAME>
Schema Component Representation
<xs:element name="RENAME" substitutionGroup="REASONTYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" VAR " minOccurs="0" maxOccurs="2"/>
</xs:sequence>
<xs:attribute name="ref" type=" xs:string "/>
<xs:attribute name="occurrence" type=" xs:int "/>
</xs:complexType>
</xs:element>
top

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] ?
<LATEX> ... </LATEX> [1..*]
</DESCRIPTION>
<PROOF
kind=" xs:NMTOKEN [1]"
level=" xs:string [1]"> [0..*] ?
<LATEX> ... </LATEX> [1..*]
</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>
top

Element: SPECIFICATION

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] ?
<LOCATION
value=" LOCATIONTYPE [1] ?"/> [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>
top

Element: SUBSECTION

  • 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] ?">
<TITLE> ... </TITLE> [0..1] ?
<TEXT> [0..1] ?
<LATEX> ... </LATEX> [0..*]
</TEXT>
</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>
top

Element: SUBSECTIONTYPE

  • The following elements can be used wherever this element is referenced:
Name SUBSECTIONTYPE
Type anyType
Nillable no
Abstract yes
Documentation Type for a subsection.
XML Instance Representation
<SUBSECTIONTYPE> ... </SUBSECTIONTYPE>
Schema Component Representation
<xs:element name="SUBSECTIONTYPE" abstract="true"/>
top

Element: SUBST_FREE

  • This element can be used wherever the following element is referenced:
Name SUBST_FREE
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Substitute of free subject variable by term. For rule version 0.01.00.
XML Instance Representation
<SUBST_FREE
ref=" xs:string [0..1] ?">
<VAR> ... </VAR> [0..1] ?
<TERM> ... </TERM> [0..1] ?
</SUBST_FREE>
Schema Component Representation
<xs:element name="SUBST_FREE" substitutionGroup="REASONTYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" VAR " minOccurs="0" maxOccurs="1"/>
<xs:element ref=" TERM " minOccurs="0" maxOccurs="1"/>
</xs:sequence>
<xs:attribute name="ref" type=" xs:string "/>
</xs:complexType>
</xs:element>
top

Element: SUBST_FUNVAR

  • This element can be used wherever the following element is referenced:
Name SUBST_FUNVAR
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Substitute of function variable by term. For rule version 0.01.00.
XML Instance Representation
<SUBST_FUNVAR
ref=" xs:string [0..1] ?">
<FUNVAR> ... </FUNVAR> [0..1] ?
<TERM> ... </TERM> [0..1] ?
</SUBST_FUNVAR>
Schema Component Representation
<xs:element name="SUBST_FUNVAR" substitutionGroup="REASONTYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FUNVAR " minOccurs="0" maxOccurs="1"/>
<xs:element ref=" TERM " minOccurs="0" maxOccurs="1"/>
</xs:sequence>
<xs:attribute name="ref" type=" xs:string "/>
</xs:complexType>
</xs:element>
top

Element: SUBST_PREDVAR

  • This element can be used wherever the following element is referenced:
Name SUBST_PREDVAR
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Substitute of predicate variable by formula. For rule version 0.01.00.
XML Instance Representation
<SUBST_PREDVAR
ref=" xs:string [0..1] ?">
<PREDVAR> ... </PREDVAR> [0..1] ?
<FORMULA> ... </FORMULA> [0..1] ?
</SUBST_PREDVAR>
Schema Component Representation
<xs:element name="SUBST_PREDVAR" substitutionGroup="REASONTYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" PREDVAR " minOccurs="0" maxOccurs="1"/>
<xs:element ref=" FORMULA " minOccurs="0" maxOccurs="1"/>
</xs:sequence>
<xs:attribute name="ref" type=" xs:string "/>
</xs:complexType>
</xs:element>
top

Element: SUCCEEDING

Name SUCCEEDING
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Text that succeeds mathematical meat.
XML Instance Representation
<SUCCEEDING>
<LATEX> ... </LATEX> [1..*]
</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>
top

Element: TERM

Name TERM
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Logical language: Term.
XML Instance Representation
<TERM>
<TERMTYPE> ... </TERMTYPE> [1]
</TERM>
Schema Component Representation
<xs:element name="TERM">
<xs:complexType>
<xs:sequence>
<xs:element ref=" TERMTYPE "/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: TERMTYPE

Name TERMTYPE
Type anyType
Nillable no
Abstract yes
Documentation Type for a term.
XML Instance Representation
<TERMTYPE> ... </TERMTYPE>
Schema Component Representation
<xs:element name="TERMTYPE" abstract="true"/>
top

Element: THEOREM

  • 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>
<FORMULA> ... </FORMULA> [1] ?
<DESCRIPTION> [0..1] ?
<LATEX> ... </LATEX> [1..*]
</DESCRIPTION>
<PROOF> ... </PROOF> [0..*]
<FORMAL_PROOF> ... </FORMAL_PROOF> [0..*]
</THEOREM>
Schema Component Representation
<xs:element name="THEOREM" substitutionGroup="NODETYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" FORMULA "/>
<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>
top

Element: TITLE

Name TITLE
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Title of a text segment.
XML Instance Representation
<TITLE>
<LATEX> ... </LATEX> [1..*]
</TITLE>
Schema Component Representation
<xs:element name="TITLE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" LATEX " maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
</xs:element>
top

Element: UNIVERSAL

  • This element can be used wherever the following element is referenced:
Name UNIVERSAL
Type Locally-defined complex type
Nillable no
Abstract no
Documentation Rule of universal generalization. For rule version 0.01.00.
XML Instance Representation
<UNIVERSAL
ref=" xs:string [0..1] ?">
<VAR> ... </VAR> [0..1] ?
</UNIVERSAL>
Schema Component Representation
<xs:element name="UNIVERSAL" substitutionGroup="REASONTYPE">
<xs:complexType>
<xs:sequence>
<xs:element ref=" VAR " minOccurs="0" maxOccurs="1"/>
</xs:sequence>
<xs:attribute name="ref" type=" xs:string "/>
</xs:complexType>
</xs:element>
top

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>
top

Global Definitions

Simple Type: EMAILTYPE

Super-types: xs:token < EMAILTYPE (by restriction)
Sub-types: None
Name EMAILTYPE
Content
  • Base XSD Type: token
  • length >= 0
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="200"/>
</xs:restriction>
</xs:simpleType>
top

Simple Type: LEVELTYPE

Super-types: xs:byte < LEVELTYPE (by restriction)
Sub-types: None
Name LEVELTYPE
Content
  • Base XSD Type: byte
Documentation Type for a level. Detail level.
Schema Component Representation
<xs:simpleType name="LEVELTYPE">
<xs:restriction base=" xs:byte "/>
</xs:simpleType>
top

Simple Type: LOCATIONTYPE

Super-types: xs:anyURI < LOCATIONTYPE (by restriction)
Sub-types: None
Name LOCATIONTYPE
Content
  • Base XSD Type: anyURI
Documentation Type for a location. Location directory of module.
Schema Component Representation
<xs:simpleType name="LOCATIONTYPE">
<xs:restriction base=" xs:anyURI "/>
</xs:simpleType>
top

Legend

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.
Name AusAddress
Abstract no
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.

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.)
top

Glossary

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.

top