Knowledge Base Amalgamation using Higher-Order Logic-Based Language HiLog
Alen Lovrenčić · University of Zagreb University Computing Centre (SRCE) · 1999
The increasing number of data sources that are usedfor decision support in business meant it was necessary to integrate all sources and the ir unique representation to a user.The sources we may want to integrate can be internal (local databases, etc.) or external (Internet, etc.).Each one of these sources may have a difJerent query language, with a difJerent syntax, difJerent semantics and querying power.Because of this difJerent kinds of problems may arise.The most common problems are inconsistency, partiality of data, and conjlicts between sources.We need a language powerful enough to solve those problems.In this paper 1 will show the way to solve these problems using a logic-based language HiLog as a mediator language.DifJerent strategies to solve these problems will be presented, as well as HiL og solulions for those strategies.