2268 search results - page 321 / 454 » Semantic Integration |
220
Voted
ICDE
1998
IEEE
16 years 4 months ago
1998
IEEE
Traditional Event-Condition-Action triggers (active database rules) include a Boolean predicate as a trigger condition. We propose fuzzy triggers whereby fuzzy inference is utiliz...
115
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
146
Voted
WWW
2007
ACM
16 years 4 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...
209
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
139
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...