The ontology editor automatically takes us to the the ontology we
have just loaded and notifies us of the result of loading.  In this
case we are operating in a session owned by the group "JUST-ME".  Such
sessions are private and are not visible to user users.  We can also
create sessions that are shared between multiple users. <P>

The ontology shows us an indented, <A
HREF="jpr_ht87.html#class-hierarchy">hierarchical view
of the classes defined</A>.  We note that the superclass of Thesis is
Document, which doesn't seem as precise as we'd like.  We decide to
change the definition of Thesis.  We do this first by <A
HREF="jpr_ht92.html">going to it</A>.  The edit we're
going to perform is to change Thesis's superclass.
 <P>

<A HREF="jpr_ht76.html"><IMG SRC="jpr_fg05.gif" ALT="[Back]"></A>
<A HREF="jpr_txt.html#worked-example"><IMG SRC="jpr_fg85.gif" ALT="[Up]"></A>
<A HREF="jpr_ht92.html"><IMG SRC="jpr_fg56.gif" ALT="[Next]"></A> 
<HR>

<H1>While you were away, the following happened:</H1>
<UL>
<LI>[a few seconds ago] Documents-2 loaded from group &quot;JUST-ME&quot;
</UL>

<HR>

<form method="GET" action="jpr_ht64.html">
<A HREF="jpr_ht64.html" ALT="Home"><IMG SRC="jpr_fg46.gif" ALT="Home" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg42.gif" ALT="Make Comment" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg64.gif" ALT="Preferences" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg38.gif" ALT="Save all and quit session" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg15.gif" ALT="Reload" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg58.gif" ALT="Ontology Library" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg33.gif" ALT="Allow edit gadgets" BORDER="0"></A><IMG SRC="jpr_fg77.gif" ALT="Can't Undo" BORDER="0"><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg31.gif" ALT="Dictionary" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg32.gif" ALT="Documentation" BORDER="0"></A><INPUT VALUE="[EMail Bug Report]" TYPE="image" SRC="jpr_fg14.gif" NAME="UID-94" BORDER="0"><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg50.gif" ALT="Find Name" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg65.gif" ALT="Help" BORDER="0"></A><BR><INPUT VALUE="File    " TYPE="submit" NAME="UID-97">:<SELECT NAME="FILE">
    <OPTION>Save Ontology to group...
    <OPTION>EMail Ontology
    <OPTION>Import Definitions</SELECT> 
<BR><INPUT VALUE="Ontology" TYPE="submit" NAME="UID-98">:<SELECT NAME="ONTOLOGY">
    <OPTION>Browse
    <OPTION>Browse slots
    <OPTION>Replace references
    <OPTION>Analyze
    <OPTION>Compare
    <OPTION>Delete
    <OPTION>EMail Translation
    <OPTION>Show external references
    <OPTION>Split</SELECT> 
<HR>

