<?xml version="1.0" encoding="iso-8859-1"?>
<module name="Ft.Rdf.Inference.Predicate" file="/work/a/ports/textproc/py-4suite/work/4Suite-1.0b1/build/lib.freebsd-7.1-RELEASE-i386-2.4/Ft/Rdf/Inference/Predicate.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="AndDualPredicate" public="yes">
      <bases>
        <base documented="yes" class="DualPredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base documented="yes" class="AndMixin" module="Ft.Rdf.Inference.Predicate"/>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="AndDualPredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="DualPredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="DualQuery" module="Ft.Rdf.Inference.Query"/>
        <base name="Query" module="Ft.Rdf.Inference.Query"/>
        <base name="AndMixin" module="Ft.Rdf.Inference.Predicate"/>
      </method-resolution-order>
      <methods documented="yes" class="DualPredicate" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="__init__" public="no"/>
        <member-reference name="execute" public="yes"/>
      </methods>
      <methods documented="yes" class="DualQuery" module="Ft.Rdf.Inference.Query" inherited="yes">
        <member-reference name="query" public="yes"/>
      </methods>
      <methods documented="yes" class="AndMixin" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="mergeSkolemVariables" public="yes"/>
        <member-reference name="primeContext" public="yes"/>
      </methods>
    </class>
    <class name="AndMixin" public="yes">
      <bases>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="AndMixin" module="Ft.Rdf.Inference.Predicate"/>
      </method-resolution-order>
      <methods documented="yes" class="AndMixin" module="Ft.Rdf.Inference.Predicate" inherited="no">
        <method public="yes" name="mergeSkolemVariables" id="AndMixin-mergeSkolemVariables">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="context"/>
            <arg name="state"/>
            <arg name="resultInfo"/>
          </arguments>
        </method>
        <method public="yes" name="primeContext" id="AndMixin-primeContext">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="context"/>
          </arguments>
        </method>
      </methods>
    </class>
    <class name="AndSinglePredicate" public="yes">
      <bases>
        <base documented="yes" class="SinglePredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base documented="yes" class="AndMixin" module="Ft.Rdf.Inference.Predicate"/>
      </bases>
      <abstract>################Create all of the mixins##########################</abstract>
      <description/>
      <method-resolution-order>
        <base name="AndSinglePredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="SinglePredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="SingleQuery" module="Ft.Rdf.Inference.Query"/>
        <base name="Query" module="Ft.Rdf.Inference.Query"/>
        <base name="AndMixin" module="Ft.Rdf.Inference.Predicate"/>
      </method-resolution-order>
      <methods documented="yes" class="SinglePredicate" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="__init__" public="no"/>
        <member-reference name="execute" public="yes"/>
      </methods>
      <methods documented="yes" class="SingleQuery" module="Ft.Rdf.Inference.Query" inherited="yes">
        <member-reference name="query" public="yes"/>
      </methods>
      <methods documented="yes" class="AndMixin" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="mergeSkolemVariables" public="yes"/>
        <member-reference name="primeContext" public="yes"/>
      </methods>
    </class>
    <class name="DualPredicate" public="yes">
      <bases>
        <base documented="yes" class="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        <base documented="yes" class="DualQuery" module="Ft.Rdf.Inference.Query"/>
      </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="DualPredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="DualQuery" module="Ft.Rdf.Inference.Query"/>
        <base name="Query" module="Ft.Rdf.Inference.Query"/>
      </method-resolution-order>
      <methods documented="yes" class="DualPredicate" module="Ft.Rdf.Inference.Predicate" inherited="no">
        <method public="no" name="__init__" id="DualPredicate-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="id_"/>
            <arg name="arguments"/>
          </arguments>
          <overrides name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        </method>
        <method public="yes" name="execute" id="DualPredicate-execute">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="infEng"/>
            <arg name="context"/>
          </arguments>
          <overrides name="DualQuery" module="Ft.Rdf.Inference.Query"/>
        </method>
      </methods>
      <methods documented="yes" class="DualQuery" module="Ft.Rdf.Inference.Query" inherited="yes">
        <member-reference name="query" public="yes"/>
      </methods>
    </class>
    <class name="NotDualPredicate" public="yes">
      <bases>
        <base documented="yes" class="DualPredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base documented="yes" class="NotMixin" module="Ft.Rdf.Inference.Predicate"/>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="NotDualPredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="DualPredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="DualQuery" module="Ft.Rdf.Inference.Query"/>
        <base name="Query" module="Ft.Rdf.Inference.Query"/>
        <base name="NotMixin" module="Ft.Rdf.Inference.Predicate"/>
      </method-resolution-order>
      <methods documented="yes" class="DualPredicate" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="__init__" public="no"/>
        <member-reference name="execute" public="yes"/>
      </methods>
      <methods documented="yes" class="DualQuery" module="Ft.Rdf.Inference.Query" inherited="yes">
        <member-reference name="query" public="yes"/>
      </methods>
      <methods documented="yes" class="NotMixin" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="mergeSkolemVariables" public="yes"/>
        <member-reference name="primeContext" public="yes"/>
      </methods>
    </class>
    <class name="NotMixin" public="yes">
      <bases>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="NotMixin" module="Ft.Rdf.Inference.Predicate"/>
      </method-resolution-order>
      <methods documented="yes" class="NotMixin" module="Ft.Rdf.Inference.Predicate" inherited="no">
        <method public="yes" name="mergeSkolemVariables" id="NotMixin-mergeSkolemVariables">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="context"/>
            <arg name="state"/>
            <arg name="resultInfos"/>
          </arguments>
        </method>
        <method public="yes" name="primeContext" id="NotMixin-primeContext">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="context"/>
          </arguments>
        </method>
      </methods>
    </class>
    <class name="NotSinglePredicate" public="yes">
      <bases>
        <base documented="yes" class="SinglePredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base documented="yes" class="NotMixin" module="Ft.Rdf.Inference.Predicate"/>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="NotSinglePredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="SinglePredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="SingleQuery" module="Ft.Rdf.Inference.Query"/>
        <base name="Query" module="Ft.Rdf.Inference.Query"/>
        <base name="NotMixin" module="Ft.Rdf.Inference.Predicate"/>
      </method-resolution-order>
      <methods documented="yes" class="SinglePredicate" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="__init__" public="no"/>
        <member-reference name="execute" public="yes"/>
      </methods>
      <methods documented="yes" class="SingleQuery" module="Ft.Rdf.Inference.Query" inherited="yes">
        <member-reference name="query" public="yes"/>
      </methods>
      <methods documented="yes" class="NotMixin" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="mergeSkolemVariables" public="yes"/>
        <member-reference name="primeContext" public="yes"/>
      </methods>
    </class>
    <class name="OrDualPredicate" public="yes">
      <bases>
        <base documented="yes" class="DualPredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base documented="yes" class="OrMixin" module="Ft.Rdf.Inference.Predicate"/>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="OrDualPredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="DualPredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="DualQuery" module="Ft.Rdf.Inference.Query"/>
        <base name="Query" module="Ft.Rdf.Inference.Query"/>
        <base name="OrMixin" module="Ft.Rdf.Inference.Predicate"/>
      </method-resolution-order>
      <methods documented="yes" class="DualPredicate" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="__init__" public="no"/>
        <member-reference name="execute" public="yes"/>
      </methods>
      <methods documented="yes" class="DualQuery" module="Ft.Rdf.Inference.Query" inherited="yes">
        <member-reference name="query" public="yes"/>
      </methods>
      <methods documented="yes" class="OrMixin" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="mergeSkolemVariables" public="yes"/>
        <member-reference name="primeContext" public="yes"/>
      </methods>
    </class>
    <class name="OrMixin" public="yes">
      <bases>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="OrMixin" module="Ft.Rdf.Inference.Predicate"/>
      </method-resolution-order>
      <methods documented="yes" class="OrMixin" module="Ft.Rdf.Inference.Predicate" inherited="no">
        <method public="yes" name="mergeSkolemVariables" id="OrMixin-mergeSkolemVariables">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="context"/>
            <arg name="state"/>
            <arg name="resultInfos"/>
          </arguments>
        </method>
        <method public="yes" name="primeContext" id="OrMixin-primeContext">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="context"/>
          </arguments>
        </method>
      </methods>
    </class>
    <class name="OrSinglePredicate" public="yes">
      <bases>
        <base documented="yes" class="SinglePredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base documented="yes" class="OrMixin" module="Ft.Rdf.Inference.Predicate"/>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="OrSinglePredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="SinglePredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="SingleQuery" module="Ft.Rdf.Inference.Query"/>
        <base name="Query" module="Ft.Rdf.Inference.Query"/>
        <base name="OrMixin" module="Ft.Rdf.Inference.Predicate"/>
      </method-resolution-order>
      <methods documented="yes" class="SinglePredicate" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="__init__" public="no"/>
        <member-reference name="execute" public="yes"/>
      </methods>
      <methods documented="yes" class="SingleQuery" module="Ft.Rdf.Inference.Query" inherited="yes">
        <member-reference name="query" public="yes"/>
      </methods>
      <methods documented="yes" class="OrMixin" module="Ft.Rdf.Inference.Predicate" inherited="yes">
        <member-reference name="mergeSkolemVariables" public="yes"/>
        <member-reference name="primeContext" public="yes"/>
      </methods>
    </class>
    <class name="Predicate" public="yes">
      <bases>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
      </method-resolution-order>
      <methods documented="yes" class="Predicate" module="Ft.Rdf.Inference.Predicate" inherited="no">
        <method public="no" name="__init__" id="Predicate-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="id_"/>
            <arg name="arguments"/>
          </arguments>
        </method>
      </methods>
    </class>
    <class name="SinglePredicate" public="yes">
      <bases>
        <base documented="yes" class="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        <base documented="yes" class="SingleQuery" module="Ft.Rdf.Inference.Query"/>
      </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="SinglePredicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        <base name="SingleQuery" module="Ft.Rdf.Inference.Query"/>
        <base name="Query" module="Ft.Rdf.Inference.Query"/>
      </method-resolution-order>
      <methods documented="yes" class="SinglePredicate" module="Ft.Rdf.Inference.Predicate" inherited="no">
        <method public="no" name="__init__" id="SinglePredicate-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="id_"/>
            <arg name="arguments"/>
          </arguments>
          <overrides name="Predicate" module="Ft.Rdf.Inference.Predicate"/>
        </method>
        <method public="yes" name="execute" id="SinglePredicate-execute">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="infEng"/>
            <arg name="context"/>
          </arguments>
          <overrides name="SingleQuery" module="Ft.Rdf.Inference.Query"/>
        </method>
      </methods>
      <methods documented="yes" class="SingleQuery" module="Ft.Rdf.Inference.Query" inherited="yes">
        <member-reference name="query" public="yes"/>
      </methods>
    </class>
  </classes>
</module>
