Theory JOB-ASSIGNMENT-TASK

• Last modified: Tuesday, 29 June 1993
• Source code: job-assignment-task.lisp
• List of other known theories

Theory documentation:

This theory defines a task ontology for the job assignment task. The job assignment task, which is a class of sheduling problems, is a problem of assigning all given jobs to the available resources within the time range, while satisfying various constraints. This theory is based on Ontolingua V 3.0

Cross Reference Report:

Theories included by Job-Assignment-Task:

  Jat-Generic

No theories include Job-Assignment-Task.

11 classes defined:

    Assignment-Object
       Source
          Job
       Target
          Resource
          Jat-Time-Range
    Discrete-Time-Range-Class
       Unit-Time-Range-Class
    Fixed-Length-Job-Class
       Unit-Length-Job-Class
    Temporally-Fixed-Job-Class

1 relation defined:

  Measured-By

8 functions defined:

  Assigned-Resource
  Assigned-Time-Range
  Assignment
  Fixed-Length-Job.Length
  Job-Unit-Length
  Job.Length
  Job.Time-Range
  Time-Range-Unit

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Duration defined as a class in theory Jat-Generic
• Function defined as a class in theory Kif-Relations
• Individual defined as a class in theory Kif-Sets
• Instance-Of defined as a relation in theory Frame-Ontology
• 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
• Slot-Cardinality defined as a function in theory Frame-Ontology
• 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
• Time-Point defined as a class in theory Jat-Generic
• Time-Range defined as a class in theory Jat-Generic
• Time-Range.Duration defined as a function in theory Jat-Generic
• Time-Range.End-Time defined as a function in theory Jat-Generic
• Time-Range.Start-Time defined as a function in theory Jat-Generic
• Value-Cardinality defined as a function in theory Frame-Ontology

All constants that were mentioned were defined.