An Example of the Multidialect Infrastructure
The idea of the multidialect mediation infrastructure is
demonstrated on example of finding an optimal
assignment of applicants among universities. The
program calculating such assignment is defined in DLV
(Answer Set Programming). The required information
resources are integrated in a SYNTHESIS mediator.
OntoBroker communicates with users and applying its
ontologies, formulates the queries to the mediator and
after collecting the required data, initiates a program in
DLV. The assignment problem is formulated as follows.
A set of n applicants is to be assigned among m universities,
where qi is the quota of the i-th college. Applicants
(universities) rank the universities (the applicants) in the
order of their preference. The aim is to find optimal
assignment from the quotas of the colleges and the two
sets of orderings.
An assignment of applicants to colleges is unstable
if there are two applicants a and b who are assigned to
colleges A and B, respectively, although b prefers A to B
and A prefers b to a ; otherwise, an assignment is stable.
A stable assignment is called optimal if every applicant
is at least as well off under it as under any other
stable assignment.
|
