Showing:

Attributes
Diagrams
Facets
Instances
Model
Properties
Source
Used by
Element spec:Or / spec:Or
Namespace http://ruleml.org/spec
Diagram
Properties
content complex
Model
Children spec:formula, spec:meta
Instance
<spec:Or xml:base="" closure="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="" xmlns:spec="http://ruleml.org/spec">
  <spec:meta xml:base="" xml:id="">{0,unbounded}</spec:meta>
  <spec:formula xml:base="" xml:id="">{1,1}</spec:formula>
</spec:Or>
Attributes
QName Type Use
closure restriction of xs:token optional
mapClosure restriction of xs:token optional
mapDirection restriction of xs:token required
mapMaterial restriction of xs:token required
node xs:anyURI optional
xml:base xs:anyURI optional
xml:id xs:ID optional
Source
<xs:element name="Or">
  <xs:complexType>
    <xs:sequence>
      <xs:element minOccurs="0" maxOccurs="unbounded" ref="spec:meta"/>
      <xs:group minOccurs="0" maxOccurs="unbounded" ref="spec:formula_4"/>
    </xs:sequence>
    <xs:attribute name="mapMaterial" use="required">
      <xs:simpleType>
        <xs:restriction base="xs:token">
          <xs:enumeration value="yes"/>
          <xs:enumeration value="no"/>
        </xs:restriction>
      </xs:simpleType>
    </xs:attribute>
    <xs:attribute name="mapDirection" use="required">
      <xs:simpleType>
        <xs:restriction base="xs:token">
          <xs:enumeration value="bidirectional"/>
          <xs:enumeration value="forward"/>
          <xs:enumeration value="backward"/>
        </xs:restriction>
      </xs:simpleType>
    </xs:attribute>
    <xs:attribute name="closure">
      <xs:simpleType>
        <xs:restriction base="xs:token">
          <xs:enumeration value="universal"/>
          <xs:enumeration value="existential"/>
        </xs:restriction>
      </xs:simpleType>
    </xs:attribute>
    <xs:attribute name="mapClosure">
      <xs:simpleType>
        <xs:restriction base="xs:token">
          <xs:enumeration value="universal"/>
          <xs:enumeration value="existential"/>
        </xs:restriction>
      </xs:simpleType>
    </xs:attribute>
    <xs:attribute name="node" type="xs:anyURI"/>
    <xs:attribute ref="xml:base"/>
    <xs:attribute ref="xml:id"/>
  </xs:complexType>
</xs:element>
Attribute spec:Or / spec:Or / @mapMaterial
Namespace No namespace
Type restriction of xs:token
Properties
use required
Facets
enumeration yes
enumeration no
Used by
Element spec:Or/spec:Or
Source
<xs:attribute name="mapMaterial" use="required">
  <xs:simpleType>
    <xs:restriction base="xs:token">
      <xs:enumeration value="yes"/>
      <xs:enumeration value="no"/>
    </xs:restriction>
  </xs:simpleType>
</xs:attribute>
Attribute spec:Or / spec:Or / @mapDirection
Namespace No namespace
Type restriction of xs:token
Properties
use required
Facets
enumeration bidirectional
enumeration forward
enumeration backward
Used by
Element spec:Or/spec:Or
Source
<xs:attribute name="mapDirection" use="required">
  <xs:simpleType>
    <xs:restriction base="xs:token">
      <xs:enumeration value="bidirectional"/>
      <xs:enumeration value="forward"/>
      <xs:enumeration value="backward"/>
    </xs:restriction>
  </xs:simpleType>
</xs:attribute>
Attribute spec:Or / spec:Or / @closure
Namespace No namespace
Type restriction of xs:token
Properties
content simple
Facets
enumeration universal
enumeration existential
Used by
Element spec:Or/spec:Or
Source
<xs:attribute name="closure">
  <xs:simpleType>
    <xs:restriction base="xs:token">
      <xs:enumeration value="universal"/>
      <xs:enumeration value="existential"/>
    </xs:restriction>
  </xs:simpleType>
</xs:attribute>
Attribute spec:Or / spec:Or / @mapClosure
Namespace No namespace
Type restriction of xs:token
Properties
content simple
Facets
enumeration universal
enumeration existential
Used by
Element spec:Or/spec:Or
Source
<xs:attribute name="mapClosure">
  <xs:simpleType>
    <xs:restriction base="xs:token">
      <xs:enumeration value="universal"/>
      <xs:enumeration value="existential"/>
    </xs:restriction>
  </xs:simpleType>
</xs:attribute>
Attribute spec:Or / spec:Or / @node
Namespace No namespace
Type xs:anyURI
Properties
content simple
Used by
Element spec:Or/spec:Or
Source
<xs:attribute name="node" type="xs:anyURI"/>
Element Group spec:Or
Namespace http://ruleml.org/spec
Diagram
Used by
Model
Children spec:Or
Source
<xs:group name="Or">
  <xs:sequence>
    <xs:element name="Or">
      <xs:complexType>
        <xs:sequence>
          <xs:element minOccurs="0" maxOccurs="unbounded" ref="spec:meta"/>
          <xs:group minOccurs="0" maxOccurs="unbounded" ref="spec:formula_4"/>
        </xs:sequence>
        <xs:attribute name="mapMaterial" use="required">
          <xs:simpleType>
            <xs:restriction base="xs:token">
              <xs:enumeration value="yes"/>
              <xs:enumeration value="no"/>
            </xs:restriction>
          </xs:simpleType>
        </xs:attribute>
        <xs:attribute name="mapDirection" use="required">
          <xs:simpleType>
            <xs:restriction base="xs:token">
              <xs:enumeration value="bidirectional"/>
              <xs:enumeration value="forward"/>
              <xs:enumeration value="backward"/>
            </xs:restriction>
          </xs:simpleType>
        </xs:attribute>
        <xs:attribute name="closure">
          <xs:simpleType>
            <xs:restriction base="xs:token">
              <xs:enumeration value="universal"/>
              <xs:enumeration value="existential"/>
            </xs:restriction>
          </xs:simpleType>
        </xs:attribute>
        <xs:attribute name="mapClosure">
          <xs:simpleType>
            <xs:restriction base="xs:token">
              <xs:enumeration value="universal"/>
              <xs:enumeration value="existential"/>
            </xs:restriction>
          </xs:simpleType>
        </xs:attribute>
        <xs:attribute name="node" type="xs:anyURI"/>
        <xs:attribute ref="xml:base"/>
        <xs:attribute ref="xml:id"/>
      </xs:complexType>
    </xs:element>
  </xs:sequence>
</xs:group>