Class BOOK-PUBLICATION-DATA-CONSTRAINT

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

Slots on this class:

Documentation:

In references associated with books, the reference fields for publication data such as publisher, place, and edition are all taken from the data on the book-document itself. This unary relation captures these constraints in one place, so that each of the book reference types can just inherit them.

Instance-Of: Class

Subclass-Of: Inherits-publisher-from-document, Inherits-year-from-document, Publication-reference

Superclass-Of: Book-reference, Book-section-reference

---

Slots on instances of this class:

Ref.Document:

Slot-Cardinality: 1

Slot-Value-Type: Book, Document

Ref.Publisher:

Slot-Cardinality: 1

Ref.Year:

Slot-Cardinality: 1

Equivalence Axioms:

(<=> (Book-Publication-Data-Constraint ?Ref)
     (And (Publication-Reference ?Ref)
          (Value-Cardinality ?Ref Ref.Document 1)
          (Value-Type ?Ref Ref.Document Book)
          (Value-Cardinality ?Ref Ref.Publisher 1)
          (Inherits-Publisher-From-Document ?Ref)
          (Value-Cardinality ?Ref Ref.Year 1)
          (Inherits-Year-From-Document ?Ref)))

Axioms:

(Inherits-Year-From-Document ?Ref)

(Inherits-Publisher-From-Document ?Ref)

(Publication-Reference ?Ref)

Other Related Axioms:

(<=> (Book-Publication-Data-Constraint ?Ref)
     (And (Publication-Reference ?Ref)
          (Value-Cardinality ?Ref Ref.Document 1)
          (Value-Type ?Ref Ref.Document Book)
          (Value-Cardinality ?Ref Ref.Publisher 1)
          (Inherits-Publisher-From-Document ?Ref)
          (Value-Cardinality ?Ref Ref.Year 1)
          (Inherits-Year-From-Document ?Ref)))