1073 search results - page 169 / 215 » Using the Semantic Web to Integrate Ecoinformatics Resources |
FOIS
2006
13 years 10 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
ICLP
2007
Springer
14 years 19 days ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
Schema matching is the task of finding semantic correspondences between elements of two schemas. It is needed in many database applications, such as integration of web data source...
PVLDB
2010
13 years 7 months ago
2010
Mashups are situational applications that join multiple sources to better meet the information needs of Web users. Web sources can be huge databases behind query interfaces, which...
ICDE
2008
IEEE
14 years 3 months ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...