Showing:

Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element ruleml:meta
Namespace http://ruleml.org/spec
Diagram
Properties
content complex
Used by
Model
Children ruleml:And, ruleml:Atom, ruleml:Entails, ruleml:Equal, ruleml:Equivalent, ruleml:Exists, ruleml:Forall, ruleml:Implies, ruleml:Neg, ruleml:Or, ruleml:Rulebase
Instance
<ruleml:meta xml:base="" xml:id="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:Atom xml:base="" closure="" xml:id="" node="">{1,1}</ruleml:Atom>
  <ruleml:Equal xml:base="" xml:id="" node="" oriented="">{1,1}</ruleml:Equal>
  <ruleml:And xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:And>
  <ruleml:Or xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Or>
  <ruleml:Neg xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Neg>
  <ruleml:Implies xml:base="" closure="" direction="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" material="" node="">{1,1}</ruleml:Implies>
  <ruleml:Equivalent xml:base="" closure="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Equivalent>
  <ruleml:Forall xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Forall>
  <ruleml:Exists xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Exists>
  <ruleml:Entails xml:base="" xml:id="" node="">{1,1}</ruleml:Entails>
  <ruleml:Rulebase xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Rulebase>
</ruleml:meta>
Attributes
QName Type Use
xml:base xs:anyURI optional
xml:id xs:ID optional
Source
<xs:element name="meta">
  <xs:complexType>
    <xs:choice>
      <xs:element ref="ruleml:Atom"/>
      <xs:element ref="ruleml:Equal"/>
      <xs:group ref="ruleml:And_2"/>
      <xs:group ref="ruleml:Or_2"/>
      <xs:element ref="ruleml:Neg"/>
      <xs:element ref="ruleml:Implies"/>
      <xs:element ref="ruleml:Equivalent"/>
      <xs:element ref="ruleml:Forall"/>
      <xs:element ref="ruleml:Exists"/>
      <xs:element ref="ruleml:Entails"/>
      <xs:element ref="ruleml:Rulebase"/>
    </xs:choice>
    <xs:attribute ref="xml:base"/>
    <xs:attribute ref="xml:id"/>
  </xs:complexType>
</xs:element>