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.

Arity: 2

Domain: Document

Range: Author-name

Axioms:

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