Showing:

Annotations
Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element ruleml:arg.edge.def / ruleml:arg
Namespace http://ruleml.org/spec
Annotations
<arg>: one argument of an atomic formula. See
http://deliberation.ruleml.org/1.02/glossary/#gloss-arg
Diagram
Type ruleml:arg.type.def
Type hierarchy
Properties
content complex
Model
Children ruleml:After, ruleml:Any, ruleml:Before, ruleml:Data, ruleml:Every, ruleml:Expr, ruleml:Ind, ruleml:Interval, ruleml:Plex, ruleml:Skolem, ruleml:Spatial, ruleml:Time, ruleml:Timer, ruleml:Var
Instance
<ruleml:arg xml:id="" index="" key="" keyref="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:Skolem xml:id="" key="" keyref="" type="">{1,1}</ruleml:Skolem>
  <ruleml:Ind xml:id="" iri="" key="" keyref="" type="">{1,1}</ruleml:Ind>
  <ruleml:Data>{1,1}</ruleml:Data>
  <ruleml:Interval xml:id="" key="" keyref="" type="">{1,1}</ruleml:Interval>
  <ruleml:Spatial xml:id="" key="" keyref="" type="">{1,1}</ruleml:Spatial>
  <ruleml:Time xml:id="" key="" keyref="" type="">{1,1}</ruleml:Time>
  <ruleml:Var xml:id="" key="" keyref="" type="">{1,1}</ruleml:Var>
  <ruleml:Expr xml:id="" key="" keyref="" style="">{1,1}</ruleml:Expr>
  <ruleml:After xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:After>
  <ruleml:Before xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:Before>
  <ruleml:Every xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:Every>
  <ruleml:Any xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:Any>
  <ruleml:Timer xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:Timer>
  <ruleml:Plex xml:id="" key="" keyref="" style="">{1,1}</ruleml:Plex>
</ruleml:arg>
Attributes
QName Type Use Annotation
index ruleml:index.value required
A required attribute for specifying the position of a positional argument
(<arg>) within a logical atom (<Atom>). See
http://deliberation.ruleml.org/1.02/glossary/#gloss-index
key ruleml:key.value optional
keyref ruleml:keyref.value optional
xml:id xs:ID optional
<div>
  <h3>id (as an attribute name)</h3>
  <p>denotes an attribute whose value should be interpreted as if declared to be of type ID. This name is reserved by virtue of its definition in the xml:id specification.</p>
  <p>See
    <a href="http://www.w3.org/TR/xml-id/">http://www.w3.org/TR/xml-id/</a>for information about this attribute.</p>
</div>
Source
<xs:element form="qualified" name="arg" type="ruleml:arg.type.def">
  <xs:annotation>
    <xs:documentation><arg>: one argument of an atomic formula. See http://deliberation.ruleml.org/1.02/glossary/#gloss-arg</xs:documentation>
  </xs:annotation>
</xs:element>
Element Group ruleml:arg.edge.def
Namespace http://ruleml.org/spec
Annotations
A role used for the positional arguments of a logical atom (<Atom>), i.e. any
of the following: <Ind>, <Data>, <Var>, <Skolem> or <Reify> (also <Expr> and <Plex> in non-Datalog
sublanguages).
Diagram
Used by
Model
Children ruleml:arg
Source
<xs:group name="arg.edge.def">
  <xs:annotation>
    <xs:documentation>A role used for the positional arguments of a logical atom (<Atom>), i.e. any of the following: <Ind>, <Data>, <Var>, <Skolem> or <Reify> (also <Expr> and <Plex> in non-Datalog sublanguages).</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:element form="qualified" name="arg" type="ruleml:arg.type.def">
      <xs:annotation>
        <xs:documentation><arg>: one argument of an atomic formula. See http://deliberation.ruleml.org/1.02/glossary/#gloss-arg</xs:documentation>
      </xs:annotation>
    </xs:element>
  </xs:sequence>
</xs:group>