Function REF.PUBLISHER

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

Slots on this function:

Documentation:

The publisher field of a reference points to the publisher of the associated document.

Instance-Of: Function

Arity: 2

Domain: Reference

Range: Publisher-name

Other Related Axioms:

(=> (Ref.Publisher $X $Y) (Publisher-Name $Y))

(=> (Ref.Publisher $X $Y) (Reference $X))

(Inherited-Facet-Value Same-Slot-Values
                       Thesis-Reference
                       Ref.Publisher
                       (Compose Organization.Name Thesis.University))

(Inherited-Facet-Value Slot-Cardinality
                       Thesis-Reference
                       Ref.Publisher
                       1)

(=> (Thesis-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Thesis)
         (Value-Cardinality ?Ref Ref.Publisher 1)
         (Same-Values ?Ref
                      Ref.Publisher
                      (Compose Organization.Name Thesis.University))))

(Inherited-Facet-Value Same-Slot-Values
                       Technical-Report-Reference
                       Ref.Publisher
                       (Compose Organization.Name Doc.Institution))

(Inherited-Facet-Value Slot-Cardinality
                       Technical-Report-Reference
                       Ref.Publisher
                       1)

(=> (Technical-Report-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Publisher 1)
         (Same-Values ?Ref
                      Ref.Publisher
                      (Compose Organization.Name Doc.Institution))))

(Inherited-Facet-Value 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))))

(Inherited-Facet-Value Slot-Cardinality
                       Book-Publication-Data-Constraint
                       Ref.Publisher
                       1)

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