Function REF.DOCUMENT

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

Slots on this function:

Documentation:

Function from references to associated documents. Is only defined on publication-references, since by definition they are the references associated with documents.

Instance-Of: Function

Arity: 2

Domain: Publication-reference

Range: Document

Other Related Axioms:

(=> (Ref.Document $X $Y) (Document $Y))

(=> (Ref.Document $X $Y) (Publication-Reference $X))

(= Ref.Editor (Compose Agent.Name Doc.Editor Ref.Document))

(= Ref.Series-Editor
   (Compose Agent.Name Doc.Series-Editor Ref.Document))

(= Ref.Translator (Compose Agent.Name Doc.Translator Ref.Document))

(<- (Ref.Edition ?Ref) (Doc.Edition (Ref.Document ?Ref)))

(Inherited-Facet-Value Slot-Value-Type
                       Publication-Reference
                       Ref.Document
                       Document)

(Inherited-Facet-Value Slot-Cardinality
                       Publication-Reference
                       Ref.Document
                       1)

(=> (Publication-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Document 1)
         (Value-Type ?Ref Ref.Document Document)
         (Value-Cardinality ?Ref Ref.Title 1)))

(Inherited-Facet-Value Slot-Cardinality
                       Non-Publication-Reference
                       Ref.Document
                       0)

(=> (Non-Publication-Reference ?Ref)
    (Value-Cardinality ?Ref Ref.Document 0))

(Inherited-Facet-Value Slot-Value-Type
                       Book-Reference
                       Ref.Document
                       Book)

(Inherited-Facet-Value Slot-Cardinality
                       Book-Reference
                       Ref.Document
                       1)

(=> (Book-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Document 1)
         (Value-Type ?Ref Ref.Document Book)
         (Same-Values ?Ref Ref.Secondary-Author Ref.Series-Editor)
         (Same-Values ?Ref Ref.Secondary-Title Doc.Series-Title)))

(Inherited-Facet-Value Slot-Value-Type
                       Edited-Book-Reference
                       Ref.Document
                       Edited-Book)

(Inherited-Facet-Value Slot-Cardinality
                       Edited-Book-Reference
                       Ref.Document
                       1)

(<=> (Edited-Book-Reference ?Ref)
     (And (Book-Reference ?Ref)
          (Value-Cardinality ?Ref Ref.Document 1)
          (Value-Type ?Ref Ref.Document Edited-Book)
          (Minimum-Value-Cardinality ?Ref Ref.Editor 1)
          (Same-Values ?Ref Ref.Author Ref.Editor)))

(Inherited-Facet-Value Same-Slot-Values
                       Book-Section-Reference
                       Ref.Booktitle
                       (Compose Doc.Title Ref.Document))

(Inherited-Facet-Value Slot-Value-Type
                       Book-Section-Reference
                       Ref.Document
                       Edited-Book)

(Inherited-Facet-Value Slot-Cardinality
                       Book-Section-Reference
                       Ref.Document
                       1)

(=> (Book-Section-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Document 1)
         (Value-Type ?Ref Ref.Document Edited-Book)
         (Minimum-Value-Cardinality ?Ref Ref.Author 1)
         (Minimum-Value-Cardinality ?Ref Ref.Editor 1)
         (Value-Cardinality ?Ref Ref.Booktitle 1)
         (Same-Values ?Ref
                      Ref.Booktitle
                      (Compose Doc.Title Ref.Document))
         (Same-Values ?Ref Ref.Secondary-Author Ref.Editor)
         (Same-Values ?Ref Ref.Tertiary-Author Ref.Series-Editor)))

(Inherited-Facet-Value Same-Slot-Values
                       Article-Reference
                       Ref.Periodical
                       (Compose Doc.Title Ref.Document))

(Inherited-Facet-Value Slot-Value-Type
                       Article-Reference
                       Ref.Document
                       Periodical-Publication)

