<?xml version="1.0" encoding="iso-8859-1"?>
<module name="Ft.Rdf.Inference.Assert" file="/work/a/ports/textproc/py-4suite/work/4Suite-1.0b1/build/lib.freebsd-7.1-RELEASE-i386-2.4/Ft/Rdf/Inference/Assert.py">
  <modification-date>2001-09-16 23:05:44</modification-date>
  <abstract>WWW: http://4suite.org/4RDF         e-mail: support@4suite.org</abstract>
  <description>Copyright (c) 1999 Fourthought Inc, USA.   All Rights Reserved.
See  http://4suite.org/COPYRIGHT  for license and copyright information</description>
  <classes>
    <class name="Assert" public="yes">
      <bases>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="Assert" module="Ft.Rdf.Inference.Assert"/>
      </method-resolution-order>
      <methods documented="yes" class="Assert" module="Ft.Rdf.Inference.Assert" inherited="no">
        <method public="no" name="__init__" id="Assert-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="id_"/>
            <arg name="negative"/>
            <arg name="arguments"/>
          </arguments>
        </method>
        <method public="yes" name="assert_" id="Assert-assert_">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="infEng"/>
            <arg name="context"/>
          </arguments>
        </method>
        <method public="yes" name="chain" id="Assert-chain">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="infEng"/>
            <arg name="context"/>
          </arguments>
        </method>
      </methods>
    </class>
    <class name="DualAssert" public="yes">
      <bases>
        <base documented="yes" class="Assert" module="Ft.Rdf.Inference.Assert"/>
      </bases>
      <abstract>Stored in RDF Model as triple.  For instance
ate(X, Y), if the ate predicate is in the http://spam.com namespace
and the UUID of the X resource is 132ad72a-f1e0-4482-82e3-e7d790d4f56
and the UUID of the Y resource is 23bd4d35-afa1-4be1-8d80-e34bbed9db7d
is mapped to
(urn:uuid:132ad72a-f1e0-4482-82e3-e7d790d4f56, http://spam.com#ate, 23bd4d35-afa1-4be1-8d80-e34bbed9db7d)</abstract>
      <description/>
      <method-resolution-order>
        <base name="DualAssert" module="Ft.Rdf.Inference.Assert"/>
        <base name="Assert" module="Ft.Rdf.Inference.Assert"/>
      </method-resolution-order>
      <methods documented="yes" class="DualAssert" module="Ft.Rdf.Inference.Assert" inherited="no">
        <method public="yes" name="execute" id="DualAssert-execute">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="infEng"/>
            <arg name="context"/>
          </arguments>
        </method>
      </methods>
      <methods documented="yes" class="Assert" module="Ft.Rdf.Inference.Assert" inherited="yes">
        <member-reference name="__init__" public="no"/>
        <member-reference name="assert_" public="yes"/>
        <member-reference name="chain" public="yes"/>
      </methods>
    </class>
    <class name="SingleAssert" public="yes">
      <bases>
        <base documented="yes" class="Assert" module="Ft.Rdf.Inference.Assert"/>
      </bases>
      <abstract>Stored in RDF Model as triple.  For instance
hungry(X), if the hungry predicate is in the http://spam.com namespace
and the UUID of the X resource is 132ad72a-f1e0-4482-82e3-e7d790d4f56
is mapped to
(http://spam.com#hungry, urn:uuid:132ad72a-f1e0-4482-82e3-e7d790d4f56, 1)</abstract>
      <description/>
      <method-resolution-order>
        <base name="SingleAssert" module="Ft.Rdf.Inference.Assert"/>
        <base name="Assert" module="Ft.Rdf.Inference.Assert"/>
      </method-resolution-order>
      <methods documented="yes" class="SingleAssert" module="Ft.Rdf.Inference.Assert" inherited="no">
        <method public="yes" name="execute" id="SingleAssert-execute">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="infEng"/>
            <arg name="context"/>
          </arguments>
        </method>
      </methods>
      <methods documented="yes" class="Assert" module="Ft.Rdf.Inference.Assert" inherited="yes">
        <member-reference name="__init__" public="no"/>
        <member-reference name="assert_" public="yes"/>
        <member-reference name="chain" public="yes"/>
      </methods>
    </class>
  </classes>
</module>
