Class BIBLIO-NAME

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

Slots on this class:

Documentation:

A name of something in the bibliographic-data ontology. Names are distinguished from strings in general because they may be treated specially in some databases; for example, there may be uniqueness assumptions.

Instance-Of: Class

Subclass-Of: Biblio-text

Range-Of:

Agent.name, Author.name, Conf.name, Organization.name, Penname, Publisher.name, Ref.labels, Ref.report-number, Ref.type-of-work

Superclass-Of:

Agent-name, Author-name, City-address, Keyword, Publisher-name, Title

Other Related Axioms:

(=> (Agent.Name $X $Y) (Biblio-Name $Y))

(=> (Author.Name $X $Y) (Biblio-Name $Y))

(=> (Penname $X $Y) (Biblio-Name $Y))

(=> (Organization.Name $X $Y) (Biblio-Name $Y))

(=> (Publisher.Name $X $Y) (Biblio-Name $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Conference
                       Conf.Name
                       Biblio-Name)

(=> (Conference ?X)
    (And (Value-Cardinality ?X Conf.Name 1)
         (Value-Type ?X Conf.Name Biblio-Name)
         (Value-Cardinality ?X Conf.Organization 1)
         (Value-Type ?X Conf.Organization Organization)
         (Value-Cardinality ?X Conf.Date 1)
         (Value-Type ?X Conf.Date Calendar-Date)
         (Value-Type ?X Conf.Address City-Address)
         (Maximum-Value-Cardinality ?X Conf.Address 1)))

(=> (Conf.Name $X $Y) (Biblio-Name $Y))

(=> (Ref.Report-Number $X $Y) (Biblio-Name $Y))

(=> (Ref.Labels $X $Y) (Biblio-Name $Y))

(=> (Ref.Type-Of-Work $X $Y) (Biblio-Name $Y))

Notes:

• Why isn't there a subclass-partition for this, since classes like TITLE, KEYWORD, and CITY-ADDRESS are subclasses?

  Because these are all strings that may be lexically equal. If they were concepts then they would be mutually exclusive.