Relation DOC.AUTHOR

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

Slots on this relation:

Documentation:

The creator(s) of a document. Not necessarily the author of a work published in the document, but often so. The author is a real agent, not a name of an agent.

Instance-Of: Relation

Arity: 2

Domain: Document

Range: Author

Other Related Axioms:

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

(=> (Doc.Author $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 Minimum-Slot-Cardinality Book Doc.Author 1)

(=> (Book ?X)
    (And (Minimum-Value-Cardinality ?X Doc.Author 1)
         (Value-Cardinality ?X Doc.Title 1)
         (Value-Cardinality ?X Doc.Publication-Date 1)
         (Value-Cardinality ?X Doc.Publisher 1)))

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

(<=> (Edited-Book ?X)
     (And (Book ?X)
          (Minimum-Value-Cardinality ?X Doc.Editor 1)
          (Same-Values ?X Doc.Editor Doc.Author)))

(Inherited-Facet-Value Slot-Cardinality Thesis Doc.Author 1)

(=> (Thesis ?X)
    (And (Value-Cardinality ?X Doc.Author 1)
         (Value-Cardinality ?X Doc.Title 1)
         (Value-Cardinality ?X Doc.Publication-Date 1)
         (Value-Cardinality ?X Thesis.University 1)
         (Value-Type ?X Thesis.University University)))

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Technical-Report
                       Doc.Author
                       1)

(=> (Technical-Report ?X)
    (And (Minimum-Value-Cardinality ?X Doc.Author 1)
         (Value-Cardinality ?X Doc.Title 1)
         (Value-Cardinality ?X Doc.Publication-Date 1)
         (Value-Cardinality ?X Doc.Institution 1)
         (Value-Type ?X Doc.Institution Organization)))

(Inherited-Facet-Value Slot-Cardinality Artwork Doc.Author 1)

(=> (Artwork ?X) (Value-Cardinality ?X Doc.Author 1))