Showing:

Attributes
Diagrams
Facets
Instances
Model
Properties
Source
Used by
Element ruleml:slot
Namespace http://ruleml.org/spec
Diagram
Properties
content complex
Used by
Model
Children ruleml:Data, ruleml:Expr, ruleml:Ind, ruleml:Plex, ruleml:Reify, ruleml:Skolem, ruleml:Var
Instance
<ruleml:slot xml:base="" card="" xml:id="" weight="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:Ind xml:base="" xml:id="" iri="" node="" type="">{1,1}</ruleml:Ind>
  <ruleml:Data>{1,1}</ruleml:Data>
  <ruleml:Expr xml:base="" xml:id="" node="" per="" type="">{1,1}</ruleml:Expr>
  <ruleml:Plex xml:base="" xml:id="" node="">{1,1}</ruleml:Plex>
  <ruleml:Skolem xml:base="" xml:id="" node="" type="">{1,1}</ruleml:Skolem>
  <ruleml:Reify xml:base="" xml:id="" node="">{1,1}</ruleml:Reify>
  <ruleml:Ind xml:base="" xml:id="" iri="" node="" type="">{1,1}</ruleml:Ind>
  <ruleml:Data>{1,1}</ruleml:Data>
  <ruleml:Var xml:base="" xml:id="" node="" type="">{1,1}</ruleml:Var>
  <ruleml:Expr xml:base="" xml:id="" node="" per="" type="">{1,1}</ruleml:Expr>
  <ruleml:Plex xml:base="" xml:id="" node="">{1,1}</ruleml:Plex>
</ruleml:slot>
Attributes
QName Type Use
card xs:nonNegativeInteger optional
weight restriction of xs:decimal optional
xml:base xs:anyURI optional
xml:id xs:ID optional
Source
<xs:element name="slot">
  <xs:complexType>
    <xs:sequence>
      <xs:choice>
        <xs:element ref="ruleml:Ind"/>
        <xs:element ref="ruleml:Data"/>
        <xs:element ref="ruleml:Expr"/>
        <xs:group ref="ruleml:Plex"/>
      </xs:choice>
      <xs:choice>
        <xs:element ref="ruleml:Skolem"/>
        <xs:element ref="ruleml:Reify"/>
        <xs:element ref="ruleml:Ind"/>
        <xs:element ref="ruleml:Data"/>
        <xs:element ref="ruleml:Var"/>
        <xs:element ref="ruleml:Expr"/>
        <xs:group ref="ruleml:Plex"/>
      </xs:choice>
    </xs:sequence>
    <xs:attribute name="card" type="xs:nonNegativeInteger"/>
    <xs:attribute name="weight">
      <xs:simpleType>
        <xs:restriction base="xs:decimal">
          <xs:minInclusive value="0.0"/>
          <xs:maxInclusive value="1.0"/>
        </xs:restriction>
      </xs:simpleType>
    </xs:attribute>
    <xs:attribute ref="xml:base"/>
    <xs:attribute ref="xml:id"/>
  </xs:complexType>
</xs:element>
Attribute ruleml:slot / @card
Namespace No namespace
Type xs:nonNegativeInteger
Properties
content simple
Used by
Element ruleml:slot
Source
<xs:attribute name="card" type="xs:nonNegativeInteger"/>
Attribute ruleml:slot / @weight
Namespace No namespace
Type restriction of xs:decimal
Properties
content simple
Facets
maxInclusive 1.0
minInclusive 0.0
Used by
Element ruleml:slot
Source
<xs:attribute name="weight">
  <xs:simpleType>
    <xs:restriction base="xs:decimal">
      <xs:minInclusive value="0.0"/>
      <xs:maxInclusive value="1.0"/>
    </xs:restriction>
  </xs:simpleType>
</xs:attribute>