Showing:

Annotations
Attributes
Diagrams
Properties
Source
Used by
Attribute ruleml:closure.attrib.def / @closure
Namespace No namespace
Annotations
An attribute indicating how the contained free variables are quantified.
Allowed values are "universal" and "existential". See
http://deliberation.ruleml.org/1.02/glossary/.40closure
Type ruleml:closure.value
Properties
use required
Used by
Attribute Group ruleml:closure.attrib.def
Source
<xs:attribute name="closure" type="ruleml:closure.value" use="required">
  <xs:annotation>
    <xs:documentation>An attribute indicating how the contained free variables are quantified. Allowed values are "universal" and "existential". See http://deliberation.ruleml.org/1.02/glossary/.40closure</xs:documentation>
  </xs:annotation>
</xs:attribute>
Attribute Group ruleml:closure.attrib.def
Namespace http://ruleml.org/spec
Diagram
Attributes
QName Type Use Annotation
closure ruleml:closure.value required
An attribute indicating how the contained free variables are quantified.
Allowed values are "universal" and "existential". See
http://deliberation.ruleml.org/1.02/glossary/.40closure
Source
<xs:attributeGroup name="closure.attrib.def">
  <xs:attribute name="closure" type="ruleml:closure.value" use="required">
    <xs:annotation>
      <xs:documentation>An attribute indicating how the contained free variables are quantified. Allowed values are "universal" and "existential". See http://deliberation.ruleml.org/1.02/glossary/.40closure</xs:documentation>
    </xs:annotation>
  </xs:attribute>
</xs:attributeGroup>