The editor has undone the change we just made and notified us to that effect. On second thoughts, we decide that what we did should redo the change by clicking on the

button. Because we have undone one change, the redo history is now one deep indicated by the number "1" in the redo button.

While you were away, the following happened:

[a few seconds ago] Undid "replaced value Document with Technical-Document in own slot Subclass-Of of Thesis in ontology Documents-2".

:
:
:

Class Thesis in ontology Documents-2

Class Thesis

Defined in UNSAVED 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:

  (Subclass-Partition Document
                         (Setof Book
                                Periodical-Publication
                                Proceedings
                                Thesis
                                Technical-Report
                                Miscellaneous-Publication))