Theory JOB-ASSIGNMENT-TASK

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

Theories included by Job-Assignment-Task:

    Jat-Generic
       Frame-Ontology
          Kif-Relations
             Kif-Sets
             Kif-Lists
                Kif-Numbers

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:

8 functions defined:

No instances defined.

The following constants were used from included theories:

All constants that were mentioned were defined.

Class ASSIGNMENT-OBJECT

ASSIGNMENT-OBJECT denotes an object appearing generally in assignment problems.
Subclass-Of: Individual
Subclass-Partition: {Source, Target}

Class SOURCE

SOURCE denotes an object to be assigned to an object of TARGET.
Subclass-Of: Assignment-object

Class TARGET

TARGET denotes an object to which an object of SOURCE is to be assigned.
Subclass-Of: Assignment-object

Function ASSIGNMENT

ASSIGNMENT denotes a mapping from SOURCE to TARGET.
Arity: 2
Domain: Source
Range: Target

Class JOB

JOB is an abstract class that denotes an object to be assigned to

a resource, or a collection of such objects.

Subclass-Of: Source

Class TEMPORALLY-FIXED-JOB-CLASS

TEMPORALLY-FIXED-JOB-CLASS denotes a job whose assignment to a time range is predefined.
Subclass-Of: Class

Slots Of Instances:

Subclass-Of: Job
Axioms:
(<=> (Temporally-Fixed-Job-Class ?Class) 
     (And (Class ?Class) 
          (Subclass-Of ?Class Job) 
          (Slot-Cardinality ?Class Assigned-Time-Range 1) ))

Class FIXED-LENGTH-JOB-CLASS

FIXED-LENGTH-JOB-CLASS denotes a job whoes length is independent of a resource and fixed.
Subclass-Of: Class

Slots Of Instances:

Subclass-Of: Job
Axioms:
(<=> (Fixed-Length-Job-Class ?Class) 
     (And (Class ?Class) 
          (Subclass-Of ?Class Job) 
          (Slot-Cardinality ?Class Fixed-Length-Job.Length 1) ))

Class UNIT-LENGTH-JOB-CLASS

UNIT-LENGTH-JOB denotes a job whose length is the same.
Subclass-Of: Fixed-length-job-class

Slots Of Instances:

Job-Unit-Length:
Slot-Cardinality: 1
Axioms:
(<=> (Unit-Length-Job-Class ?Class) 
     (And (Fixed-Length-Job-Class ?Class) 
          (Value-Cardinality ?Class Job-Unit-Length 1) 
          (Forall (?I) 
                  (=> (Instance-Of ?I ?Class) 
                      (= (Fixed-Length-Job.Length ?I) 
                         (Job-Unit-Length ?Class) )))))

Function JOB-UNIT-LENGTH

Each job class of unit-length-job-class has its own length.
Arity: 2
Domain: Unit-length-job-class
Range: Duration

Function JOB.LENGTH

JOB.LENGTH returns a duration of the job.
Arity: 3
Axioms:
(Nth-Domain Job.Length 3 Duration) 

(Nth-Domain Job.Length 2 Resource) 

(Nth-Domain Job.Length 1 Job)

Function FIXED-LENGTH-JOB.LENGTH

FIXED-LENGTH-JOB.LENGTH returns a duration of the job. The length does not depend on resources.
Arity: 2
Domain: Job
Range: Duration

Function JOB.TIME-RANGE

JOB-TIME-RAGNE returns a time range where a job is permitted to

be assigned

Arity: 2
Domain: Job
Range: Time-range

Class RESOURCE

RESOURCE is an abstract class that denotes an object to which a

job is assigned, or a collection of such objects.

Subclass-Of: Target

Class JAT-TIME-RANGE

JAT-TIME-RANGE denotes a time range which is referred to in the job assignment task.
Subclass-Of: Target, Time-range

Class DISCRETE-TIME-RANGE-CLASS

DISCRETE-TIME-RANGE-CLASS denotes a time range whose start time and end time are measured by a time-range-unit.
Subclass-Of: Class

Slots Of Instances:

Time-Range-Unit:
Slot-Cardinality: 1
Axioms:
(<=> (Discrete-Time-Range-Class ?Class) 
     (And (Class ?Class) 
          (Value-Cardinality ?Class Time-Range-Unit 1) 
          (Forall (?I) 
                  (=> (Instance-Of ?I ?Class) 
                      (And (Measured-By (Time-Range.Start-Time ?I) 
                                        (Time-Range-Unit ?Class) )
                           (Measured-By (Time-Range.End-Time ?I) 
                                        (Time-Range-Unit ?Class) ))))))

Function TIME-RANGE-UNIT

A time-range class of discrete-time-range-class has its own minimun unit of duration.
Arity: 2
Domain: Discrete-time-range-class
Range: Duration

Relation MEASURED-BY

A time point ?tp can be measured by a unit of duration ?unit.
Arity: 2
Domain: Time-point
Range: Duration

Class UNIT-TIME-RANGE-CLASS

UNIT-TIME-RANGE-CLASS deontes a time ragne whose duration is a unit length.
Subclass-Of: Discrete-time-range-class
Axioms:
(<=> (Unit-Time-Range-Class ?Class) 
     (And (Discrete-Time-Range-Class ?Class) 
          (Forall (?I) 
                  (=> (Instance-Of ?I ?Class) 
                      (= (Time-Range.Duration ?I) 
                         (Time-Range-Unit ?Class) )))))

Function ASSIGNED-RESOURCE

ASSIGNED-RESOURCE returns a resouce to which a job is assinged.
Arity: 2
Domain: Job
Range: Resource
Subrelation-Of: Assignment

Function ASSIGNED-TIME-RANGE

ASSIGNED-TIME_RANGE returns a time range to which a job is assigned.
Arity: 2
Domain: Job
Range: Jat-time-range
Subrelation-Of: Assignment

This document was generated using Ontolingua.
Formatting and translation code was written by
François Gerbaux and Tom Gruber