This demo illustrates the SIM Validation and its flexibility following a three section structure:
Citizens can visit the one-stop government portal and apply for benefits. A possible step-sequence the citizen can follow include: (i) the citizen logs into the portal and selects the desired benefit (ii) the portal displays a form pre-filled with applicant's data; (iii) the applicant completes the form and submits it; (iv) the portal validates the form and sends it to the agency issuing the benefit; (v) a batch-process at the agency receives the form and after validating it according regulations it either accepts or rejects the application.
There is a need to automate and perform step (v) jointly with step (iv). The SIM Validation operation provides a basis for building a flexible solution to the problem.
The SIM Validation operation can be used to solve the problem. It can establish whether the citizen's application form is valid or not according to an ontology specifying the criteria.
For example, suppose that the eligibility criteria for child benefits specifies that valid application forms must include an applicant with at least two non adult children, and all included dependants being his spouse or children. A fragment of the ontology SIM Validation relies on - written following the Manchester OWL Syntax style - is shown below.
| 1 | Class | ApplicationForm |
| Axiom | -- | |
| Description | A form applicants fill for applying to a public service | |
| 2 | Class | Person |
| Axiom | -- | |
| Description | A human, an individual | |
| 3 | Class | Applicant |
| Axiom | Applicant equivalentClass ( Person and appliesAsBeneficiary min 1 ApplicationForm ) | |
| Description | An applicant (Applicant) is any person (Person) who applies for a benefit (appliesAsBeneficiary) submitting at least one (min 1) application form (ApplicationForm) as beneficiary | |
| 4 | Class | NotAdult |
| Axiom | NotAdult equivalentClass ( Person and hasAge < 21 ) | |
| Description | Specifies that a non-adult (NotAdult) is any person (Person) who has less than 21 years old (hasAge < 21) | |
| 5 | Class | EligibleApplicant |
| Axiom | EligibleApplicant equivalentClass (Applicant and hasChild min 2 NotAdult | |
| Description | Specifies that an eligible applicant (EligibleApplicant) is any applicant (Applicant) who has at least 2 children (has Child min 2), and each of these children is not an adult (NotAdult) | |
| 6 | Class | Dependant |
| Axiom | Dependant equivalentClass ( Person and appliesAsDependant min 1 ApplicationForm ) | |
| Description | A dependant(Dependant) is any person (Person) who at least applies as dependant (appliesAsDependant) submitting at least one (min 1) application form (ApplicationForm) | |
| 7 | Property | hasParent |
| Axiom | hasParent subProperty hasValidRelationWith | |
| Description | An ontology class related to another by the property hasParent, indicates the former has a valid relation with the latter (hasValid RelationWith). | |
| 8 | Property | hasSpouse |
| Axiom | hasSpouse subProperty hasValidRelationWith | |
| Description | An ontology class related to another by the property hasSpouse, indicates the former has a valid relation with the latter (hasValidRelationWith). | |
| 9 | Class | ValidDependant |
| Axiom | ValidDependant equivalentClass ( Dependant and hasValidRelationWith min 1 Applicant ) | |
| Description | Specifies that a valid dependent (ValidDependant) is any dependant (Dependant) who has a valid relation with (hasValidRelationWith) at least one applicant (Applicant) | |
| 10 | Class | ValidApplicationForm |
| Axiom | ValidApplicationForm equivalentClass ( ApplicationForm and hasApplicant only EligibleApplicant and hasDependant only ValidDependant) | |
| Description | Specifies that a valid application form (ValidApplicationForm) is any application form (ApplicationForm) having an applicant (hasApplicant) who is eligible (EligibleApplicant) and has only dependants (hasDependant) who are valid (ValidDependant) |