[RIL] RIL documentation

[Alexandre Fayolle]

Hello, 

found a couple of typoes is the ril.doc file. A patch is attached to this
mail.

I have troubles understanding how the query in listing 6 in the
documentation is supposed to give the answer you say it does. The given
answer is [u:molson], which should at least be corrected to
[u:uogbuji]. However, I'd say that, given the universe and the query, the
answer should be an empty list.

Concerning the issue raised by listing 8, I'd say the abbreviation is not
necessary (and rather confusing), but I still have little experience with
RIL. 

I also added the expected value of X for listing 9.

Oh, by the way, this could be an XSLT issue, the author line is wrong in
the HTML version of the document (Mike gets mentionned twice, and Uche is
left out).

Cheers,

Alexandre Fayolle
-- 
http://www.logilab.com 
Narval is the first software agent available as free software (GPL).
LOGILAB, Paris (France).
-------------- next part --------------
--- /usr/doc/4Suite-0.11/docs/xml/ril.doc	Thu May  3 19:41:22 2001
+++ ril.doc	Wed May  9 12:12:58 2001
@@ -75,11 +75,9 @@
     <para>Where used in this document, the keywords "SHOULD", "MUST", and "MUST NOT" are to be interpreted as described in RFC 2119 [RFC2119]. However, for readability, these words do not appear in all uppercase letters in this specification.
 </para>
 
-    <para>In this version of the specification the <strong>ril</strong> namespace prefix shall be used to represent the namespace reference <emphasis>http://xmlns.rdfinference.org/ril/0/1</emphasis>.</para>
+    <para>In this version of the specification the <strong>ril</strong> namespace prefix shall be used to represent the namespace reference <emphasis>http://xmlns.rdfinference.org/ril/0/2</emphasis>.</para>
 
-    <para>In addition, several namespaces will be used as examples in this specification.  To improve readibility, these namespaces will be represented using XML namespace Qnames with common prefixes as shown in the following table 
-
- the <emphasis>ril</emphasis> namespace prefix shall be used to represent the namespace reference <emphasis>http://xmlns.rdfinference.org/ril/0/2</emphasis>.</para>
+    <para>In addition, several namespaces will be used as examples in this specification.  To improve readibility, these namespaces will be represented using XML namespace Qnames with common prefixes as shown in the following table.</para>
 
     <para>Please note that all these prefixed abbreviations are mere convenience, and that any such qualified names must be interpreted as if the prefix represents the full namespace URI.</para>
 
@@ -303,7 +301,7 @@
   <ril:and>
     <s:last-login>
       <ril:value>2001-01-01</ril:value>
-      <ril:value>u:molson</ril:value>
+      <ril:value>u:uogbuji</ril:value>
     </s:last-login>
     <s:file-name>
       <ril:value>happy-millenium.txt</ril:value>
@@ -327,7 +325,7 @@
 ]]>
       </screen>
 
-      <para>A conjunction over predicates with variable mappings results in each variable's being set to a list created by selecting each list item that appears in all of the predicates.</para>
+      <para>A conjunction over predicates with variable mappings results in each variable being set to a list created by selecting each list item that appears in all of the predicates.</para>
 
       <para><emphasis>Issue:</emphasis> what about repeated items, such as identical strings?</para>
 
@@ -355,7 +353,7 @@
 
       <screen>
 <![CDATA[
-X = [ u:molson ]
+X = [ ]
 ]]>
       </screen>
 
@@ -445,10 +443,10 @@
 <![CDATA[
 <ril:query>
   <ril:or>
-    <rdf:type>
-      <ril:value>urn:sysadmin.net:schema#File</ril:value>
+    <s:last-login>
+      <ril:value>2001-01-01</ril:value>
       <ril:variable name="X"/>
-    </rdf:type>
+    </s:last-login>
     <s:name>
       <ril:value>happy-millenium.txt</ril:value>
       <ril:variable name="X"/>
@@ -461,6 +459,14 @@
 
       <para>A disjunction over predicates with variable mappings results in each variable's being set to a list created by aggregating all valued represented in each variable set by the the predicates.</para>
 
+      <para>The query in listing 9 made on the above universe would result in the following variable mapping:</para>
+
+      <screen>
+<![CDATA[
+X = [u:uogbuji, http://home/molson/happy-millenium.txt ]
+]]>
+      </screen>
+
       <para></para>
 
     </sect3>
@@ -654,7 +660,7 @@
     <listitem>or:   The union of the previous value and the current results</listitem>
     <listitem>not:  The difference of the previous value and the current results</listitem>
   </itemizedlist>
-  <para>One note, a not predicate cannot be evaluated if it uses a skolem variable that is un set.</para>
+  <para>One note, a not predicate cannot be evaluated if it uses a skolem variable that is unset.</para>
 
   <para>Some premise examples.</para>
   <screen>
@@ -807,7 +813,7 @@
    [('Book-1','creator','Mike')]
    </screen>
 
-   <strong>Progromatic Actions</strong>
+   <strong>Programatic Actions</strong>
    <screen>
     ril:if test = ""
     ril:choose