Function DOC.PUBLICATION-DATE

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

Slots on this function:

Documentation:

The publication date of a document. If the document isn't formally published, e.g., a painting, then it is the year of creation. The date is a timepoint for which at least the year is known. In some cases, the month and day are also known.

Instance-Of: Function

Arity: 2

Domain: Document

Range: Calendar-year

Other Related Axioms:

(=> (Doc.Publication-Date $X $Y) (Calendar-Year $Y))

(=> (Doc.Publication-Date $X $Y) (Document $X))

(Inherited-Facet-Value Slot-Cardinality Book Doc.Publication-Date 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
                       Proceedings
                       Doc.Publication-Date
                       (Compose Conf.Date Doc.Conference))

(=> (Proceedings ?X)
    (And (Value-Cardinality ?X Doc.Conference 1)
         (Value-Type ?X Doc.Conference Conference)
         (Same-Values ?X
                      Doc.Title
                      (Compose Conf.Name Doc.Conference))
         (Same-Values ?X
                      Doc.Publication-Date
                      (Compose Conf.Date Doc.Conference))))

(Inherited-Facet-Value Slot-Cardinality
                       Thesis
                       Doc.Publication-Date
                       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 Slot-Cardinality
                       Technical-Report
                       Doc.Publication-Date
                       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 Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Day
                       (Compose Timepoint.Day
                                Doc.Publication-Date
                                Ref.Document))

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Month
                       (Compose Timepoint.Month
                                Doc.Publication-Date
                                Ref.Document))

(=> (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 Same-Slot-Values
                       Inherits-Year-From-Document
                       Ref.Year
                       (Compose Timepoint.Year
                                Doc.Publication-Date
                                Ref.Document))

(<=> (Inherits-Year-From-Document ?Ref)
     (And (Publication-Reference ?Ref)
          (Same-Values ?Ref
                       Ref.Year
                       (Compose Timepoint.Year
                                Doc.Publication-Date
                                Ref.Document))))

Notes:

• Calendar-date is a subclass-of calendar-year, because it requires the same constraint (that a year be known) plus a few more (that a month and day be known). This means that if we require publication dates to be calendar-years, then we also allow more precise timepoint specifications as well. Thus, documents for which a month field is needed can get the month from the publication date.