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:

New value:

Document

Search all ontologies
, Individual, Individual-Thing, Thing

Superclass-Of: Doctoral-Thesis, Masters-Thesis

---

Slots on instances of 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))