<TITLE>Ontology DOCUMENTS-2</TITLE>
<H1><A NAME="DOCUMENTS-2">Ontology DOCUMENTS-2</A></H1>
<UL>
<LI><B>Last modified: </B><I>Wednesday,  8 November 1995</I>
<LI><B>Generality: </B>High
<LI><B>Maturity: </B>Low
<LI><B>I/O Syntax: </B>Case Insensitive
<LI><B>Source code: <A HREF="jpr_ht64.html">documents-2.lisp</A></B></UL>
<HR>
<H2>Ontology documentation:</H2>
<BLOCKQUOTE>Not supplied yet.
</BLOCKQUOTE>
<HR>
<H2>Notes for Documents-2:</H2>
<HR>
<H2>Summary of Documents-2:</H2>
<H3>Documents-2 includes the following ontologies:</H3>
<PRE>
    <A HREF="jpr_ht64.html"><B>Slot-Constraint-Sugar</B></A>
       <A HREF="jpr_ht64.html"><B>Frame-Ontology</B></A>
          <A HREF="jpr_ht64.html"><B>Kif-Relations</B></A>
             <A HREF="jpr_ht64.html"><B>Kif-Sets</B></A>
             <A HREF="jpr_ht64.html"><B>Kif-Lists</B></A>
                <A HREF="jpr_ht64.html"><B>Kif-Numbers</B></A>
          <A HREF="jpr_ht64.html"><B>Kif-Extensions</B></A>
             <A HREF="jpr_ht64.html"><B>Kif-Sets</B></A>
             <A HREF="jpr_ht64.html"><B>Kif-Lists</B></A> ...
             <A HREF="jpr_ht64.html"><B>Kif-Numbers</B></A>
             <A HREF="jpr_ht64.html"><B>Kif-Relations</B></A> ...
          <A HREF="jpr_ht64.html"><B>Kif-Meta</B></A>
             <A HREF="jpr_ht64.html"><B>Kif-Sets</B></A>
             <A HREF="jpr_ht64.html"><B>Kif-Lists</B></A> ...
    <A HREF="jpr_ht64.html"><B>Frame-Ontology</B></A> ...
    <A HREF="jpr_ht64.html"><B>Agents</B></A>
       <A HREF="jpr_ht64.html"><B>Slot-Constraint-Sugar</B></A> ...
       <A HREF="jpr_ht64.html"><B>Frame-Ontology</B></A> ...
    <A HREF="jpr_ht64.html"><B>Simple-Time</B></A>
       <A HREF="jpr_ht64.html"><B>Frame-Ontology</B></A> ...
       <A HREF="jpr_ht64.html"><B>Slot-Constraint-Sugar</B></A> ...
       <A HREF="jpr_ht64.html"><B>Ranges</B></A>
          <A HREF="jpr_ht64.html"><B>Frame-Ontology</B></A> ...</PRE>
<P>
<P><B>No ontologies include Documents-2.</B>
<H3><A name="class-hierarchy">Class hierarchy</A> (21 classes defined):</H3>
<PRE>
    <A HREF="jpr_ht64.html">Author</A>
    <A HREF="jpr_ht64.html">Document</A>
       <A HREF="jpr_ht64.html">Book</A>
          <A HREF="jpr_ht64.html">Edited-Book</A>
       <A HREF="jpr_ht64.html">Miscellaneous-Publication</A>
          <A HREF="jpr_ht64.html">Artwork</A>
          <A HREF="jpr_ht64.html">Cartographic-Map</A>
          <A HREF="jpr_ht64.html">Computer-Program</A>
          <A HREF="jpr_ht64.html">Multimedia-Document</A>
          <A HREF="jpr_ht64.html">Technical-Manual</A>
       <A HREF="jpr_ht64.html">Periodical-Publication</A>
          <A HREF="jpr_ht64.html">Journal</A>
          <A HREF="jpr_ht64.html">Magazine</A>
          <A HREF="jpr_ht64.html">Newspaper</A>
       <A HREF="jpr_ht64.html">Proceedings</A>
       <A HREF="jpr_ht64.html">Technical-Document</A>
       <A HREF="jpr_ht64.html">Technical-Report</A>
       <A HREF="jpr_ht92.html">Thesis</A>
          <A HREF="jpr_ht64.html">Doctoral-Thesis</A>
          <A HREF="jpr_ht64.html">Masters-Thesis</A>
    <A HREF="jpr_ht64.html">Title</A></PRE>
<P>
<H3>4 relations defined:</H3>
<PRE>
  <B><A HREF="jpr_ht64.html">Has-Author</A></B>
  <B><A HREF="jpr_ht64.html">Has-Editor</A></B>
  <B><A HREF="jpr_ht64.html">Has-Series-Editor</A></B>
  <B><A HREF="jpr_ht64.html">Has-Translator</A></B>
