Relation DOC.AUTHOR-NAME

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

Slots on this relation:

Documentation:

Each author of a document is identified by an author-name. Although an author can have several pennames, the author only gets to use one of them for a particular document.

Instance-Of: Relation

Arity: 2

Domain: Document

Range: Author-name

Other Related Axioms:

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

(=> (Doc.Author-Name $X $Y) (Document $X))

(=> (Doc.Author-Name ?Doc ?Name)
    (Exists (?Author)
            (And (Doc.Author ?Doc ?Author)
                 (Doc.Author.Name ?Doc ?Author ?Name))))

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