Simple Demo: OBSERVER execution

Expansion of the user query

Query Edition in the user ontology semantics

Retrieve the name, location and room rate for hotels with a room rate equals to $200

[Name Location Price] of (AND hotel (FILLS Price 200))

Incremental Query Expansion to Multiple Ontologies

(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))))

Repository:	Accommodation in Spain
Data organization:	Relational database
Price is stored in:	Euros
Schema

Integration.

IAO.APARTMENT	is a synonym of	SAO.apartment
IAO.HOTEL	is a hyponym of	SAO.hotel
IAO.HOTEL	is a hypernym of	SAO.4StarHotel
IAO.HOTEL	is a hypernym of	SAO.5StarsHotel
<IAO.HOTEL,80%>	overlaps	<SAO.Hotel,50% >
IAO.PRICE	is a synonym of	SAO.price

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.

(IAO.HOTEL is not a synonym of SAO.hotel, but a hyponym!).

Full Translation of the user query
Estimating the loss of information
Execute a new plan