Sciweavers

1445 search results - page 220 / 289
» XPath query containment
Sort
View
PODS
2009
ACM
86views Database» more  PODS 2009»
14 years 10 months ago
Reverse data exchange: coping with nulls
An inverse of a schema mapping M is intended to "undo" what M does, thus providing a way to perform "reverse" data exchange. In recent years, three different f...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...
CADE
2000
Springer
14 years 2 months ago
Reasoning with Individuals for the Description Logic SHIQ
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
Ian Horrocks, Ulrike Sattler, Stephan Tobies
BMCBI
2005
119views more  BMCBI 2005»
13 years 10 months ago
A protein domain interaction interface database: InterPare
Background: Most proteins function by interacting with other molecules. Their interaction interfaces are highly conserved throughout evolution to avoid undesirable interactions th...
Sungsam Gong, Changbum Park, Hansol Choi, Junsu Ko...
NAR
2007
145views more  NAR 2007»
13 years 9 months ago
HMDB: the Human Metabolome Database
The Human Metabolome Database (HMDB) is currently the most complete and comprehensive curated collection of human metabolite and human metabolism data in the world. It contains re...
David S. Wishart, Dan Tzur, Craig Knox, Roman Eisn...
LPNMR
2005
Springer
14 years 3 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...