656 research outputs found
Updating DL-Lite ontologies through first-order queries
In this paper we study instance-level update in DL-LiteA, the description logic underlying the OWL 2 QL standard. In particular we focus on formula-based approaches to ABox insertion and deletion. We show that DL-LiteA, which is well-known for enjoying first-order rewritability of query answering, enjoys a first-order rewritability property also for updates. That is, every update can be reformulated into a set of insertion and deletion instructions computable through a nonrecursive datalog program. Such a program is readily translatable into a first-order query over the ABox considered as a database, and hence into SQL. By exploiting this result, we implement an update component for DLLiteA-based systems and perform some experiments showing that the approach works in practice.Peer ReviewedPostprint (author's final draft
Entanglement between pairing and screening in the Gorkov-Melik-Barkhudarov correction to the critical temperature throughout the BCS-BEC crossover
The theoretical description of the critical temperature Tc of a Fermi
superfluid dates back to the work by Gor'kov and Melik-Barkhudarov (GMB), who
addressed it for a weakly-coupled (dilute) superfluid in the BCS
(weak-coupling) limit of the BCS-BEC crossover. The point made by GMB was that
particle-particle (pairing) excitations, which are responsible for
superfluidity to occur below Tc, and particle-hole excitations, which give rise
to screening also in a normal system, get effectively disentangled from each
other in the BCS limit, thus yielding a reduction by a factor 2.2 of the value
of Tc obtained when neglecting screening effects. Subsequent work on this
topic, aimed at extending the original GMB argument away from the BCS limit
with diagrammatic methods, has kept this disentangling between pairing and
screening throughout the BCS-BEC crossover, without realising that the
conditions for it to be valid are soon violated away from the BCS limit. Here,
we reconsider this problem from a more general perspective and argue that
pairing and screening are intrinsically entangled with each other along the
whole BCS-BEC crossover but for the BCS limit considered by GMB. We perform a
detailed numerical calculation of the GMB diagrammatic contribution extended to
the whole BCS-BEC crossover, where the full wave-vector and frequency
dependence occurring in the repeated in-medium two-particle scattering is duly
taken into account. Our numerical calculations are tested against analytic
results available in both the BCS and BEC limits, and the contribution of the
GMB diagrammatic term to the scattering length of composite bosons in the BEC
limit is highlighted. We calculate Tc throughout the BCS-BEC crossover and find
that it agrees quite well with Quantum Monte Carlo calculations and
experimental data available in the unitarity regime.Comment: 21 pages, 11 figure
A framework for explaining query answers in dl-lite
An Ontology-based Data Access system is constituted by an ontology, namely a description of the concepts and the relations in a domain of interest, a database storing facts about the domain, and a mapping between the data and the ontology. In this paper, we consider ontologies expressed in the popular DL-Lite family of Description Logic, and we address the problem of computing explanations for answers to queries in an OBDA system, where queries are either positive, in particular conjunctive queries, or negative, i.e., negation of conjunctive queries. We provide the following contributions: (i) we propose a formal, comprehensive framework of explaining query answers in OBDA systems based on DL-Lite; (ii) we present an algorithm that, given a tuple returned as an answer to a positive query, and given a weighting function, examines all the explanations of the answer, and chooses the best explanation according to such function; (iii) we do the same for the answers to negative queries. Notably, on the way to get the latter result, we present what appears to be the first algorithm that computes the answers to negative queries in DL-Lite
Polynomial conjunctive query rewriting under unary inclusion dependencies
Ontology-based data access (OBDA) is widely accepted as an important ingredient of the new generation of information systems. In the OBDA paradigm, potentially incomplete relational data is enriched by means of ontologies, representing intensional knowledge of the application domain. We consider the problem of conjunctive query answering in OBDA. Certain ontology languages have been identified as FO-rewritable (e.g., DL-Lite and sticky-join sets of TGDs), which means that the ontology can be incorporated into the user's query, thus reducing OBDA to standard relational query evaluation. However, all known query rewriting techniques produce queries that are exponentially large in the size of the user's query, which can be a serious issue for standard relational database engines. In this paper, we present a polynomial query rewriting for conjunctive queries under unary inclusion dependencies. On
the other hand, we show that binary inclusion dependencies do not admit
polynomial query rewriting algorithms
Ontology-based data access to Slegge
We report on our experience in ontology-based data access to the Slegge database at Statoil and share the resources employed in this use case: end-user information needs (in natural language), their translations into SPARQL, the Subsurface Exploration Ontology, the schema of the Slegge database with integrity constraints, and the mappings connecting the ontology and the schema
Ontology-Based Data Access and Integration
An ontology-based data integration (OBDI) system is an information management system consisting of three components: an ontology, a set of data sources, and the mapping between the two. The ontology is a conceptual, formal description of the domain of interest to a given organization (or a community of users), expressed in terms of relevant concepts, attributes of concepts, relationships between concepts, and logical assertions characterizing the domain knowledge. The data sources are the repositories accessible by the organization where data concerning the domain are stored. In the general case, such repositories are numerous, heterogeneous, each one managed and maintained independently from the others. The mapping is a precise specification of the correspondence between the data contained in the data sources and the elements of the ontology. The main purpose of an OBDI system is to allow information consumers to query the data using the elements in the ontology as predicates.
In the special case where the organization manages a single data source, the term ontology-based data access (ODBA) system is used
Solution of the Bogoliubov-deGennes Equations at Zero Temperature Throughout the BCS-BEC Crossover: Josephson and Related Effects
The BCS-BEC crossover has received much attention lately, owing especially to its
experimental realization with trapped ultracold Fermi atoms. Theoretically, the two
limiting situations, of paired fermions described by BCS theory in weak coupling and
of composite bosons undergoing BoseEinstein condensation (BEC) in strong coupling,
can be connected with continuity throughout the crossover. This evolution encompasses
the unitary limit at intermediate values of the coupling, where the scattering length for
two-fermion scattering diverges. Several quantities have been measured experimentally
and calculated theoretically in this context over the last several years, with the notable
exception of the Josephson and related effects. This is in spite of the fact that the Josephson
effect is intimately associated with the spontaneous breaking of the phase of the complex
order parameter which unifies superconductivity and superfluidity.
In the present paper, we aim at filling (at least partially) this gap and investigate
the evolution of the Josephson and related effects throughout the BCSBEC crossover,
by performing a systematic numerical solution of the (time-independent) Bogoliubovde
Gennes (BdG) equations at zero temperature in a fully self-consistent fashion. We consider
a stationary and uniform current flowing in the presence of a three-dimensional barrier
with a slab geometry. This extended geometry is specifically required to reach the BEC
limit of the crossover, where the formation of composite bosons in terms of their fermionic
constituents requires consideration of wave vectors with components along all three
dimensions. In addition, we regard the fermionic attraction to extend unmodified over the
barrier region, a situation that typically applies to ultracold Fermi atoms. The fully selfconsistent
solution of the BdG equations in such an extended geometry and coupling range
represents a non-trivial numerical calculation. The numerical strategies and algorithms
we have adopted will therefore be described in detail, with the aim of easing further
independent studies.
Several results are obtained by the present calculation. The profiles of the magnitude
and phase of the gap parameter across the barrier are determined under a variety of
conditions. We find that the Josephson current is considerably enhanced at about unitarity
for all barriers we have considered. A related enhancement is also found in the contribution
to the total current from the Andreev bound states, which stem from the depression of
the gap profile about the barrier. The Josephson currentphase characteristics (relating
the total current J to the phase difference across the barrier) turn out to evolve from
the standard J / sin relation to J / cos , when the height of the barrier is
decreased at fixed coupling or the coupling is decreased for a given barrier. For vanishing
barrier height, we find that the critical Josephson current approaches the limiting value
predicted by the Landau criterion, which is determined by either pair-breaking or soundmode
excitations depending on the coupling value. In the BCS limit, we reveal the presence of Friedel oscillations in the oscillatory modulations of the gap and density profiles. In this
limit, we also emphasize the special role played by the Andreev bound state in determining
the critical Josephson current in the presence of a barrier. Finally, the stability of the
two branches, out of which the Josephson characteristics are composed, is analyzed by
calculating the energy required to produce a given spatial profile of the gap parameter
Ontology-based data access with databases: a short course
Ontology-based data access (OBDA) is regarded as a key ingredient of the new generation of information systems. In the OBDA paradigm, an ontology defines a high-level global schema of (already existing) data sources and provides a vocabulary for user queries. An OBDA system rewrites such queries and ontologies into the vocabulary of the data sources and then delegates the actual query evaluation to a suitable query answering system such as a relational database management system or a datalog engine. In this chapter, we mainly focus on OBDA with the ontology language OWL 2QL, one of the three profiles of the W3C standard Web Ontology Language OWL 2, and relational databases, although other possible languages will also be discussed. We consider different types of conjunctive query rewriting and their succinctness, different architectures of OBDA systems, and give an overview of the OBDA system Ontop
Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract)
- …