schema/mathml2/content/logic.xsd

   1 <xs:schema
   2   xmlns:xs="http://www.w3.org/2001/XMLSchema"
   3   xmlns="http://www.w3.org/1998/Math/MathML"
   4   targetNamespace="http://www.w3.org/1998/Math/MathML"
   5   elementFormDefault="qualified"
   6  >
   7
   8 <xs:annotation>
   9   <xs:documentation>
  10   This is an XML Schema module for the logic operators of content MathML.
  11   Author: St&#233;phane Dalmas, INRIA.
  12   </xs:documentation>
  13 </xs:annotation>
  14
  15 <!-- a common type for all this -->
  16
  17 <xs:complexType name="Logic.type">
  18   <xs:attributeGroup ref="Definition.attrib"/>
  19   <xs:attributeGroup ref="Common.attrib"/>
  20 </xs:complexType>
  21
  22 <xs:element name="and" type="Elementary-functions.type"/>
  23 <xs:element name="or" type="Logic.type"/>
  24 <xs:element name="xor" type="Logic.type"/>
  25
  26 <xs:element name="not" type="Logic.type"/>
  27
  28 <xs:element name="exists" type="Logic.type"/>
  29 <xs:element name="forall" type="Logic.type"/>
  30
  31 <xs:element name="implies" type="Logic.type"/>
  32
  33 <!-- And the group of everything -->
  34
  35 <xs:group name="Content-logic.class">
  36   <xs:choice>
  37     <xs:element ref="and"/>
  38     <xs:element ref="or"/>
  39     <xs:element ref="xor"/>
  40     <xs:element ref="not"/>
  41     <xs:element ref="exists"/>
  42     <xs:element ref="forall"/>
  43     <xs:element ref="implies"/>
  44   </xs:choice>
  45 </xs:group>
  46
  47 </xs:schema>
  48 <!--
  49   Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
  50   of Technology, Institut National de Recherche en Informatique et en
  51   Automatique, Keio University). All Rights Reserved. See
  52   http://www.w3.org/Consortium/Legal/.
  53   -->