Sciweavers

23 search results - page 5 / 5
» Decidability and proof systems for language-based noninterfe...
Sort
View
COOPIS
2002
IEEE
14 years 3 months ago
Extending Datatype Support in Web Ontology Reasoning
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
Jeff Z. Pan, Ian Horrocks
ER
2008
Springer
110views Database» more  ER 2008»
14 years 19 days ago
Conjunctive Query Containment under Access Limitations
Access limitations may occur when querying data sources over the web or heterogeneous data sources presented as relational tables: this happens, for instance, in Data Exchange and ...
Andrea Calì, Davide Martinenghi
JACM
2010
120views more  JACM 2010»
13 years 5 months ago
The structure of inverses in schema mappings
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
Ronald Fagin, Alan Nash