<P></PRE>
<H3>7 functions defined:</H3>
<PRE>
  <B><A HREF="jpr_ht64.html">Conference-Of</A></B>
  <B><A HREF="jpr_ht64.html">Number-Of-Pages-Of</A></B>
  <B><A HREF="jpr_ht64.html">Organization-Of</A></B>
  <B><A HREF="jpr_ht64.html">Publication-Date-Of</A></B>
  <B><A HREF="jpr_ht64.html">Publisher-Of</A></B>
  <B><A HREF="jpr_ht64.html">Series-Title-Of</A></B>
  <B><A HREF="jpr_ht64.html">Title-Of</A></B>
<P></PRE>
<H3>No instances defined.</H3>
<PRE>
<P></PRE>
<H3>11 unnamed axioms defined.</H3>
<H3>No named axioms defined.</H3>
<PRE>
<P></PRE>
<H3>21 classes defined:</H3>
<PRE>
  <B><A HREF="jpr_ht64.html">Artwork</A></B>
  <B><A HREF="jpr_ht64.html">Author</A></B>
  <B><A HREF="jpr_ht64.html">Book</A></B>
  <B><A HREF="jpr_ht64.html">Cartographic-Map</A></B>
  <B><A HREF="jpr_ht64.html">Computer-Program</A></B>
  <B><A HREF="jpr_ht64.html">Doctoral-Thesis</A></B>
  <B><A HREF="jpr_ht64.html">Document</A></B>
  <B><A HREF="jpr_ht64.html">Edited-Book</A></B>
  <B><A HREF="jpr_ht64.html">Journal</A></B>
  <B><A HREF="jpr_ht64.html">Magazine</A></B>
  <B><A HREF="jpr_ht64.html">Masters-Thesis</A></B>
  <B><A HREF="jpr_ht64.html">Miscellaneous-Publication</A></B>
  <B><A HREF="jpr_ht64.html">Multimedia-Document</A></B>
  <B><A HREF="jpr_ht64.html">Newspaper</A></B>
  <B><A HREF="jpr_ht64.html">Periodical-Publication</A></B>
  <B><A HREF="jpr_ht64.html">Proceedings</A></B>
  <B><A HREF="jpr_ht64.html">Technical-Document</A></B>
  <B><A HREF="jpr_ht64.html">Technical-Manual</A></B>
  <B><A HREF="jpr_ht64.html">Technical-Report</A></B>
  <B><A HREF="jpr_ht92.html">Thesis</A></B>
  <B><A HREF="jpr_ht64.html">Title</A></B>
<P></PRE>
<HR>
<INPUT VALUE="File    " TYPE="submit" NAME="UID-132">:<SELECT NAME="FILE-BOTTOM">
    <OPTION>Save Ontology to group...
    <OPTION>EMail Ontology
    <OPTION>Import Definitions</SELECT> 
<BR><INPUT VALUE="Ontology" TYPE="submit" NAME="UID-133">:<SELECT NAME="ONTOLOGY-BOTTOM">
    <OPTION>Browse
    <OPTION>Browse slots
    <OPTION>Replace references
    <OPTION>Analyze
    <OPTION>Compare
    <OPTION>Delete
    <OPTION>EMail Translation
    <OPTION>Show external references
    <OPTION>Split</SELECT> <BR><A HREF="jpr_ht64.html" ALT="Home"><IMG SRC="jpr_fg46.gif" ALT="Home" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg42.gif" ALT="Make Comment" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg64.gif" ALT="Preferences" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg38.gif" ALT="Save all and quit session" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg15.gif" ALT="Reload" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg58.gif" ALT="Ontology Library" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg33.gif" ALT="Allow edit gadgets" BORDER="0"></A><IMG SRC="jpr_fg77.gif" ALT="Can't Undo" BORDER="0"><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg31.gif" ALT="Dictionary" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg32.gif" ALT="Documentation" BORDER="0"></A><INPUT VALUE="[EMail Bug Report]" TYPE="image" SRC="jpr_fg14.gif" NAME="UID-94" BORDER="0"><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg50.gif" ALT="Find Name" BORDER="0"></A><A HREF="jpr_ht64.html"><IMG SRC="jpr_fg65.gif" ALT="Help" BORDER="0"></A>
</FORM>