Now that we've asserted the replacement slot value we can see that, as we'd expect, the Subclass-of slot now has the value Technical-Document instead of Document. Notice that we now have an undo button because we have performed a side effect. The undo history is of course multi-level. The number "1" in the button tells us how deep the undo history is. In a fit of indecision we decide to undo the change we have just made by clicking on the

button.

:
:
:

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:: Technical-Document, 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: