This demo illustrates the SIM Discovery with a three section structure as follows:
Note: The flexibility of a solution based on the SIM is demonstrated in the Validation Demo.
Citizens may not be aware that they could be eligible for particular public service. A semantic gap exists, since they are need-aware but not service-aware. Furthermore, in order to apply for a service, citizens are required to understand regulations defining eligibility criteria and select a service that suits their situation. This situation becomes particularly acute when citizens apply on-line and no public servant can guide them. In this example, applying for a service requires the following steps: (i) The citizen logs into the portal; (ii) The citizen selects one service from a list; (iii) The portal displays a form prefilled with applicant's data; (iv) The applicant fills the form and submits it.
In order to provide customer orientation, a discovery functionality is required at step (i). This functionality will suggest to the citizen public services he may be eligible for. It will base suggestions on citizen's personal data, current public service regulations, and available benefits. SIM Discovery offers a basis for building a flexible solution to the problem.
Domain experts must describe the ontology classes relevant to the problem through the an ontology. These classes include citizen's personal data, services, and eligibility criteria. For the purpose of this demo, the following public services are considered: housing benefit, child benefit, and retirement pension. A fragment of the ontology describing relevant ontology classes is shown Below.
| 1 | Class | EligibleForRetirementPension |
| Axiom | EligibleForRetirementPension equivalentClass (Person and hasAge >=65) | |
| Description | Specifies that an eligible applicant for the retirement pension (EligibleForRetirementPension) is any Person (Person) whose age is over or equal 65 (hasAge >=65) | |
| 2 | Class | EligibleForHousingBenefit |
| Axiom | EligibleForHousingBenefit equivalentClass (Person and owns exactly 0 Residence) | |
| Description | Specifies that an eligible applicant for the housing benefit (EligibleForHousingBenefit) is any Person (Person) who owns none residence (owns exactly 0 Residence) | |
| 3 | Class | EligibleForChildBenefit |
| Axiom | EligibleForChildBenefit equivalentClass (Person and hasChild min 2 Person) | |
| Description | Specifies that an eligible applicant for a child benefit (EligibleForChildBenefit) is any Person (Person) who has at least two children (hasChild min 2 Person) |