Showing:

Annotations
Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element ruleml:Implies
Namespace http://ruleml.org/spec
Annotations
<Implies>: an implication between two formulas, a premise and a conclusion.
See  http://deliberation.ruleml.org/1.02/glossary/#gloss-Implies
Diagram
Type ruleml:Implies.type.def
Properties
content complex
Used by
Model
Children ruleml:if, ruleml:meta, ruleml:then
Instance
<ruleml:Implies direction="" xml:id="" material="" node="" style="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:meta xml:id="">{1,1}</ruleml:meta>
  <ruleml:if xml:id="">{1,1}</ruleml:if>
  <ruleml:then xml:id="">{1,1}</ruleml:then>
</ruleml:Implies>
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
node ruleml:node.value optional
An attribute for referring to a IRI.     See
http://deliberation.ruleml.org/1.02/glossary/.40node
style ruleml:style.value optional
@style: defines a reference to a semantic profile. See
http://consumer.ruleml.org/1.02/glossary/#.40style
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 name="Implies" type="ruleml:Implies.type.def">
  <xs:annotation>
    <xs:documentation><Implies>: an implication between two formulas, a premise and a conclusion. See http://deliberation.ruleml.org/1.02/glossary/#gloss-Implies</xs:documentation>
  </xs:annotation>
</xs:element>