Sciweavers

4372 search results - page 668 / 875
» Data Semantics Revisited
Sort
View
WWW
2008
ACM
14 years 9 months ago
Core geographical concepts: case Finnish geo-ontology
In this paper we examine 1) the scope of geo-ontologies used especially for the purposes of information retrieval on the Web, 2) the core geographical concepts and their mutual re...
Eero Hyvönen, Riikka Henriksson, Tomi Kauppin...
WWW
2008
ACM
14 years 9 months ago
Integrating the IAC neural network in ontology mapping
Ontology mapping seeks to find semantic correspondences between similar elements of different ontologies. This paper proposes a neural network based approach to search for a globa...
Ming Mao, Yefei Peng, Michael Spring
ICLP
2009
Springer
14 years 8 months ago
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
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...
Martin Gebser, Roland Kaminski, Benjamin Kaufmann,...
POPL
2002
ACM
14 years 8 months ago
Proving correctness of compiler optimizations by temporal logic
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
David Lacey, Neil D. Jones, Eric Van Wyk, Carl Chr...
SIGMOD
2004
ACM
140views Database» more  SIGMOD 2004»
14 years 8 months ago
Automatic Direct and Indirect Schema Mapping: Experiences and Lessons Learned
A schema mapping produces a semantic correspondence between two schemas. Automating schema mapping is challenging. The existence of 1:n (or n:1) and n:m mapping cardinalities make...
David W. Embley, Li Xu, Yihong Ding