Showing:

Attributes
Diagrams
Model
Source
Used by
Complex Type ruleml:Assert.type.def
Namespace http://ruleml.org/spec
Diagram
Used by
Element ruleml:Assert
Model
Children ruleml:formula, ruleml:meta
Attributes
QName Type Use Annotation
mapDirection ruleml:mapDirection.value optional
An attribute indicating the intended direction of implication rule
(<Implies>) inferencing of elements  falling within its scope (i.e. child elements). See
attribute mapping for more details. This attribute has a  neutral default value of
"bidirectional". Other predefined values are "forward" and "backward". See
http://deliberation.ruleml.org/1.02/glossary/.40mapDirection
mapMaterial ruleml:mapMaterial.value optional
An attribute indicating the kind of all implication rules (<Implies>)
falling within its scope (i.e. child elements).   Predefined values are "yes" (the
default) and "no". See
http://deliberation.ruleml.org/1.02/glossary/.40mapMaterial
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:complexType name="Assert.type.def">
  <xs:sequence>
    <xs:group ref="ruleml:AssertRetract.header"/>
    <xs:group ref="ruleml:AssertRetract.main"/>
  </xs:sequence>
  <xs:attributeGroup ref="ruleml:AssertRetract-datt.choice"/>
  <xs:attributeGroup ref="ruleml:reAssertRetract.attlist"/>
</xs:complexType>