Showing:

Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element spec:arg
Namespace http://ruleml.org/spec
Diagram
Properties
content complex
Used by
Model
Children spec:Data, spec:Expr, spec:Ind, spec:Plex, spec:Reify, spec:Skolem, spec:Var
Instance
<spec:arg xml:base="" xml:id="" index="" xmlns:spec="http://ruleml.org/spec">
  <spec:Skolem xml:base="" xml:id="" node="" type="">{1,1}</spec:Skolem>
  <spec:Reify xml:base="" xml:id="" node="">{1,1}</spec:Reify>
  <spec:Ind xml:base="" xml:id="" iri="" node="" type="">{1,1}</spec:Ind>
  <spec:Data>{1,1}</spec:Data>
  <spec:Var xml:base="" xml:id="" node="" type="">{1,1}</spec:Var>
  <spec:Expr xml:base="" xml:id="" node="" per="" type="">{1,1}</spec:Expr>
  <spec:Plex xml:base="" xml:id="" node="">{1,1}</spec:Plex>
</spec:arg>
Attributes
QName Type Use
index xs:positiveInteger required
xml:base xs:anyURI optional
xml:id xs:ID optional
Source
<xs:element name="arg">
  <xs:complexType>
    <xs:choice>
      <xs:element ref="spec:Skolem"/>
      <xs:element ref="spec:Reify"/>
      <xs:element ref="spec:Ind"/>
      <xs:element ref="spec:Data"/>
      <xs:element ref="spec:Var"/>
      <xs:element ref="spec:Expr"/>
      <xs:group ref="spec:Plex"/>
    </xs:choice>
    <xs:attribute name="index" use="required" type="xs:positiveInteger"/>
    <xs:attribute ref="xml:base"/>
    <xs:attribute ref="xml:id"/>
  </xs:complexType>
</xs:element>
Attribute spec:arg / @index
Namespace No namespace
Type xs:positiveInteger
Properties
use required
Used by
Element spec:arg
Source
<xs:attribute name="index" use="required" type="xs:positiveInteger"/>