Class UNIVERSITY

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

Slots on this class:

Documentation:

A university is an institute of higher learning that offers a graduate research program. Of importance here is the fact that universities sponsor the publication of dissertations. Any organization that has been accredited to grant graduate degrees and is recognized in libraries to be a publisher of dissertations can be called a university. Some places that call themselves colleges fall under this category.

Instance-Of: Class

Subclass-Of: Organization

Range-Of: Thesis.university

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Thesis
                       Thesis.University
                       University)

(=> (Thesis ?X)
    (And (Value-Cardinality ?X Doc.Author 1)
         (Value-Cardinality ?X Doc.Title 1)
         (Value-Cardinality ?X Doc.Publication-Date 1)
         (Value-Cardinality ?X Thesis.University 1)
         (Value-Type ?X Thesis.University University)))

(=> (Thesis.University $X $Y) (University $Y))

Notes:

• Randy Davis: Dartmouth College (and a famous Supreme Court case from the mid 1800's) agree that the institution is a college, not a University, yet it has a grad research program, pubishes dissertations, etc.

  Tom Gruber: In that case, maybe the definition of a university in this ontology should be something that publishes dissertations.