(=> (Article-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Periodical-Publication)
         (Minimum-Value-Cardinality ?Ref Ref.Author 1)
         (Value-Cardinality ?Ref Ref.Title 1)
         (Value-Cardinality ?Ref Ref.Year 1)
         (Value-Cardinality ?Ref Ref.Periodical 1)
         (Same-Values ?Ref
                      Ref.Periodical
                      (Compose Doc.Title Ref.Document))
         (Same-Values ?Ref Ref.Secondary-Title Ref.Periodical)))

(Inherited-Facet-Value Slot-Value-Type
                       Journal-Article-Reference
                       Ref.Document
                       Journal)

(=> (Journal-Article-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Journal)
         (Value-Cardinality ?Ref Ref.Month 0)))

(Inherited-Facet-Value Slot-Value-Type
                       Magazine-Article-Reference
                       Ref.Document
                       Magazine)

(=> (Magazine-Article-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Magazine)
         (Value-Cardinality ?Ref Ref.Magazine-Name 1)
         (Same-Values ?Ref Ref.Magazine-Name Ref.Periodical)))

(Inherited-Facet-Value Slot-Value-Type
                       Newspaper-Article-Reference
                       Ref.Document
                       Newspaper)

(=> (Newspaper-Article-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Newspaper)
         (Value-Cardinality ?Ref Ref.Newspaper-Name 1)
         (Same-Values ?Ref Ref.Magazine-Name Ref.Periodical)
         (Value-Cardinality ?Ref Ref.Month 1)
         (Value-Cardinality ?Ref Ref.Day 1)
         (Value-Type ?Ref Ref.Address City-Address)))

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

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Address
                       (Compose Conf.Address
                                Doc.Conference
                                Ref.Document))

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Organization
                       (Compose Conf.Organization
                                Doc.Conference
                                Ref.Document))

(Inherited-Facet-Value Same-Slot-Values
                       Proceedings-Paper-Reference
                       Ref.Booktitle
                       (Compose Doc.Title Ref.Document))

(Inherited-Facet-Value Slot-Value-Type
                       Proceedings-Paper-Reference
                       Ref.Document
                       Proceedings)

(=> (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 Slot-Value-Type
                       Thesis-Reference
                       Ref.Document
                       Thesis)

(=> (Thesis-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Thesis)
         (Value-Cardinality ?Ref Ref.Publisher 1)
         (Same-Values ?Ref
                      Ref.Publisher
                      (Compose Organization.Name Thesis.University))))

(Inherited-Facet-Value Slot-Value-Type
                       Doctoral-Thesis-Reference
                       Ref.Document
                       Doctoral-Thesis)

(=> (Doctoral-Thesis-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Doctoral-Thesis)
         (Has-Value ?Ref Ref.Type-Of-Work Doctoral Thesis)))

(Inherited-Facet-Value Slot-Value-Type
                       Masters-Thesis-Reference
                       Ref.Document
                       Masters-Thesis)

(=> (Masters-Thesis-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Masters-Thesis)
         (Has-Value ?Ref Ref.Type-Of-Work Masters Thesis)))

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

(Inherited-Facet-Value Same-Slot-Values
                       Inherits-Publisher-From-Document
                       Ref.Address
                       (Compose Publisher.Address
                                Doc.Publisher
                                Ref.Document))

(Inherited-Facet-Value Same-Slot-Values
                       Inherits-Publisher-From-Document
                       Ref.Publisher
                       (Compose Publisher.Name
                                Doc.Publisher
                                Ref.Document))

(<=> (Inherits-Publisher-From-Document ?Ref)
     (And (Publication-Reference ?Ref)
          (Same-Values ?Ref
                       Ref.Publisher
                       (Compose Publisher.Name
                                Doc.Publisher
                                Ref.Document))
          (Same-Values ?Ref
                       Ref.Address
                       (Compose Publisher.Address
                                Doc.Publisher
                                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))))

(Inherited-Facet-Value Same-Slot-Values
                       Inherits-Title-From-Document
                       Ref.Title
                       (Compose Doc.Title Ref.Document))

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

(Inherited-Facet-Value Slot-Value-Type
                       Book-Publication-Data-Constraint
                       Ref.Document
                       Book)

(Inherited-Facet-Value Slot-Cardinality
                       Book-Publication-Data-Constraint
                       Ref.Document
                       1)

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