740 search results - page 24 / 148 » Querying the Web of Data: A Formal Approach |
SAC
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
167
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Entity matching (a.k.a. record linkage) plays a crucial role in integrating multiple data sources, and numerous matching solutions have been developed. However, the solutions have...
103
click to vote
ISEMANTICS
2010
14 years 8 months ago
2010
LInked Data Services (LIDS) denote the integration of dataproviding services and Linked Data. LIDS are parameterised and formally described web resources which return RDF when der...
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
78
Voted
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...