Class INHERITS-YEAR-FROM-DOCUMENT

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

Slots on this class:

Documentation:
When a reference is a one-to-one account of a document, then the year in the reference (ref.year) is the year of publication of the document. This relation captures this relationship.
Instance-Of: Class
Subclass-Of: Publication-reference
Superclass-Of:: Artwork-reference, Book-publication-data-constraint, Cartographic-map-reference, Multimedia-document-reference, Proceedings-paper-reference, Technical-manual-reference, Technical-report-reference, Thesis-reference

Slots on instances of this class:

(Compose Timepoint.Year Doc.Publication-Date Ref.Document)

Equivalence Axioms:

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

Axioms:

(Publication-Reference ?Ref)

(Inherited-Facet-Value Same-Slot-Values
                       Inherits-Year-From-Document
                       Ref.Year
                       (Compose Timepoint.Year
                                Doc.Publication-Date
                                Ref.Document))

Other Related Axioms:

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

(<=> (Book-Publication-Data-Constraint ?Ref)
     (And (Publication-Reference ?Ref)
          (Value-Cardinality ?Ref Ref.Document 1)
          (Value-Type ?Ref Ref.Document Book)
          (Value-Cardinality ?Ref Ref.Publisher 1)
          (Inherits-Publisher-From-Document ?Ref)
          (Value-Cardinality ?Ref Ref.Year 1)
          (Inherits-Year-From-Document ?Ref)))