Class BOOK-SECTION-REFERENCE

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

Slots on this class:

Documentation:

A section of a book, like a chapter or a paper in an edited collection.

Instance-Of: Class

Subclass-Of: Book-publication-data-constraint, Publication-reference

---

Slots on instances of this class:

Ref.Author:

Minimum-Slot-Cardinality: 1

Ref.Booktitle:

Same-Slot-Values:

(Compose Doc.Title Ref.Document)

Slot-Cardinality: 1

Ref.Document:

Slot-Cardinality: 1

Slot-Value-Type: Edited-book, Book, Document

Ref.Editor:

Minimum-Slot-Cardinality: 1

Ref.Secondary-Author:

Same-Slot-Values: Ref.editor

Ref.Tertiary-Author:

Same-Slot-Values: Ref.series-editor

Axioms:

(Inherited-Facet-Value Same-Slot-Values
                       Book-Section-Reference
                       Ref.Booktitle
                       (Compose Doc.Title Ref.Document))

Other Related Axioms:

(=> (= (Ref.Volume ?Ref) ?Number)
    (Or (Book-Reference ?Ref)
        (Book-Section-Reference ?Ref)
        (Article-Reference ?Ref)))

(=> (= (Ref.Pages ?Ref) ?Page-Range)
    (Or (Book-Section-Reference ?Ref)
        (Article-Reference ?Ref)
        (Proceedings-Paper-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))