Simple Demo: OBSERVER execution

The concept hierarchy of the "Spanish Accommodation" ontology used in this example is:

The Spanish Accommodation ontology has been described in CICLOP.

(reset-knowledge-base)
(default-expressiveness ALCFIHR+)
(new-tbox STRING-TBOX string)
(new-tbox NUMERIC-TBOX numeric)
(new-tbox spanishHotels ALCFIHR+)
(current-tbox spanishHotels)
(define-primitive-attribute-connector Location STRING-TBOX)
(define-primitive-attribute-connector Stars NUMERIC-TBOX)
(define-primitive-attribute-connector Price NUMERIC-TBOX)
(define-primitive-attribute-connector Name STRING-TBOX)
(define-primitive-attribute-connector Level STRING-TBOX)
(define-primitive-concept Apartment *spanishHotels-TOP*)
( define-concept Hotel (AND *spanishHotels-TOP* (ALL Stars (>= 1))))
(define-concept Hostal (AND Hotel (SOME Level (aset "Low"))))
(define-concept 4StarHotel (AND Hotel (SOME Level (aset "High" "")) (ALL Stars (= 4))))
(define-concept 5StarHotel (AND Hotel (SOME Level (aset "High" "")) (ALL Stars (= 5))))

This ontology describes the content of the following data repository:

Both the ontology and the data repository have the same semantics for the room price: prices are expressed in euros.

Integration. In order to translate the user query expressed in terms of the International Accommodation Ontology (IAO) (hereafter in uppercase) into terms of the Spanish Accommodation ontology (SAO) (hereafter in lowercase), OBSERVER integrates both ontologies by considering the interontology semantic relationships defined between them. The International Accommodation ontology and the classified user query (Q) are:

The integration takes place by considering the interontology semantic relationships defined between them (sinonimy, hyponymy/hyperonimy and overlaping between terms) stored at an independent module, the IRM (Interontology Relationship Manager):

Interontology semantic relationships defined between IAO and SAO:

In addition, the IRM stores that there exists an interontology transformer function to translate values from the semantics of the role SAO.price (in euros) into the semantics of the role IAO.PRICE (in dollars), as well as the corresponding inverse function. Both implementations are available for the IRM.

By considering the previous semantic relationships, the integrated ontology is:

Notice that the limit of room price is now expressed in euros. Unfortunately, due to the lack of synonyms, some terms in the original user query cannot be translated into the new ontology (IAO.HOTEL is not a synonym of SAO.hotel, but a hyponym!).