Sciweavers

17 search results - page 4 / 4
» On the decidability and complexity of query answering over i...
Sort
View
LPNMR
2005
Springer
13 years 10 months ago
Data Integration: a Challenging ASP Application
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
Nicola Leone, Thomas Eiter, Wolfgang Faber, Michae...
ECOI
2007
101views more  ECOI 2007»
13 years 5 months ago
Reasoning about taxonomies in first-order logic
Experts often disagree about the organization of biological taxa. The shifting definitions of taxonomic names complicate otherwise simple queries concerning these taxa. For examp...
David Thau, Bertram Ludäscher