Showing:

Attributes
Diagrams
Facets
Instances
Model
Properties
Source
Used by
Element ruleml:Atom
Namespace http://ruleml.org/spec
Diagram
Properties
content complex
Used by
Model
Children ruleml:arg, ruleml:degree, ruleml:meta, ruleml:oid, ruleml:op, ruleml:repo, ruleml:resl, ruleml:slot
Instance
<ruleml:Atom xml:base="" closure="" xml:id="" node="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:meta xml:base="" xml:id="">{0,unbounded}</ruleml:meta>
  <ruleml:oid xml:base="" xml:id="">{0,1}</ruleml:oid>
  <ruleml:degree xml:base="" xml:id="">{0,1}</ruleml:degree>
  <ruleml:op xml:base="" xml:id="">{1,1}</ruleml:op>
  <ruleml:arg xml:base="" xml:id="" index="">{0,unbounded}</ruleml:arg>
  <ruleml:repo xml:base="" xml:id="">{0,1}</ruleml:repo>
  <ruleml:slot xml:base="" card="" xml:id="" weight="">{0,unbounded}</ruleml:slot>
  <ruleml:resl xml:base="" xml:id="">{0,1}</ruleml:resl>
</ruleml:Atom>
Attributes
QName Type Use
closure restriction of xs:token optional
node xs:anyURI optional
xml:base xs:anyURI optional
xml:id xs:ID optional
Source
<xs:element name="Atom">
  <xs:complexType>
    <xs:sequence>
      <xs:element minOccurs="0" maxOccurs="unbounded" ref="ruleml:meta"/>
      <xs:element minOccurs="0" ref="ruleml:oid"/>
      <xs:element minOccurs="0" ref="ruleml:degree"/>
      <xs:group ref="ruleml:op"/>
      <xs:element minOccurs="0" maxOccurs="unbounded" ref="ruleml:arg"/>
      <xs:element minOccurs="0" ref="ruleml:repo"/>
      <xs:element minOccurs="0" maxOccurs="unbounded" ref="ruleml:slot"/>
      <xs:element minOccurs="0" ref="ruleml:resl"/>
    </xs:sequence>
    <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="node" type="xs:anyURI"/>
    <xs:attribute ref="xml:base"/>
    <xs:attribute ref="xml:id"/>
  </xs:complexType>
</xs:element>
Attribute ruleml:Atom / @closure
Namespace No namespace
Type restriction of xs:token
Properties
content simple
Facets
enumeration universal
enumeration existential
Used by
Element ruleml:Atom
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 ruleml:Atom / @node
Namespace No namespace
Type xs:anyURI
Properties
content simple
Used by
Element ruleml:Atom
Source
<xs:attribute name="node" type="xs:anyURI"/>