Class ARTICLE-REFERENCE

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

Slots on this class:

Documentation:

An article is a piece published in a journal, magazine, or newspaper.

Instance-Of: Class

Subclass-Of: Publication-reference

Domain-Of: Ref.issue

Superclass-Of: Journal-article-reference, Magazine-article-reference, Newspaper-article-reference

---

Slots on instances of this class:

Ref.Author:

Minimum-Slot-Cardinality: 1

Ref.Document:

Slot-Value-Type: Periodical-publication, Document

Ref.Periodical:

Same-Slot-Values:

(Compose Doc.Title Ref.Document)

Slot-Cardinality: 1

Ref.Secondary-Title:

Same-Slot-Values: Ref.periodical

Ref.Title:

Slot-Cardinality: 1

Ref.Year:

Slot-Cardinality: 1

Axioms:

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

Other Related Axioms:

(=> (= (Ref.Volume ?Ref) ?Number)
    (Or (Book-Reference ?Ref)
        (Book-Section-Reference ?Ref)
        (Article-Reference ?Ref)))

(=> (Ref.Issue $X $Y) (Article-Reference $X))

(=> (= (Ref.Pages ?Ref) ?Page-Range)
    (Or (Book-Section-Reference ?Ref)
        (Article-Reference ?Ref)
        (Proceedings-Paper-Reference ?Ref)))

(=> (= (Ref.Month ?Ref) ?Month)
    (Or (Article-Reference ?Ref) (Technical-Report ?Ref)))

(=> (= (Ref.Day ?Ref) ?Day)
    (Or (Article-Reference ?Ref)
        (Personal-Communication-Reference ?Ref)))

(Subclass-Partition Publication-Reference
                    (Setof Book-Reference
                           Book-Section-Reference
                           Article-Reference
                           Proceedings-Paper-Reference
                           Thesis-Reference
                           Technical-Report-Reference
                           Misc-Publication-Reference))