Sciweavers

280 search results - page 26 / 56
» On the Semantic Relationship between Datalog and Description...
Sort
View
ICDE
2007
IEEE
103views Database» more  ICDE 2007»
14 years 9 months ago
A Semantic Approach to Discovering Schema Mapping Expressions
In many applications it is important to find a meaningful relationship between the schemas of a source and target database. This relationship is expressed in terms of declarative ...
Alexander Borgida, John Mylopoulos, Renée J...
ESWS
2006
Springer
14 years 4 days ago
Reconciling Concepts and Relations in Heterogeneous Ontologies
In the extensive usage of ontologies envisaged by the Semantic Web there is a compelling need for expressing mappings between the components of heterogeneous ontologies. These mapp...
Chiara Ghidini, Luciano Serafini
BIRTHDAY
2006
Springer
14 years 7 days ago
Semantic Web Languages - Towards an Institutional Perspective
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
DLOG
2010
13 years 6 months ago
Updating TBoxes in DL-Lite
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...
Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Khar...
BANFF
1995
14 years 1 days ago
An Automata-Theoretic Approach to Linear Temporal Logic
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
Moshe Y. Vardi