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.

Subclass-Of: Publication-reference

Axioms:

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

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

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