Sciweavers

67 search results - page 12 / 14
» On the Expressiveness of Implicit Provenance in Query and Up...
Sort
View
CIKM
2011
Springer
12 years 7 months ago
Semantic data markets: a flexible environment for knowledge management
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
Roberto De Virgilio, Giorgio Orsi, Letizia Tanca, ...
ECOOP
2008
Springer
13 years 9 months ago
A Unified Framework for Verification Techniques for Object Invariants
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
Sophia Drossopoulou, Adrian Francalanza, Peter M&u...
SIGMOD
2007
ACM
157views Database» more  SIGMOD 2007»
14 years 7 months ago
Compiling mappings to bridge applications and databases
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
Sergey Melnik, Atul Adya, Philip A. Bernstein
CAISE
2001
Springer
13 years 12 months ago
A Semantic Approach to Integrating XML and Structured Data Sources
XML is fast becoming the standard for information exchange on the Internet. As such, information expressed in XML will need to be integrated with existing information systems, whi...
Peter McBrien, Alexandra Poulovassilis
ESWS
2007
Springer
14 years 1 months ago
Real-World Reasoning with OWL
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...
Timo Weithöner, Thorsten Liebig, Marko Luther...