Pr ojectStaff ⊆ ∃ isA.
Person CommunityW or ker ⊆ ∃ isA.
Person
CommunityL eader ⊆ ∃ isA. Person
Traditiona lLeader ⊆ ∃ isA. Person
Jean Vincent Fonou Dombeu and Magda Huisman
Pr ojectStaff ⊆ ∃isA.
Person CommunityWor ker ⊆ ∃isA.
Person
CommunityLeader ⊆ ∃isA. Person
TraditionalLeader ⊆ ∃isA. Person
Figure 2: Chart of the implementation, storage and query of domain ontology
The isA property represents the inheritance relationship between classes. Similarly, the class hierarchy of the domain ontology in Figure 1 shows that department, agency and municipality are division of government. This relationship between government and its divisions can be represented in description logic with a hasDivision property, the subset, existential quantification, and union symbols as follows:
Government ⊆ ∃ hasDivision.
( Department ∪ Agency ∪ Municipali ty)
Figure 3 presents a part of the description logic representation of the domain ontology..
171