Notice how this page is basically just like <A
HREF="jpr_ht78.html">this page</A>, except of course we
have no editing functionality at all. <P>

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

<TITLE>Class Thesis in ontology Documents-2</TITLE>
<H1>Class <A NAME="THESIS"> Thesis</A></H1>
<UL>
<LI><B>Defined in ontology: <A HREF="jpr_ht64.html">Documents-2</A></B></UL>
<HR>
<H2>Notes for Thesis:</H2>
<UL>
<LI>What about theses published as technical reports?

<P>If it is cited as a TR, it is a TR.

<P>One can imagine adding a cross-reference field to
             references that points to associated documents or
             other references.

<P></UL>
<HR>
<H2>Slots on class Thesis:</H2>
<DL>
<DT><B>Arity: </B>1
<DT><B>Documentation: </B>
<BLOCKQUOTE>An official report on a bout of graduate work for which one receives a
degree, published by the university.  Never mind that some fields make a big
deal about the difference between dissertations and theses.  From the
bibliographic perspective, they are both of the same family.
</BLOCKQUOTE>
<DT><B>Exhaustive-Subclass-Partition: </B><A>{</A><A HREF="jpr_ht64.html">Doctoral-Thesis</A>, <A HREF="jpr_ht64.html">Masters-Thesis</A><A>}</A>
<DT><B>Instance-Of: </B>Class, <I>Relation</I>, <I>Set</I>
<DT><B>Subclass-Of: </B>
<DD><A HREF="jpr_ht64.html">Technical-Document</A>, <I><A HREF="jpr_ht64.html">Document</A></I>, <I>Individual</I>, <I>Individual-Thing</I>, <I>Thing</I>
<DT><B>Superclass-Of: </B><A HREF="jpr_ht64.html">Doctoral-Thesis</A>, <A HREF="jpr_ht64.html">Masters-Thesis</A></DL>
<DL>
<P>
<HR>
<H2>Slots on instances of Thesis:</H2>
<P>
<DT><B><A HREF="jpr_ht64.html">Has-Author</A>: </B>
<DD>Slot-Cardinality: 1
<DT><B><A HREF="jpr_ht64.html">Organization-Of</A>: </B>
<DD>Slot-Cardinality: 1
<DD>Slot-Value-Type: University
<DT><B><A HREF="jpr_ht64.html">Publication-Date-Of</A>: </B>
<DD>Slot-Cardinality: 1
<DT><B><A HREF="jpr_ht64.html">Title-Of</A>: </B>
<DD>Slot-Cardinality: 1</DL>
<HR>
<H2>Implication Axioms for Thesis:</H2>
<BLOCKQUOTE>
<PRE>(=&gt; (<A HREF="jpr_ht64.html">Thesis</A> ?X)
    (And (Value-Cardinality ?X <A HREF="jpr_ht64.html">Has-Author</A> 1)
         (Value-Cardinality ?X <A HREF="jpr_ht64.html">Title-Of</A> 1)
         (Value-Cardinality ?X <A HREF="jpr_ht64.html">Publication-Date-Of</A> 1)
         (Value-Cardinality ?X <A HREF="jpr_ht64.html">Organization-Of</A> 1)
         (Value-Type ?X <A HREF="jpr_ht64.html">Organization-Of</A> University)))

</PRE></BLOCKQUOTE>
<HR>
<H2>Other Related Axioms for Thesis:</H2>
<BLOCKQUOTE>
<PRE>(Subclass-Partition <A HREF="jpr_ht64.html">Document</A>
                    (Setof <A HREF="jpr_ht64.html">Book</A>
                           <A HREF="jpr_ht64.html">Periodical-Publication</A>
                           <A HREF="jpr_ht64.html">Proceedings</A>
                           <A HREF="jpr_ht64.html">Thesis</A>
                           <A HREF="jpr_ht64.html">Technical-Report</A>
                           <A HREF="jpr_ht64.html">Miscellaneous-Publication</A>))

</PRE></BLOCKQUOTE>