Showing:

Diagrams
Source
Used by
Simple Type ruleml:closure.value
Namespace http://ruleml.org/spec
Diagram
Type union of(ruleml:PrefixedCURIE.datatype, ruleml:AbsIRI.datatype, restriction of xs:token)
Used by
Source
<xs:simpleType name="closure.value">
  <xs:union memberTypes="ruleml:PrefixedCURIE.datatype ruleml:AbsIRI.datatype">
    <xs:simpleType>
      <xs:restriction base="xs:token">
        <xs:enumeration value="universal"/>
        <xs:enumeration value="existential"/>
      </xs:restriction>
    </xs:simpleType>
  </xs:union>
</xs:simpleType>