Class INHERITS-PUBLISHER-FROM-DOCUMENT

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

Slots on this class:

Documentation:

When a reference is a one-to-one account of a document, then the publisher in the reference (ref.publisher) is the name of the publisher of the document. This relation captures this relationship. Inherits the publisher's address as well.

Instance-Of: Class

Subclass-Of: Publication-reference

Superclass-Of: Book-publication-data-constraint

---

Slots on instances of this class:

Ref.Address:

Same-Slot-Values:

(Compose Publisher.Address Doc.Publisher Ref.Document)

Ref.Publisher:

Same-Slot-Values:

(Compose Publisher.Name Doc.Publisher Ref.Document)

Equivalence Axioms:

(<=> (Inherits-Publisher-From-Document ?Ref)
     (And (Publication-Reference ?Ref)
          (Same-Values ?Ref
                       Ref.Publisher
                       (Compose Publisher.Name
                                Doc.Publisher
                                Ref.Document))
          (Same-Values ?Ref
                       Ref.Address
                       (Compose Publisher.Address
                                Doc.Publisher
                                Ref.Document))))

Axioms:

(Publication-Reference ?Ref)

(Inherited-Facet-Value Same-Slot-Values
                       Inherits-Publisher-From-Document
                       Ref.Address
                       (Compose Publisher.Address
                                Doc.Publisher
                                Ref.Document))

(Inherited-Facet-Value Same-Slot-Values
                       Inherits-Publisher-From-Document
                       Ref.Publisher
                       (Compose Publisher.Name
                                Doc.Publisher
                                Ref.Document))

Other Related Axioms:

(<=> (Inherits-Publisher-From-Document ?Ref)
     (And (Publication-Reference ?Ref)
          (Same-Values ?Ref
                       Ref.Publisher
                       (Compose Publisher.Name
                                Doc.Publisher
                                Ref.Document))
          (Same-Values ?Ref
                       Ref.Address
                       (Compose Publisher.Address
                                Doc.Publisher
                                Ref.Document))))

(<=> (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)))