We are now on the same page we were just on except the editor is now inserting editing command widgets. In this example we're going to change the superclass of Thesis from its current value of Document to a more specific class, Technical-Document. To do this, we click on the edit pencil

in front of the value Document of the Subclass-Of slot. This slot says that Thesis is a subclass of Document, i.e. that Document is the Superclass of Thesis. The other values of this slot shown in italics are inherited values.

:
:
:

Class Thesis in ontology Documents-2

Class Thesis

Defined in Ontology: Documents-2
Source code: documents-2.lisp

Notes for Thesis:

What about theses published as technical reports?
If it is cited as a TR, it is a TR.
One can imagine adding a cross-reference field to references that points to associated documents or other references.

Slots on class Thesis:

Arity: 1
Documentation:
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.
Exhaustive-Subclass-Partition: {Doctoral-Thesis, Masters-Thesis }
Instance-Of: Class, Relation, Set
Subclass-Of:: Document, Individual, Individual-Thing, Thing
Superclass-Of: Doctoral-Thesis, Masters-Thesis

Has-Author:: Slot-Cardinality: 1
Organization-Of:: Slot-Cardinality: 1; Slot-Value-Type: University
Publication-Date-Of:: Slot-Cardinality: 1
Title-Of:: Slot-Cardinality: 1

Implication Axioms for Thesis:

 (=> (Thesis ?X)
       (And (Value-Cardinality ?X Has-Author 1)
            (Value-Cardinality ?X Title-Of 1)
            (Value-Cardinality ?X Publication-Date-Of 1)
            (Value-Cardinality ?X Organization-Of 1)
            (Value-Type ?X Organization-Of University)))

Other Related Axioms for Thesis: