2516 search results - page 154 / 504 » Integrity Constraints for XML |
186
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
148
click to vote
AAAI
2006
15 years 7 months ago
2006
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging...
201
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
We present a case study about the application of the inductive database approach to the analysis of Web logs. We consider rich XML Web logs ? called conceptual logs ? that are gen...
168
click to vote
ACMICEC
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
184
click to vote
NAR
2002
2002
The Protein Information Resource: an integrated public resource of functional annotation of proteins
15 years 6 months ago
The Protein Information Resource (PIR) serves as an integrated public resource of functional annotation of protein data to support genomic/proteomic research and scientific discov...