Class THESIS-REFERENCE

• Defined in theory: Bibliographic-data
• Source code: bibliographic-data.lisp

Slots on this class:

Documentation:

A reference to a master's or doctoral thesis.

Instance-Of: Class

Subclass-Of:

Inherits-author-from-document, Inherits-title-from-document, Inherits-year-from-document, Publication-reference

Subclass-Partition: {Doctoral-thesis-reference, Masters-thesis-reference}

Superclass-Of: Doctoral-thesis-reference, Masters-thesis-reference

---

Slots on instances of this class:

Ref.Document:

Slot-Value-Type: Thesis, Document

Ref.Publisher:

Same-Slot-Values:

(Compose Organization.Name Thesis.University)

Slot-Cardinality: 1

Axioms:

(Inherited-Facet-Value Same-Slot-Values
                       Thesis-Reference
                       Ref.Publisher
                       (Compose Organization.Name Thesis.University))

Other Related Axioms:

(=> (= (Ref.Type-Of-Work ?Ref) ?Name)
    (Or (Thesis-Reference ?Ref)
        (Technical-Report-Reference ?Ref)
        (Misc-Publication-Reference ?Ref)))

(Subclass-Partition Publication-Reference
                    (Setof Book-Reference
                           Book-Section-Reference
                           Article-Reference
                           Proceedings-Paper-Reference
                           Thesis-Reference
                           Technical-Report-Reference
                           Misc-Publication-Reference))