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

- Full Translation of the user query:
Two ways can be followed:
- To replace each conflicting term by the intersection of its immediate subsumers, or
- To replace each conflicting term by the union of its immediate subsumees.
Both alternatives must be explored (and applied recursively) to determine which one incurs in less loss of information with respect to the original user query:
- Replacing HOTEL by the intersection of its parents:
Plan 1:[Name Location Price] of (AND Hotel (FILLS Price 168))
- Replacing HOTEL by the union of its children:
Plan 2:[Name Location Price] of (AND (OR 4StarHotel 5StarHotel) (FILLS Price 168))
Notice that now all the terms in both plans are from the SAO (in lowercase). Now OBSERVER must choose the translation with less loss of information.
- Estimating the loss of information
- Execute a new plan