2608 search results - page 384 / 522 » Inferring Answers to Queries |
239
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
Maintaining materialized views that have join conditions between arbitrary pairs of data sources possibly with cycles is critical for many applications. In this work, we model vie...
231
Voted
ICDE
2003
IEEE
16 years 5 months ago
2003
IEEE
Despite the recent proliferation of work on semistructured data models, there has been little work to date on supporting uncertainty in these models. In this paper, we propose a m...
155
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...
228
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
154
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...