Relation REF.AUTHOR

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

Slots on this relation:

Documentation:

Relation between a reference and the name(s) of the creator(s) of the publication.

Instance-Of: Relation

Arity: 2

Domain: Reference

Range: Author-name

Other Related Axioms:

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

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

(Inherited-Facet-Value Same-Slot-Values
                       Edited-Book-Reference
                       Ref.Author
                       Ref.Editor)

(<=> (Edited-Book-Reference ?Ref)
     (And (Book-Reference ?Ref)
          (Value-Cardinality ?Ref Ref.Document 1)
          (Value-Type ?Ref Ref.Document Edited-Book)
          (Minimum-Value-Cardinality ?Ref Ref.Editor 1)
          (Same-Values ?Ref Ref.Author Ref.Editor)))

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Book-Section-Reference
                       Ref.Author
                       1)

(=> (Book-Section-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Document 1)
         (Value-Type ?Ref Ref.Document Edited-Book)
         (Minimum-Value-Cardinality ?Ref Ref.Author 1)
         (Minimum-Value-Cardinality ?Ref Ref.Editor 1)
         (Value-Cardinality ?Ref Ref.Booktitle 1)
         (Same-Values ?Ref
                      Ref.Booktitle
                      (Compose Doc.Title Ref.Document))
         (Same-Values ?Ref Ref.Secondary-Author Ref.Editor)
         (Same-Values ?Ref Ref.Tertiary-Author Ref.Series-Editor)))

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Article-Reference
                       Ref.Author
                       1)

(=> (Article-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Periodical-Publication)
         (Minimum-Value-Cardinality ?Ref Ref.Author 1)
         (Value-Cardinality ?Ref Ref.Title 1)
         (Value-Cardinality ?Ref Ref.Year 1)
         (Value-Cardinality ?Ref Ref.Periodical 1)
         (Same-Values ?Ref
                      Ref.Periodical
                      (Compose Doc.Title Ref.Document))
         (Same-Values ?Ref Ref.Secondary-Title Ref.Periodical)))

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Proceedings-Paper-Reference
                       Ref.Author
                       1)

(=> (Proceedings-Paper-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Proceedings)
         (Minimum-Value-Cardinality ?Ref Ref.Author 1)
         (Value-Cardinality ?Ref Ref.Title 1)
         (Value-Cardinality ?Ref Ref.Booktitle 1)
         (Same-Values ?Ref
                      Ref.Booktitle
                      (Compose Doc.Title Ref.Document))
         (Same-Values ?Ref Ref.Secondary-Title Ref.Booktitle)
         (Same-Values ?Ref Ref.Secondary-Author Ref.Editor)
         (Same-Values ?Ref
                      Ref.Organization
                      (Compose Conf.Organization
                               Doc.Conference
                               Ref.Document))
         (Same-Values ?Ref
                      Ref.Address
                      (Compose Conf.Address
                               Doc.Conference
                               Ref.Document))
         (Same-Values ?Ref
                      Ref.Month
                      (Compose Timepoint.Month
                               Doc.Publication-Date
                               Ref.Document))
         (Same-Values ?Ref
                      Ref.Day
                      (Compose Timepoint.Day
                               Doc.Publication-Date
                               Ref.Document))))

(Inherited-Facet-Value Slot-Cardinality
                       Personal-Communication-Reference
                       Ref.Author
                       1)

(=> (Personal-Communication-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Author 1)
         (Value-Cardinality ?Ref Ref.Year 1)
         (Value-Cardinality ?Ref Ref.Month 1)
         (Value-Cardinality ?Ref Ref.Day 1)))

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

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