Class BOOK-REFERENCE

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

Slots on this class:

Documentation:

A book reference. Book references usually include complete publisher information, and may have a series editor and title, edition, and translator. A reference to a book gets many of its publication data from the book qua document.

Instance-Of: Class

Subclass-Of:

Book-publication-data-constraint, Inherits-author-from-document, Inherits-title-from-document, Publication-reference

Superclass-Of: Edited-book-reference

---

Slots on instances of this class:

Ref.Document:

Slot-Cardinality: 1

Slot-Value-Type: Book, Document

Ref.Secondary-Author:

Same-Slot-Values: Ref.series-editor

Ref.Secondary-Title:

Same-Slot-Values: Doc.series-title

Other Related Axioms:

(=> (= (Ref.Volume ?Ref) ?Number)
    (Or (Book-Reference ?Ref)
        (Book-Section-Reference ?Ref)
        (Article-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))

(<=> (Edited-Book-Reference ?Ref)
     (And (Book-Reference ?Ref)
          (Value-Cardinality ?Ref Ref.Document 1)
          (Value-Type ?Ref Ref.Document Edited-Book)
          (Minimum-Value-Cardinality ?Ref Ref.Editor 1)
          (Same-Values ?Ref Ref.Author Ref.Editor)))