Theory JOB-ASSIGNMENT-TASK

• Last modified: Tuesday, 29 June 1993
• Source code: job-assignment-task.lisp
• List of all 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
          Jat-Time-Range
          Resource
    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.

11 classes defined:

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

All constants that were mentioned were defined.