Showing:

Annotations
Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element ruleml:Exists.Node.def / ruleml:Exists
Namespace http://ruleml.org/spec
Annotations
Explicit existential quantifier. It consists of one or more variables
(<Var>), each optionally surrounded by <declare> role tags, followed by a logical formula
(optionally surrounded by <formula> role tags). See
http://deliberation.ruleml.org/1.02/glossary/#gloss-Exists
Diagram
Type ruleml:Exists.type.def
Properties
content complex
Model
Children ruleml:declare, ruleml:formula, ruleml:meta
Instance
<ruleml:Exists xml:id="" node="" style="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:meta xml:id="">{1,1}</ruleml:meta>
  <ruleml:declare xml:id="">{1,1}</ruleml:declare>
  <ruleml:formula xml:id="">{1,1}</ruleml:formula>
</ruleml:Exists>
Attributes
QName Type Use Annotation
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 form="qualified" name="Exists" type="ruleml:Exists.type.def">
  <xs:annotation>
    <xs:documentation>Explicit existential quantifier. It consists of one or more variables (<Var>), each optionally surrounded by <declare> role tags, followed by a logical formula (optionally surrounded by <formula> role tags). See http://deliberation.ruleml.org/1.02/glossary/#gloss-Exists</xs:documentation>
  </xs:annotation>
</xs:element>
Element Group ruleml:Exists.Node.def
Namespace http://ruleml.org/spec
Annotations
The children of an existential quantification are divided into two sections,
a header section for modifiers, and a main section for the variable declarations and body
formula.
Diagram
Used by
Model
Children ruleml:Exists
Source
<xs:group name="Exists.Node.def">
  <xs:annotation>
    <xs:documentation>The children of an existential quantification are divided into two sections, a header section for modifiers, and a main section for the variable declarations and body formula.</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:element form="qualified" name="Exists" type="ruleml:Exists.type.def">
      <xs:annotation>
        <xs:documentation>Explicit existential quantifier. It consists of one or more variables (<Var>), each optionally surrounded by <declare> role tags, followed by a logical formula (optionally surrounded by <formula> role tags). See http://deliberation.ruleml.org/1.02/glossary/#gloss-Exists</xs:documentation>
      </xs:annotation>
    </xs:element>
  </xs:sequence>
</xs:group>