Showing:

Annotations
Attributes
Diagrams
Source
Used by
Attribute Group ruleml:Implies-datt.choice
Namespace http://ruleml.org/spec
Annotations
implications have inference direction and material implication as an
attribute.  implications have scoped attributes that are activated at full first-order
logic
Diagram
Used by
Attributes
QName Type Use Annotation
direction ruleml:direction.value optional
An attribute indicating the intended direction of an implication rule's
(<Implies>) inferencing.  It has a neutral value of "bidirectional". Other predefined values
are "forward" and "backward". See
http://deliberation.ruleml.org/1.02/glossary/.40direction
material ruleml:material.value optional
An attribute indicating the kind of an implication rule (<Implies>).
Predefined values are "yes" (the default) and "no". See
http://deliberation.ruleml.org/1.02/glossary/.40material
Source
<xs:attributeGroup name="Implies-datt.choice">
  <xs:annotation>
    <xs:documentation>implications have inference direction and material implication as an attribute. implications have scoped attributes that are activated at full first-order logic</xs:documentation>
  </xs:annotation>
  <xs:attributeGroup ref="ruleml:direction-att-inf.choice"/>
  <xs:attributeGroup ref="ruleml:material-att-inf.choice"/>
</xs:attributeGroup>