This is the way that ontologies were presented in the statically generated hyperwebs. In the next slide we see the definition of the class Thesis.

Ontolingua Theory BIBLIOGRAPHIC-DATA

Theory BIBLIOGRAPHIC-DATA

Last modified: Tuesday, 27 September 1994
Source code: bibliographic-data.lisp
List of other known theories

Theory documentation:

The bibliographic-data ontology defines the terms used for describing bibliographic references. This theory defines the basic class for reference objects and the types (classes) for the data objects that appear in references, such as authors and titles. Specific databases will use schemata that associate references with various combinations of data objects, usually as fields in a record. This ontology is intended to provide the basic types from which a specific database schema might be defined.

Notes:

Copyright: Copyright (c) 1992 Thomas R. Gruber

Cross Reference Report:

Theories included by Bibliographic-Data:

  Frame-Ontology
  Slot-Constraint-Sugar

No theories include Bibliographic-Data.

70 classes defined:

    Biblio-Text
       Biblio-Name
          Title
          Keyword
          City-Address
          Agent-Name
          Author-Name
          Publisher-Name
       Biblio-Nl-Text
    Biblio-Thing
       Agent
          Person
          Author
          Organization
             Publisher
             University
       Conference
       Timepoint
          Calendar-Year
          Calendar-Date
          Universal-Time-Spec
       Document
          Book
             Edited-Book
          Periodical-Publication
             Journal
             Magazine
             Newspaper
          Proceedings
          Thesis
             Masters-Thesis
             Doctoral-Thesis
          Technical-Report
          Miscellaneous-Publication
             Technical-Manual
             Computer-Program
             Artwork
             Cartographic-Map
             Multimedia-Document
       Reference
          Publication-Reference
             Book-Reference
                Edited-Book-Reference
             Book-Section-Reference
             Article-Reference
                Journal-Article-Reference
                Magazine-Article-Reference
                Newspaper-Article-Reference
             Proceedings-Paper-Reference
             Thesis-Reference
                Doctoral-Thesis-Reference
                Masters-Thesis-Reference
             Technical-Report-Reference
             Misc-Publication-Reference
                Technical-Manual-Reference
                Computer-Program-Reference
                Cartographic-Map-Reference
                Artwork-Reference
                Multimedia-Document-Reference
             Inherits-Author-From-Document
                Book-Reference ...
                Thesis-Reference ...
                Technical-Report-Reference
                Technical-Manual-Reference
                Computer-Program-Reference
                Cartographic-Map-Reference
                Artwork-Reference
                Multimedia-Document-Reference
             Inherits-Publisher-From-Document
                Book-Publication-Data-Constraint
                   Book-Reference ...
                   Book-Section-Reference
             Inherits-Year-From-Document
                Proceedings-Paper-Reference
                Thesis-Reference ...
                Technical-Report-Reference
                Technical-Manual-Reference
                Cartographic-Map-Reference
                Artwork-Reference
                Multimedia-Document-Reference
                Book-Publication-Data-Constraint ...
             Inherits-Title-From-Document
                Book-Reference ...
                Thesis-Reference ...
                Technical-Report-Reference
                Technical-Manual-Reference
                Computer-Program-Reference
                Cartographic-Map-Reference
                Artwork-Reference
                Multimedia-Document-Reference
             Book-Publication-Data-Constraint ...
          Non-Publication-Reference
             Personal-Communication-Reference
             Generic-Unpublished-Reference
    Day-Number
    Month-Name
    Year-Number

19 relations defined:

  Author.Name
  Doc.Author
  Doc.Author-Name
  Doc.Editor
  Doc.Series-Editor
  Doc.Translator
  Penname
  Publisher.Address
  Ref.Address
  Ref.Author
  Ref.Editor
  Ref.Keywords
  Ref.Labels
  Ref.Notes
  Ref.Secondary-Author
  Ref.Secondary-Title
  Ref.Series-Editor
  Ref.Tertiary-Author
  Ref.Translator

41 functions defined:

  Agent.Name
  Conf.Address
  Conf.Date
  Conf.Name
  Conf.Organization
  Doc.Author.Name
  Doc.Conference
  Doc.Edition
  Doc.Institution
  Doc.Number-Of-Pages
  Doc.Publication-Date
  Doc.Publisher
  Doc.Series-Title
  Doc.Title
  Organization.Name
  Publisher.Name
  Ref.Abstract
  Ref.Booktitle
  Ref.Day
  Ref.Document
  Ref.Edition
  Ref.Issue
  Ref.Magazine-Name
  Ref.Month
  Ref.Newspaper-Name
  Ref.Number-Of-Volumes
  Ref.Organization
  Ref.Pages
  Ref.Periodical
  Ref.Publisher
  Ref.Report-Number
  Ref.Title
  Ref.Type-Of-Work
  Ref.Volume
  Ref.Year
  Thesis.University
  Timepoint.Day
  Timepoint.Minutes
  Timepoint.Month
  Timepoint.Seconds
  Timepoint.Year

12 instances defined:

  April
  August
  December
  February
  January
  July
  June
  March
  May
  November
  October
  September

The following constants were used from included theories:

=< defined as a relation in theory Kif-Numbers
All-Instances defined as a function in theory Frame-Ontology
Arity defined as a function in theory Frame-Ontology
Class defined as a class in theory Frame-Ontology
Compose defined as a function in theory Frame-Ontology
Documentation defined as a relation in theory Frame-Ontology
Domain defined as a relation in theory Frame-Ontology
Exact-Range defined as a function in theory Frame-Ontology
Exhaustive-Subclass-Partition defined as a relation in theory Frame-Ontology
First defined as a function in theory Kif-Lists
Function defined as a class in theory Kif-Relations
Has-Value defined as a relation in theory Frame-Ontology
Individual-Thing defined as a class in theory Frame-Ontology
Integer defined as a class in theory Kif-Numbers
List defined as a class in theory Kif-Lists
Maximum-Value-Cardinality defined as a relation in theory Frame-Ontology
Minimum-Value-Cardinality defined as a relation in theory Frame-Ontology
Natural defined as a class in theory Kif-Numbers
Nth-Domain defined as a relation in theory Frame-Ontology
Range defined as a relation in theory Frame-Ontology
Relation defined as a class in theory Kif-Relations
Rest defined as a function in theory Kif-Lists
Same-Values defined as a relation in theory Frame-Ontology
String defined as a class in theory Kif-Extensions
Subclass-Of defined as a relation in theory Frame-Ontology
Subclass-Partition defined as a relation in theory Frame-Ontology
Subrelation-Of defined as a relation in theory Frame-Ontology
Value-Cardinality defined as a function in theory Frame-Ontology
Value-Type defined as a relation in theory Frame-Ontology

All constants that were mentioned were defined.

This document was generated using Ontolingua.
Formatting and translation code was written by

François Gerbaux and Tom Gruber