Class CONFERENCE

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

Slots on this class:

Documentation:

A conference is a big meeting where people wear badges, sit through boring talks, and drink coffee in the halls.

Instance-Of: Class

Subclass-Of: Biblio-thing

Domain-Of:

Conf.address, Conf.date, Conf.name, Conf.organization

Range-Of: Doc.conference

---

Slots on instances of this class:

Conf.Address:

Maximum-Slot-Cardinality: 1

Slot-Value-Type: City-address

Conf.Date:

Slot-Cardinality: 1

Slot-Value-Type: Calendar-date

Conf.Name:

Slot-Cardinality: 1

Slot-Value-Type: Biblio-name

Conf.Organization:

Slot-Cardinality: 1

Slot-Value-Type: Organization

Other Related Axioms:

(Subclass-Partition Biblio-Thing
                    (Setof Agent
                           Timepoint
                           Document
                           Reference
                           Conference))

(=> (Conf.Name $X $Y) (Conference $X))

(=> (Conf.Date $X $Y) (Conference $X))

(=> (Conf.Address $X $Y) (Conference $X))

(=> (Conf.Organization $X $Y) (Conference $X))

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

(Inherited-Facet-Value Slot-Value-Type
                       Proceedings
                       Doc.Conference
                       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))))