-
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
Authors:
Veeti Ahvonen,
Damian Heiman,
Antti Kuusisto,
Carsten Lutz
Abstract:
In pioneering work from 2019, Barceló and coauthors identified logics that precisely match the expressive power of constant iteration-depth graph neural networks (GNNs) relative to properties definable in first-order logic. In this article, we give exact logical characterizations of recurrent GNNs in two scenarios: (1) in the setting with floating-point numbers and (2) with reals. For floats, the…
▽ More
In pioneering work from 2019, Barceló and coauthors identified logics that precisely match the expressive power of constant iteration-depth graph neural networks (GNNs) relative to properties definable in first-order logic. In this article, we give exact logical characterizations of recurrent GNNs in two scenarios: (1) in the setting with floating-point numbers and (2) with reals. For floats, the formalism matching recurrent GNNs is a rule-based modal logic with counting, while for reals we use a suitable infinitary modal logic, also with counting. These results give exact matches between logics and GNNs in the recurrent setting without relativising to a background logic in either case, but using some natural assumptions about floating-point arithmetic. Applying our characterizations, we also prove that, relative to graph properties definable in monadic second-order logic (MSO), our infinitary and rule-based logics are equally expressive. This implies that recurrent GNNs with reals and floats have the same expressive power over MSO-definable properties and shows that, for such properties, also recurrent GNNs with reals are characterized by a (finitary!) rule-based modal logic. In the general case, in contrast, the expressive power with floats is weaker than with reals. In addition to logic-oriented results, we also characterize recurrent GNNs, with both reals and floats, via distributed automata, drawing links to distributed computing models.
△ Less
Submitted 12 July, 2024; v1 submitted 23 May, 2024;
originally announced May 2024.
-
Does Whisper understand Swiss German? An automatic, qualitative, and human evaluation
Authors:
Eyal Liron Dolev,
Clemens Fidel Lutz,
Noëmi Aepli
Abstract:
Whisper is a state-of-the-art automatic speech recognition (ASR) model (Radford et al., 2022). Although Swiss German dialects are allegedly not part of Whisper's training data, preliminary experiments showed that Whisper can transcribe Swiss German quite well, with the output being a speech translation into Standard German. To gain a better understanding of Whisper's performance on Swiss German, w…
▽ More
Whisper is a state-of-the-art automatic speech recognition (ASR) model (Radford et al., 2022). Although Swiss German dialects are allegedly not part of Whisper's training data, preliminary experiments showed that Whisper can transcribe Swiss German quite well, with the output being a speech translation into Standard German. To gain a better understanding of Whisper's performance on Swiss German, we systematically evaluate it using automatic, qualitative, and human evaluation. We test its performance on three existing test sets: SwissDial (Dogan-Schönberger et al., 2021), STT4SG-350 (Plüss et al., 2023), and Swiss Parliaments Corpus (Plüss et al., 2021). In addition, we create a new test set for this work, based on short mock clinical interviews.
For automatic evaluation, we used word error rate (WER) and BLEU. In the qualitative analysis, we discuss Whisper's strengths and weaknesses and anylyze some output examples. For the human evaluation, we conducted a survey with 28 participants who were asked to evaluate Whisper's performance.
All of our evaluations suggest that Whisper is a viable ASR system for Swiss German, so long as the Standard German output is desired.
△ Less
Submitted 9 May, 2024; v1 submitted 30 April, 2024;
originally announced April 2024.
-
Bayesian modeling of co-occurrence microbial interaction networks
Authors:
Tejasv Bedi,
Bencong Zhu,
Michael L. Neugent,
Kevin C. Lutz,
Nicole J. De Nisco,
Qiwei Li
Abstract:
The human body consists of microbiomes associated with the development and prevention of several diseases. These microbial organisms form several complex interactions that are informative to the scientific community for explaining disease progression and prevention. Contrary to the traditional view of the microbiome as a singular, assortative network, we introduce a novel statistical approach usin…
▽ More
The human body consists of microbiomes associated with the development and prevention of several diseases. These microbial organisms form several complex interactions that are informative to the scientific community for explaining disease progression and prevention. Contrary to the traditional view of the microbiome as a singular, assortative network, we introduce a novel statistical approach using a weighted stochastic infinite block model to analyze the complex community structures within microbial co-occurrence microbial interaction networks. Our model defines connections between microbial taxa using a novel semi-parametric rank-based correlation method on their transformed relative abundances within a fully connected network framework. Employing a Bayesian nonparametric approach, the proposed model effectively clusters taxa into distinct communities while estimating the number of communities. The posterior summary of the taxa community membership is obtained based on the posterior probability matrix, which could naturally solve the label switching problem. Through simulation studies and real-world application to microbiome data from postmenopausal patients with recurrent urinary tract infections, we demonstrate that our method has superior clustering accuracy over alternative approaches. This advancement provides a more nuanced understanding of microbiome organization, with significant implications for disease research.
△ Less
Submitted 14 April, 2024;
originally announced April 2024.
-
Extremal Fitting CQs do not Generalize
Authors:
Balder ten Cate,
Maurice Funk,
Jean Christoph Jung,
Carsten Lutz
Abstract:
A fitting algorithm for conjunctive queries (CQs) produces, given a set of positively and negatively labeled data examples, a CQ that fits these examples. In general, there may be many non-equivalent fitting CQs and thus the algorithm has some freedom in producing its output. Additional desirable properties of the produced CQ are that it generalizes well to unseen examples in the sense of PAC lear…
▽ More
A fitting algorithm for conjunctive queries (CQs) produces, given a set of positively and negatively labeled data examples, a CQ that fits these examples. In general, there may be many non-equivalent fitting CQs and thus the algorithm has some freedom in producing its output. Additional desirable properties of the produced CQ are that it generalizes well to unseen examples in the sense of PAC learning and that it is most general or most specific in the set of all fitting CQs. In this research note, we show that these desiderata are incompatible when we require PAC-style generalization from a polynomial sample: we prove that any fitting algorithm that produces a most-specific fitting CQ cannot be a sample-efficient PAC learning algorithm, and the same is true for fitting algorithms that produce a most-general fitting CQ (when it exists). Our proofs rely on a polynomial construction of relativized homomorphism dualities for path-shaped structures.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Decorated discrete conformal equivalence in non-Euclidean geometries
Authors:
Alexander I. Bobenko,
Carl O. R. Lutz
Abstract:
We introduce decorated piecewise hyperbolic and spherical surfaces and discuss their discrete conformal equivalence. A decoration is a choice of circle about each vertex of the surface. Our decorated surfaces are closely related to inversive distance circle packings, canonical tessellations of hyperbolic surfaces, and hyperbolic polyhedra.
We prove the corresponding uniformization theorem. Furth…
▽ More
We introduce decorated piecewise hyperbolic and spherical surfaces and discuss their discrete conformal equivalence. A decoration is a choice of circle about each vertex of the surface. Our decorated surfaces are closely related to inversive distance circle packings, canonical tessellations of hyperbolic surfaces, and hyperbolic polyhedra.
We prove the corresponding uniformization theorem. Furthermore, we show that on can deform continuously between decorated piecewise hyperbolic, Euclidean, and spherical surfaces sharing the same fundamental discrete conformal invariant. Therefore, there is one master theory of discrete conformal equivalence in different background geometries. Our approach is based on a variational principle, which also provides a way to compute the discrete uniformization and geometric transitions.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems
Authors:
Manuel Bodirsky,
Žaneta Semanišinová,
Carsten Lutz
Abstract:
Valued constraint satisfaction problems (VCSPs) are a large class of computational optimisation problems. If the variables of a VCSP take values from a finite domain, then recent results in constraint satisfaction imply that the problem is in P or NP-complete, depending on the set of admitted cost functions. Here we study the larger class of cost functions over countably infinite domains that have…
▽ More
Valued constraint satisfaction problems (VCSPs) are a large class of computational optimisation problems. If the variables of a VCSP take values from a finite domain, then recent results in constraint satisfaction imply that the problem is in P or NP-complete, depending on the set of admitted cost functions. Here we study the larger class of cost functions over countably infinite domains that have an oligomorphic automorphism group. We present a hardness condition based on a generalisation of pp-constructability as known for (classical) CSPs. We also provide a universal-algebraic polynomial-time tractability condition, based on the concept of fractional polymorphisms.
We apply our general theory to study the computational complexity of resilience problems in database theory (under bag semantics). We show how to construct, for every fixed conjunctive query (and more generally for every union of conjunctive queries), a set of cost functions with an oligomorphic automorphism group such that the resulting VCSP is polynomial-time equivalent to the resilience problem; we only require that the query is connected and show that this assumption can be made without loss of generality. For the case where the query is acylic, we obtain a complexity dichotomy of the resilience problem, based on the dichotomy for finite-domain VCSPs. To illustrate the utility of our methods, we exemplarily settle the complexity of a (non-acyclic) conjunctive query whose computational complexity remained open in the literature by verifying that it satisfies our tractability condition. We conjecture that for resilience problems, our hardness and tractability conditions match, which would establish a complexity dichotomy for resilience problems for (unions of) conjunctive queries.
△ Less
Submitted 11 December, 2023; v1 submitted 27 September, 2023;
originally announced September 2023.
-
Towards Ontology Construction with Language Models
Authors:
Maurice Funk,
Simon Hosemann,
Jean Christoph Jung,
Carsten Lutz
Abstract:
We present a method for automatically constructing a concept hierarchy for a given domain by querying a large language model. We apply this method to various domains using OpenAI's GPT 3.5. Our experiments indicate that LLMs can be of considerable help for constructing concept hierarchies.
We present a method for automatically constructing a concept hierarchy for a given domain by querying a large language model. We apply this method to various domains using OpenAI's GPT 3.5. Our experiments indicate that LLMs can be of considerable help for constructing concept hierarchies.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
A generalized Bayesian stochastic block model for microbiome community detection
Authors:
Kevin C. Lutz,
Michael L. Neugent,
Tejasv Bedi,
Nicole J. De Nisco,
Qiwei Li
Abstract:
Advances in next-generation sequencing technology have enabled the high-throughput profiling of metagenomes and accelerated the microbiome study. Recently, there has been a rise in quantitative studies that aim to decipher the microbiome co-occurrence network and its underlying community structure based on metagenomic sequence data. Uncovering the complex microbiome community structure is essentia…
▽ More
Advances in next-generation sequencing technology have enabled the high-throughput profiling of metagenomes and accelerated the microbiome study. Recently, there has been a rise in quantitative studies that aim to decipher the microbiome co-occurrence network and its underlying community structure based on metagenomic sequence data. Uncovering the complex microbiome community structure is essential to understanding the role of the microbiome in disease progression and susceptibility. Taxonomic abundance data generated from metagenomic sequencing technologies are high-dimensional and compositional, suffering from uneven sampling depth, over-dispersion, and zero-inflation. These characteristics often challenge the reliability of the current methods for microbiome community detection. To this end, we propose a Bayesian stochastic block model to study the microbiome co-occurrence network based on the recently developed modified centered-log ratio transformation tailored for microbiome data analysis. Our model allows us to incorporate taxonomic tree information using a Markov random field prior. The model parameters are jointly inferred by using Markov chain Monte Carlo sampling techniques. Our simulation study showed that the proposed approach performs better than competing methods even when taxonomic tree information is non-informative. We applied our approach to a real urinary microbiome dataset from postmenopausal women, the first time the urinary microbiome co-occurrence network structure has been studied. In summary, this statistical methodology provides a new tool for facilitating advanced microbiome studies.
△ Less
Submitted 28 August, 2023;
originally announced August 2023.
-
Querying Circumscribed Description Logic Knowledge Bases
Authors:
Carsten Lutz,
Quentin Manière,
Robin Nolte
Abstract:
Circumscription is one of the main approaches for defining non-monotonic description logics (DLs). While the decidability and complexity of traditional reasoning tasks such as satisfiability of circumscribed DL knowledge bases (KBs) is well understood, for evaluating conjunctive queries (CQs) and unions thereof (UCQs), not even decidability had been established. In this paper, we prove decidabilit…
▽ More
Circumscription is one of the main approaches for defining non-monotonic description logics (DLs). While the decidability and complexity of traditional reasoning tasks such as satisfiability of circumscribed DL knowledge bases (KBs) is well understood, for evaluating conjunctive queries (CQs) and unions thereof (UCQs), not even decidability had been established. In this paper, we prove decidability of (U)CQ evaluation on circumscribed DL KBs and obtain a rather complete picture of both the combined complexity and the data complexity, for DLs ranging from ALCHIO via EL to various versions of DL-Lite. We also study the much simpler atomic queries (AQs).
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Description Logics with Abstraction and Refinement
Authors:
Carsten Lutz,
Lukas Schulze
Abstract:
Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension of DLs in which abstraction levels are first-class citizens and which provides explicit operators for the abstraction and refinement of concepts and roles across multiple abstraction levels, based on conjunctive queries…
▽ More
Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension of DLs in which abstraction levels are first-class citizens and which provides explicit operators for the abstraction and refinement of concepts and roles across multiple abstraction levels, based on conjunctive queries. We prove that reasoning in the resulting family of DLs is decidable while several seemingly harmless variations turn out to be undecidable. We also pinpoint the precise complexity of our logics and several relevant fragments.
△ Less
Submitted 20 October, 2023; v1 submitted 6 June, 2023;
originally announced June 2023.
-
Decorated discrete conformal maps and convex polyhedral cusps
Authors:
Alexander I. Bobenko,
Carl O. R. Lutz
Abstract:
We discuss a notion of discrete conformal equivalence for decorated piecewise euclidean surfaces (PE-surface), that is, PE-surfaces with a choice of circle about each vertex. It is closely related to inversive distance and hyperideal circle patterns. Under the assumption that the circles are non-intersecting, we proof the corresponding discrete uniformization theorem. The uniformization theorem fo…
▽ More
We discuss a notion of discrete conformal equivalence for decorated piecewise euclidean surfaces (PE-surface), that is, PE-surfaces with a choice of circle about each vertex. It is closely related to inversive distance and hyperideal circle patterns. Under the assumption that the circles are non-intersecting, we proof the corresponding discrete uniformization theorem. The uniformization theorem for discrete conformal maps corresponds to the special case that all circles degenerate to points. Our proof relies on an intimate relationship between decorated PE-surfaces, canonical tessellations of hyperbolic surfaces and convex hyperbolic polyhedra. It is based on a concave variational principle, which also provides a method for the computation of decorated discrete conformal maps.
△ Less
Submitted 12 June, 2023; v1 submitted 18 May, 2023;
originally announced May 2023.
-
SAT-Based PAC Learning of Description Logic Concepts
Authors:
Balder ten Cate,
Maurice Funk,
Jean Christoph Jung,
Carsten Lutz
Abstract:
We propose bounded fitting as a scheme for learning description logic concepts in the presence of ontologies. A main advantage is that the resulting learning algorithms come with theoretical guarantees regarding their generalization to unseen examples in the sense of PAC learning. We prove that, in contrast, several other natural learning algorithms fail to provide such guarantees. As a further co…
▽ More
We propose bounded fitting as a scheme for learning description logic concepts in the presence of ontologies. A main advantage is that the resulting learning algorithms come with theoretical guarantees regarding their generalization to unseen examples in the sense of PAC learning. We prove that, in contrast, several other natural learning algorithms fail to provide such guarantees. As a further contribution, we present the system SPELL which efficiently implements bounded fitting for the description logic $\mathcal{ELH}^r$ based on a SAT solver, and compare its performance to a state-of-the-art learner.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Electric-field-driven spin resonance by on-surface exchange coupling to a single-atom magnet
Authors:
Soo-hyon Phark,
Hong T. Bui,
Alejandro Ferrón,
Joaquin Fernández-Rossier,
Jose Reina-Gálvez,
Christoph Wolf,
Yu Wang,
Kai Yang,
Andreas J. Heinrich,
Christopher P. Lutz
Abstract:
Coherent control of individual atomic and molecular spins on surfaces has recently been demonstrated by using electron spin resonance (ESR) in a scanning tunneling microscope (STM). Here we present a combined experimental and modeling study of the ESR of a single hydrogenated Ti atom that is exchange-coupled to a Fe adatom located in 0.6-0.8 nm away. Continuous wave and pulsed ESR of the Ti spin s…
▽ More
Coherent control of individual atomic and molecular spins on surfaces has recently been demonstrated by using electron spin resonance (ESR) in a scanning tunneling microscope (STM). Here we present a combined experimental and modeling study of the ESR of a single hydrogenated Ti atom that is exchange-coupled to a Fe adatom located in 0.6-0.8 nm away. Continuous wave and pulsed ESR of the Ti spin showed a Rabi rate with two contributions, one from the tip and the other from the Fe, whose spin interactions with Ti were modulated by the radio-frequency electric field. The Fe contribution is comparable to the tip, as revealed from its dominance when the tip was retracted, and tunable using a vector magnetic field. Our new ESR scheme allows on-surface individual spins to be addressed and coherently controlled without the need for magnetic interaction with a tip. This study establishes a feasible implementation of spin-based multi-qubit systems on surfaces.
△ Less
Submitted 16 March, 2023; v1 submitted 27 December, 2022;
originally announced December 2022.
-
Efficient Answer Enumeration in Description Logics with Functional Roles -- Extended Version
Authors:
Carsten Lutz,
Marcin Przybylko
Abstract:
We study the enumeration of answers to ontology-mediated queries when the ontology is formulated in a description logic that supports functional roles and the query is a CQ. In particular, we show that enumeration is possible with linear preprocessing and constant delay when a certain extension of the CQ (pertaining to functional roles) is acyclic and free-connex acyclic. This holds both for compl…
▽ More
We study the enumeration of answers to ontology-mediated queries when the ontology is formulated in a description logic that supports functional roles and the query is a CQ. In particular, we show that enumeration is possible with linear preprocessing and constant delay when a certain extension of the CQ (pertaining to functional roles) is acyclic and free-connex acyclic. This holds both for complete answers and for partial answers. We provide matching lower bounds for the case where the query is self-join free.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
On the non-efficient PAC learnability of conjunctive queries
Authors:
Balder ten Cate,
Maurice Funk,
Jean Christoph Jung,
Carsten Lutz
Abstract:
This note serves three purposes: (i) we provide a self-contained exposition of the fact that conjunctive queries are not efficiently learnable in the Probably-Approximately-Correct (PAC) model, paying clear attention to the complicating fact that this concept class lacks the polynomial-size fitting property, a property that is tacitly assumed in much of the computational learning theory literature…
▽ More
This note serves three purposes: (i) we provide a self-contained exposition of the fact that conjunctive queries are not efficiently learnable in the Probably-Approximately-Correct (PAC) model, paying clear attention to the complicating fact that this concept class lacks the polynomial-size fitting property, a property that is tacitly assumed in much of the computational learning theory literature; (ii) we establish a strong negative PAC learnability result that applies to many restricted classes of conjunctive queries (CQs), including acyclic CQs for a wide range of notions of "acyclicity"; (iii) we show that CQs (and UCQs) are efficiently PAC learnable with membership queries.
△ Less
Submitted 26 July, 2023; v1 submitted 22 August, 2022;
originally announced August 2022.
-
Canonical tessellations of decorated hyperbolic surfaces
Authors:
Carl O. R. Lutz
Abstract:
A decoration of a hyperbolic surface of finite type is a choice of circle, horocycle or hypercycle about each cone-point, cusp or flare of the surface, respectively. In this article we show that a decoration induces a unique canonical tessellation and dual decomposition of the underlying surface. They are analogues of the weighted Delaunay tessellation and Voronoi decomposition in the Euclidean pl…
▽ More
A decoration of a hyperbolic surface of finite type is a choice of circle, horocycle or hypercycle about each cone-point, cusp or flare of the surface, respectively. In this article we show that a decoration induces a unique canonical tessellation and dual decomposition of the underlying surface. They are analogues of the weighted Delaunay tessellation and Voronoi decomposition in the Euclidean plane. We develop a characterisation in terms of the hyperbolic geometric equivalents of Delaunay's empty-discs and Laguerre's tangent-distance, also known as power-distance. Furthermore, the relation between the tessellations and convex hulls in Minkowski space is presented, generalising the Epstein-Penner convex hull construction. This relation allows us to extend Weeks' flip algorithm to the case of decorated finite type hyperbolic surfaces. Finally, we give a simple description of the configuration space of decorations and show that any fixed hyperbolic surface only admits a finite number of combinatorially different canonical tessellations.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
Extremal Fitting Problems for Conjunctive Queries
Authors:
Balder ten Cate,
Victor Dalmau,
Maurice Funk,
Carsten Lutz
Abstract:
The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the notion of a fitting CQ, such as most-general fitting CQ, most-specific fitting CQ, and unique fitting CQ. We give structural characterizations of these notions…
▽ More
The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the notion of a fitting CQ, such as most-general fitting CQ, most-specific fitting CQ, and unique fitting CQ. We give structural characterizations of these notions in terms of (suitable refinements of) homomorphism dualities, frontiers, and direct products, which enable the construction of the refined fitting CQs when they exist. We also pinpoint the complexity of the associated existence and verification problems, and determine the size of fitting CQs. We study the same problems for UCQs and for the more restricted class of tree CQs.
△ Less
Submitted 15 April, 2023; v1 submitted 10 June, 2022;
originally announced June 2022.
-
Ontology-Mediated Querying on Databases of Bounded Cliquewidth
Authors:
Carsten Lutz,
Leif Sabellek,
Lukas Schulze
Abstract:
We study the evaluation of ontology-mediated queries (OMQs) on databases of bounded cliquewidth from the viewpoint of parameterized complexity theory. As the ontology language, we consider the description logics $\mathcal{ALC}$ and $\mathcal{ALCI}$ as well as the guarded two-variable fragment GF$_2$ of first-order logic. Queries are atomic queries (AQs), conjunctive queries (CQs), and unions of CQ…
▽ More
We study the evaluation of ontology-mediated queries (OMQs) on databases of bounded cliquewidth from the viewpoint of parameterized complexity theory. As the ontology language, we consider the description logics $\mathcal{ALC}$ and $\mathcal{ALCI}$ as well as the guarded two-variable fragment GF$_2$ of first-order logic. Queries are atomic queries (AQs), conjunctive queries (CQs), and unions of CQs. All studied OMQ problems are fixed-parameter linear (FPL) when the parameter is the size of the OMQ plus the cliquewidth. Our main contribution is a detailed analysis of the dependence of the running time on the parameter, exhibiting several interesting effects.
△ Less
Submitted 13 September, 2022; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
Authors:
Maurice Funk,
Jean Christoph Jung,
Carsten Lutz
Abstract:
We study ELI queries (ELIQs) in the presence of ontologies formulated in the description logic DL-Lite. For the dialect DL-LiteH, we show that ELIQs have a frontier (set of least general generalizations) that is of polynomial size and can be computed in polynomial time. In the dialect DL-LiteF, in contrast, frontiers may be infinite. We identify a natural syntactic restriction that enables the sam…
▽ More
We study ELI queries (ELIQs) in the presence of ontologies formulated in the description logic DL-Lite. For the dialect DL-LiteH, we show that ELIQs have a frontier (set of least general generalizations) that is of polynomial size and can be computed in polynomial time. In the dialect DL-LiteF, in contrast, frontiers may be infinite. We identify a natural syntactic restriction that enables the same positive results as for DL-LiteH. We use out results on frontiers to show that ELIQs are learnable in polynomial time in the presence of a DL-LiteH / restricted DL-LiteF ontology in Angluin's framework of exact learning with only membership queries.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
Efficiently Enumerating Answers to Ontology-Mediated Queries
Authors:
Carsten Lutz,
Marcin Przybyłko
Abstract:
We study the enumeration of answers to ontology-mediated queries (OMQs) where the ontology is a set of guarded TGDs or formulated in the description logic ELI and the query is a conjunctive query (CQ). In addition to the traditional notion of an answer, we propose and study two novel notions of partial answers that can take into account nulls generated by existential quantifiers in the ontology. O…
▽ More
We study the enumeration of answers to ontology-mediated queries (OMQs) where the ontology is a set of guarded TGDs or formulated in the description logic ELI and the query is a conjunctive query (CQ). In addition to the traditional notion of an answer, we propose and study two novel notions of partial answers that can take into account nulls generated by existential quantifiers in the ontology. Our main result is that enumeration of the traditional complete answers and of both kinds of partial answers is possible with linear-time preprocessing and constant delay for OMQs that are both acyclic and free-connex acyclic. We also provide partially matching lower bounds. Similar results are obtained for the related problems of testing a single answer in linear time and of testing multiple answers in constant time after linear time preprocessing. In both cases, the border between tractability and intractability is characterized by similar, but slightly different acyclicity properties.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
Conservative Extensions for Existential Rules
Authors:
Jean Christoph Jung,
Carsten Lutz,
Jerzy Marcinkowski
Abstract:
We study the problem to decide, given sets T1,T2 of tuple-generating dependencies (TGDs), also called existential rules, whether T2 is a conservative extension of T1. We consider two natural notions of conservative extension, one pertaining to answers to conjunctive queries over databases and one to homomorphisms between chased databases. Our main results are that these problems are undecidable fo…
▽ More
We study the problem to decide, given sets T1,T2 of tuple-generating dependencies (TGDs), also called existential rules, whether T2 is a conservative extension of T1. We consider two natural notions of conservative extension, one pertaining to answers to conjunctive queries over databases and one to homomorphisms between chased databases. Our main results are that these problems are undecidable for linear TGDs, undecidable for guarded TGDs even when T1 is empty, and decidable for frontier-one TGDs.
△ Less
Submitted 11 February, 2022;
originally announced February 2022.
-
An electron-spin qubit platform assembled atom-by-atom on a surface
Authors:
Yu Wang,
Yi Chen,
Hong T. Bui,
Christoph Wolf,
Masahiro Haze,
Cristina Mier,
**kyung Kim,
Deung-jang Choi,
Christopher P. Lutz,
Yujeong Bae,
Soo-Hyon Phark,
Andreas J. Heinrich
Abstract:
Creating a quantum-coherent architecture at the atomic scale has long been an ambition in quantum science and nanotechnology. This ultimate length scale requires the use of fundamental quantum properties of atoms, such as the spin of electrons, which naturally occurs in many solid-state environments and allows high-fidelity operations and readout by electromagnetic means. Despite decades of effort…
▽ More
Creating a quantum-coherent architecture at the atomic scale has long been an ambition in quantum science and nanotechnology. This ultimate length scale requires the use of fundamental quantum properties of atoms, such as the spin of electrons, which naturally occurs in many solid-state environments and allows high-fidelity operations and readout by electromagnetic means. Despite decades of effort, however, it remains a formidable task to realize an atomic-scale quantum architecture where multiple electron spin qubits can be precisely assembled, controllably coupled, and coherently operated. Electron spin qubits created in dopants in semiconductors and color centers in insulators, for example, can be well controlled individually6-8 but are difficult to couple together into a circuit. On the other hand, multiple magnetic atoms and molecules on surfaces can be coupled to each other by building sophisticated atomic structures using a scanning tunneling microscope (STM), but coherent operation has so far been limited to a single qubit in the tunnel junction. Here we demonstrate an atomic-scale qubit platform by showing atom-by-atom construction, coherent operations, and readout of multiple electron-spin qubits on a surface. To enable the coherent control of remote qubits that are outside the tunnel junction, we complement each electron spin with a local magnetic field gradient from a nearby single-atom magnet. To enable readout of remote qubits, we employ a sensor qubit in the tunnel junction and implement pulsed double electron spin resonance. Using these methods, we demonstrate fast single-, two-, and three-qubit operations in an all-electrical fashion. Our work marks the creation of an Angstrom-scale qubit platform, where quantum functionalities using electron spin arrays, built atom-by-atom on a surface, are now within reach.
△ Less
Submitted 5 August, 2022; v1 submitted 22 August, 2021;
originally announced August 2021.
-
How to Approximate Ontology-Mediated Queries
Authors:
Anneke Haga,
Carsten Lutz,
Leif Sabellek,
Frank Wolter
Abstract:
We introduce and study several notions of approximation for ontology-mediated queries based on the description logics ALC and ALCI. Our approximations are of two kinds: we may (1) replace the ontology with one formulated in a tractable ontology language such as ELI or certain TGDs and (2) replace the database with one from a tractable class such as the class of databases whose treewidth is bounded…
▽ More
We introduce and study several notions of approximation for ontology-mediated queries based on the description logics ALC and ALCI. Our approximations are of two kinds: we may (1) replace the ontology with one formulated in a tractable ontology language such as ELI or certain TGDs and (2) replace the database with one from a tractable class such as the class of databases whose treewidth is bounded by a constant. We determine the computational complexity and the relative completeness of the resulting approximations. (Almost) all of them reduce the data complexity from coNP-complete to PTime, in some cases even to fixed-parameter tractable and to linear time. While approximations of kind (1) also reduce the combined complexity, this tends to not be the case for approximations of kind (2). In some cases, the combined complexity even increases.
△ Less
Submitted 30 June, 2022; v1 submitted 12 July, 2021;
originally announced July 2021.
-
Separating Data Examples by Description Logic Concepts with Restricted Signatures
Authors:
Jean Christoph Jung,
Carsten Lutz,
Hadrien Pulcini,
Frank Wolter
Abstract:
We study the separation of positive and negative data examples in terms of description logic concepts in the presence of an ontology. In contrast to previous work, we add a signature that specifies a subset of the symbols that can be used for separation, and we admit individual names in that signature. We consider weak and strong versions of the resulting problem that differ in how the negative ex…
▽ More
We study the separation of positive and negative data examples in terms of description logic concepts in the presence of an ontology. In contrast to previous work, we add a signature that specifies a subset of the symbols that can be used for separation, and we admit individual names in that signature. We consider weak and strong versions of the resulting problem that differ in how the negative examples are treated and we distinguish between separation with and without helper symbols. Within this framework, we compare the separating power of different languages and investigate the complexity of deciding separability. While weak separability is shown to be closely related to conservative extensions, strongly separating concepts coincide with Craig interpolants, for suitably defined encodings of the data and ontology. This enables us to transfer known results from those fields to separability. Conversely, we obtain original results on separability that can be transferred backward. For example, rather surprisingly, conservative extensions and weak separability in ALCO are both 3ExpTime-complete.
△ Less
Submitted 12 July, 2021;
originally announced July 2021.
-
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies
Authors:
Maurice Funk,
Jean Christoph Jung,
Carsten Lutz
Abstract:
We consider the problem to learn a concept or a query in the presence of an ontology formulated in the description logic ELr, in Angluin's framework of active learning that allows the learning algorithm to interactively query an oracle (such as a domain expert). We show that the following can be learned in polynomial time: (1) EL-concepts, (2) symmetry-free ELI-concepts, and (3) conjunctive querie…
▽ More
We consider the problem to learn a concept or a query in the presence of an ontology formulated in the description logic ELr, in Angluin's framework of active learning that allows the learning algorithm to interactively query an oracle (such as a domain expert). We show that the following can be learned in polynomial time: (1) EL-concepts, (2) symmetry-free ELI-concepts, and (3) conjunctive queries (CQs) that are chordal, symmetry-free, and of bounded arity. In all cases, the learner can pose to the oracle membership queries based on ABoxes and equivalence queries that ask whether a given concept/query from the considered class is equivalent to the target. The restriction to bounded arity in (3) can be removed when we admit unrestricted CQs in equivalence queries. We also show that EL-concepts are not polynomial query learnable in the presence of ELI-ontologies.
△ Less
Submitted 19 May, 2021; v1 submitted 18 May, 2021;
originally announced May 2021.
-
Spin Resonance Amplitude and Frequency of a Single Atom on a Surface in a Vector Magnetic Field
Authors:
**kyung Kim,
Won-jun Jang,
Thi Hong Bui,
Deung-jang Choi,
Christoph Wolf,
Fernando Delgado,
Denis Krylov,
Soonhyeong Lee,
Sangwon Yoon,
Christopher P. Lutz,
Andreas J. Heinrich,
Yujeong Bae
Abstract:
We used electron spin resonance (ESR) combined with scanning tunneling microscopy (STM) to measure hydrogenated Ti (spin-1/2) atoms at low-symmetry binding sites on MgO in vector magnetic fields. We found strongly anisotropic g-values in all three spatial directions. Interestingly, the amplitude and lineshape of the ESR signals are also strongly dependent on the angle of the field. We conclude tha…
▽ More
We used electron spin resonance (ESR) combined with scanning tunneling microscopy (STM) to measure hydrogenated Ti (spin-1/2) atoms at low-symmetry binding sites on MgO in vector magnetic fields. We found strongly anisotropic g-values in all three spatial directions. Interestingly, the amplitude and lineshape of the ESR signals are also strongly dependent on the angle of the field. We conclude that the Ti spin is aligned along the magnetic field, while the tip spin follows its strong magnetic anisotropy. Our results show the interplay between the tip and surface spins in determining the ESR signals and highlight the precision of ESR-STM to identify the single atom's spin states.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Answer Counting under Guarded TGDs
Authors:
Cristina Feier,
Carsten Lutz,
Marcin Przybyłko
Abstract:
We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint language, respectively. Our main result is a classification according to whether answer counting is fixed-parameter tractable (FPT), W[1]-equivalent, #W[1]-equival…
▽ More
We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint language, respectively. Our main result is a classification according to whether answer counting is fixed-parameter tractable (FPT), W[1]-equivalent, #W[1]-equivalent, #W[2]-hard, or #A[2]-equivalent, lifting a recent classification for UCQs without ontologies and constraints due to Dell et al. The classification pertains to various structural measures, namely treewidth, contract treewidth, starsize, and linked matching number.
Our results rest on the assumption that the arity of relation symbols is bounded by a constant and, in the case of ontology-mediated querying, that all symbols from the ontology and query can occur in the data (so-called full data schema).
We also study the meta-problems for the mentioned structural measures, that is, to decide whether a given ontology-mediated query or constraint-query specification is equivalent to one for which the structural measure is bounded.
△ Less
Submitted 13 September, 2023; v1 submitted 8 January, 2021;
originally announced January 2021.
-
Conservative Extensions in Horn Description Logics with Inverse Roles
Authors:
Jean Christoph Jung,
Carsten Lutz,
Mauricio Martel,
Thomas Schneider
Abstract:
We investigate the decidability and computational complexity of conservative extensions and the related notions of inseparability and entailment in Horn description logics (DLs) with inverse roles. We consider both query conservative extensions, defined by requiring that the answers to all conjunctive queries are left unchanged, and deductive conservative extensions, which require that the entaile…
▽ More
We investigate the decidability and computational complexity of conservative extensions and the related notions of inseparability and entailment in Horn description logics (DLs) with inverse roles. We consider both query conservative extensions, defined by requiring that the answers to all conjunctive queries are left unchanged, and deductive conservative extensions, which require that the entailed concept inclusions, role inclusions, and functionality assertions do not change. Upper bounds for query conservative extensions are particularly challenging because characterizations in terms of unbounded homomorphisms between universal models, which are the foundation of the standard approach to establishing decidability, fail in the presence of inverse roles. We resort to a characterization that carefully mixes unbounded and bounded homomorphisms and enables a decision procedure that combines tree automata and a mosaic technique. Our main results are that query conservative extensions are 2ExpTime-complete in all DLs between ELI and Horn-ALCHIF and between Horn-ALC and Horn-ALCHIF, and that deductive conservative extensions are 2ExpTime-complete in all DLs between ELI and ELHIF_\bot. The same results hold for inseparability and entailment.
△ Less
Submitted 19 November, 2020;
originally announced November 2020.
-
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
Authors:
Meghyn Bienvenu,
Peter Hansen,
Carsten Lutz,
Frank Wolter
Abstract:
We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment problems. Apart from providing characterizations, we establish complexity results ranging from ExpTime via NExpTime to 2ExpTime, pointing out several interesting effects. In particular, FO-rewriting is more complex for conju…
▽ More
We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment problems. Apart from providing characterizations, we establish complexity results ranging from ExpTime via NExpTime to 2ExpTime, pointing out several interesting effects. In particular, FO-rewriting is more complex for conjunctive queries than for atomic queries when inverse roles are present, but not otherwise.
△ Less
Submitted 19 November, 2020;
originally announced November 2020.
-
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
Authors:
Pablo Barcelo,
Gerald Berger,
Carsten Lutz,
Andreas Pieris
Abstract:
We focus on ontology-mediated queries (OMQs) based on (frontier-)guarded existential rules and (unions of) conjunctive queries, and we investigate the problem of FO-rewritability, i.e., whether an OMQ can be rewritten as a first-order query. We adopt two different approaches. The first approach employs standard two-way alternating parity tree automata. Although it does not lead to a tight complexi…
▽ More
We focus on ontology-mediated queries (OMQs) based on (frontier-)guarded existential rules and (unions of) conjunctive queries, and we investigate the problem of FO-rewritability, i.e., whether an OMQ can be rewritten as a first-order query. We adopt two different approaches. The first approach employs standard two-way alternating parity tree automata. Although it does not lead to a tight complexity bound, it provides a transparent solution based on widely known tools. The second approach relies on a sophisticated automata model, known as cost automata. This allows us to show that our problem is 2ExpTime-complete. In both approaches, we provide semantic characterizations of FO-rewritability that are of independent interest.
△ Less
Submitted 18 November, 2020;
originally announced November 2020.
-
Query Expressibility and Verification in Ontology-Based Data Access
Authors:
Carsten Lutz,
Johannes Marti,
Leif Sabellek
Abstract:
In ontology-based data access, multiple data sources are integrated using an ontology and map**s. In practice, this is often achieved by a bootstrap** process, that is, the ontology and map**s are first designed to support only the most important queries over the sources and then gradually extended to enable additional queries. In this paper, we study two reasoning problems that support such…
▽ More
In ontology-based data access, multiple data sources are integrated using an ontology and map**s. In practice, this is often achieved by a bootstrap** process, that is, the ontology and map**s are first designed to support only the most important queries over the sources and then gradually extended to enable additional queries. In this paper, we study two reasoning problems that support such an approach. The expressibility problem asks whether a given source query $q_s$ is expressible as a target query (that is, over the ontology's vocabulary) and the verification problem asks, additionally given a candidate target query $q_t$, whether $q_t$ expresses $q_s$. We consider (U)CQs as source and target queries and GAV map**s, showing that both problems are $Π^p_2$-complete in DL-Lite, coNExpTime-complete between EL and ELHI when source queries are rooted, and 2ExpTime-complete for unrestricted source queries.
△ Less
Submitted 18 November, 2020;
originally announced November 2020.
-
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
Authors:
Cristina Feier,
Carsten Lutz,
Frank Wolter
Abstract:
We consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs based on instance queries (IQs). Our results include exact characterizations of when such a rewriting is possible and tight complexity bounds for deciding rewritability. We also give a tight complexity bound for the related…
▽ More
We consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs based on instance queries (IQs). Our results include exact characterizations of when such a rewriting is possible and tight complexity bounds for deciding rewritability. We also give a tight complexity bound for the related problem of deciding whether a given MMSNP sentence is equivalent to a CSP.
△ Less
Submitted 22 October, 2020;
originally announced October 2020.
-
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Authors:
Pierre Bourhis,
Carsten Lutz
Abstract:
We study query containment in three closely related formalisms: monadic disjunctive Datalog (MDDLog), MMSNP (a logical generalization of constraint satisfaction problems), and ontology-mediated queries (OMQs) based on expressive description logics and unions of conjunctive queries. Containment in MMSNP was known to be decidable due to a result by Feder and Vardi, but its exact complexity has remai…
▽ More
We study query containment in three closely related formalisms: monadic disjunctive Datalog (MDDLog), MMSNP (a logical generalization of constraint satisfaction problems), and ontology-mediated queries (OMQs) based on expressive description logics and unions of conjunctive queries. Containment in MMSNP was known to be decidable due to a result by Feder and Vardi, but its exact complexity has remained open. We prove 2NEXPTIME-completeness and extend this result to monadic disjunctive Datalog and to OMQs.
△ Less
Submitted 22 October, 2020;
originally announced October 2020.
-
Non-Euclidean Laguerre geometry and incircular nets
Authors:
Alexander I. Bobenko,
Carl O. R. Lutz,
Helmut Pottmann,
Jan Techter
Abstract:
Classical (Euclidean) Laguerre geometry studies oriented hyperplanes, oriented hyperspheres, and their oriented contact in Euclidean space. We describe how this can be generalized to arbitrary Cayley-Klein spaces, in particular hyperbolic and elliptic space, and study the corresponding groups of Laguerre transformations. We give an introduction to Lie geometry and describe how these Laguerre geome…
▽ More
Classical (Euclidean) Laguerre geometry studies oriented hyperplanes, oriented hyperspheres, and their oriented contact in Euclidean space. We describe how this can be generalized to arbitrary Cayley-Klein spaces, in particular hyperbolic and elliptic space, and study the corresponding groups of Laguerre transformations. We give an introduction to Lie geometry and describe how these Laguerre geometries can be obtained as subgeometries. As an application of two-dimensional Lie and Laguerre geometry we study the properties of incircular nets.
△ Less
Submitted 2 September, 2020;
originally announced September 2020.
-
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures
Authors:
Jean Christoph Jung,
Carsten Lutz,
Hadrien Pulcini,
Frank Wolter
Abstract:
We study the separation of positive and negative data examples in terms of description logic (DL) concepts and formulas of decidable FO fragments, in the presence of an ontology. In contrast to previous work, we add a signature that specifies a subset of the symbols from the data and ontology that can be used for separation. We consider weak and strong versions of the resulting problem that differ…
▽ More
We study the separation of positive and negative data examples in terms of description logic (DL) concepts and formulas of decidable FO fragments, in the presence of an ontology. In contrast to previous work, we add a signature that specifies a subset of the symbols from the data and ontology that can be used for separation. We consider weak and strong versions of the resulting problem that differ in how the negative examples are treated. Our main results are that (a projective form of) the weak version is decidable in $\mathcal{ALCI}$ while it is undecidable in the guarded fragment GF, the guarded negation fragment GNF, and the DL $\mathcal{ALCFIO}$, and that strong separability is decidable in $\mathcal{ALCI}$, GF, and GNF. We also provide (mostly tight) complexity bounds.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
Logical Separability of Labeled Data Examples under Ontologies
Authors:
Jean Christoph Jung,
Carsten Lutz,
Hadrien Pulcini,
Frank Wolter
Abstract:
Finding a logical formula that separates positive and negative examples given in the form of labeled data items is fundamental in applications such as concept learning, reverse engineering of database queries, generating referring expressions, and entity comparison in knowledge graphs. In this paper, we investigate the existence of a separating formula for data in the presence of an ontology. Both…
▽ More
Finding a logical formula that separates positive and negative examples given in the form of labeled data items is fundamental in applications such as concept learning, reverse engineering of database queries, generating referring expressions, and entity comparison in knowledge graphs. In this paper, we investigate the existence of a separating formula for data in the presence of an ontology. Both for the ontology language and the separation language, we concentrate on first-order logic and the following important fragments thereof: the description logic $\mathcal{ALCI}$, the guarded fragment, the two-variable fragment, and the guarded negation fragment. For separation, we also consider (unions of) conjunctive queries. We consider several forms of separability that differ in the treatment of negative examples and in whether or not they admit the use of additional helper symbols to achieve separation. Our main results are model-theoretic characterizations of (all variants of) separability, the comparison of the separating power of different languages, and the investigation of the computational complexity of deciding separability.
△ Less
Submitted 17 August, 2022; v1 submitted 3 July, 2020;
originally announced July 2020.
-
Holding a Conference Online and Live due to COVID-19
Authors:
Angela Bonifati,
Giovanna Guerrini,
Carsten Lutz,
Wim Martens,
Lara Mazilu,
Norman Paton,
Marcos Antonio Vaz Salles,
Marc H. Scholl,
Yongluan Zhou
Abstract:
The joint EDBT/ICDT conference (International Conference on Extending Database Technology/International Conference on Database Theory) is a well established conference series on data management, with annual meetings in the second half of March that attract 250 to 300 delegates. Three weeks before EDBT/ICDT 2020 was planned to take place in Copenhagen, the rapidly develo** Covid-19 pandemic led t…
▽ More
The joint EDBT/ICDT conference (International Conference on Extending Database Technology/International Conference on Database Theory) is a well established conference series on data management, with annual meetings in the second half of March that attract 250 to 300 delegates. Three weeks before EDBT/ICDT 2020 was planned to take place in Copenhagen, the rapidly develo** Covid-19 pandemic led to the decision to cancel the face-to-face event. In the interest of the research community, it was decided to move the conference online while trying to preserve as much of the real-life experience as possible. As far as we know, we are one of the first conferences that moved to a fully synchronous online experience due to the COVID-19 outbreak. With fully synchronous, we mean that participants jointly listened to presentations, had live Q&A, and attended other live events associated with the conference. In this report, we share our decisions, experiences, and lessons learned.
△ Less
Submitted 20 April, 2020; v1 submitted 16 April, 2020;
originally announced April 2020.
-
When is Ontology-Mediated Querying Efficient?
Authors:
Pablo Barcelo,
Cristina Feier,
Carsten Lutz,
Andreas Pieris
Abstract:
In ontology-mediated querying, description logic (DL) ontologies are used to enrich incomplete data with domain knowledge which results in more complete answers to queries. However, the evaluation of ontology-mediated queries (OMQs) over relational databases is computationally hard. This raises the question when OMQ evaluation is efficient, in the sense of being tractable in combined complexity or…
▽ More
In ontology-mediated querying, description logic (DL) ontologies are used to enrich incomplete data with domain knowledge which results in more complete answers to queries. However, the evaluation of ontology-mediated queries (OMQs) over relational databases is computationally hard. This raises the question when OMQ evaluation is efficient, in the sense of being tractable in combined complexity or fixed-parameter tractable. We study this question for a range of ontology-mediated query languages based on several important and widely-used DLs, using unions of conjunctive queries as the actual queries. For the DL ELHI extended with the bottom concept, we provide a characterization of the classes of OMQs that are fixed-parameter tractable. For its fragment EL extended with domain and range restrictions and the bottom concept (which restricts the use of inverse roles), we provide a characterization of the classes of OMQs that are tractable in combined complexity. Both results are in terms of equivalence to OMQs of bounded tree width and rest on a reasonable assumption from parameterized complexity theory. They are similar in spirit to Grohe's seminal characterization of the tractable classes of conjunctive queries over relational databases. We further study the complexity of the meta problem of deciding whether a given OMQ is equivalent to an OMQ of bounded tree width, providing several completeness results that range from NP to 2ExpTime, depending on the DL used. We also consider the DL-Lite family of DLs, including members that admit functional roles.
△ Less
Submitted 29 July, 2020; v1 submitted 17 March, 2020;
originally announced March 2020.
-
A Journey into Ontology Approximation: From Non-Horn to Horn
Authors:
Anneke Haga,
Carsten Lutz,
Johannes Marti,
Frank Wolter
Abstract:
We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as $\mathcal{ALC}$ in a Horn DL such as~$\mathcal{EL}$. We provide concrete approximation schemes that are necessarily infinite and observe that in the $\mathcal{ELU}$-to-$\mathcal{EL}$ case finite approximations tend to exist in practice and are guaranteed to exist when the original ontology is ac…
▽ More
We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as $\mathcal{ALC}$ in a Horn DL such as~$\mathcal{EL}$. We provide concrete approximation schemes that are necessarily infinite and observe that in the $\mathcal{ELU}$-to-$\mathcal{EL}$ case finite approximations tend to exist in practice and are guaranteed to exist when the original ontology is acyclic. In contrast, neither of this is the case for $\mathcal{ELU}_\bot$-to-$\mathcal{EL}_\bot$ and for $\mathcal{ALC}$-to-$\mathcal{EL}_\bot$ approximations. We also define a notion of approximation tailored towards ontology-mediated querying, connect it to subsumption-based approximations, and identify a case where finite approximations are guaranteed to exist.
△ Less
Submitted 15 June, 2020; v1 submitted 21 January, 2020;
originally announced January 2020.
-
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs
Authors:
Pablo Barcelo,
Victor Dalmau,
Cristina Feier,
Carsten Lutz,
Andreas Pieris
Abstract:
Ontology-mediated querying and querying in the presence of constraints are two key database problems where tuple-generating dependencies (TGDs) play a central role. In ontology-mediated querying, TGDs can formalize the ontology and thus derive additional facts from the given data, while in querying in the presence of constraints, they restrict the set of admissible databases. In this work, we stud…
▽ More
Ontology-mediated querying and querying in the presence of constraints are two key database problems where tuple-generating dependencies (TGDs) play a central role. In ontology-mediated querying, TGDs can formalize the ontology and thus derive additional facts from the given data, while in querying in the presence of constraints, they restrict the set of admissible databases. In this work, we study the limits of efficient query evaluation in the context of the above two problems, focussing on guarded and frontier-guarded TGDs and on UCQs as the actual queries. We show that a class of ontology-mediated queries (OMQs) based on guarded TGDs can be evaluated in FPT iff the OMQs in the class are equivalent to OMQs in which the actual query has bounded treewidth, up to some reasonable assumptions. For querying in the presence of constraints, we consider classes of constraint-query specifications (CQSs) that bundle a set of constraints with an actual query. We show a dichotomy result for CQSs based on guarded TGDs that parallels the one for OMQs except that, additionally, FPT coincides with PTime combined complexity. The proof is based on a novel connection between OMQ and CQS evaluation. Using a direct proof, we also show a similar dichotomy result, again up to some reasonable assumptions, for CQSs based on frontier-guarded TGDs with a bounded number of atoms in TGD heads. Our results on CQSs can be viewed as extensions of Grohe's well-known characterization of the tractable classes of CQs (without constraints). Like Grohe's characterization, all the above results assume that the arity of relation symbols is bounded by a constant. We also study the associated meta problems, i.e., whether a given OMQ or CQS is equivalent to one in which the actual query has bounded treewidth.
△ Less
Submitted 28 December, 2019;
originally announced December 2019.
-
Tuning Single-Atom Electron Spin Resonance in a Vector-Magnetic Field
Authors:
Philip Willke,
Aparajita Singha,
Xue Zhang,
Taner Esat,
Christopher P. Lutz,
Andreas J. Heinrich,
Taeyoung Choi
Abstract:
Spin resonance of single spin centers bears great potential for chemical structure analysis, quantum sensing and quantum coherent manipulation. Essential for these experiments is the presence of a two-level spin system whose energy splitting can be chosen by applying a magnetic field. In recent years, a combination of electron spin resonance (ESR) and scanning tunneling microscopy (STM) has been d…
▽ More
Spin resonance of single spin centers bears great potential for chemical structure analysis, quantum sensing and quantum coherent manipulation. Essential for these experiments is the presence of a two-level spin system whose energy splitting can be chosen by applying a magnetic field. In recent years, a combination of electron spin resonance (ESR) and scanning tunneling microscopy (STM) has been demonstrated as a technique to detect magnetic properties of single atoms on surfaces and to achieve sub-$μ$eV energy resolution. Nevertheless, up to now the role of the required magnetic fields has not been elucidated. Here, we perform single-atom ESR on individual Fe atoms adsorbed on magnesium oxide (MgO), using a 2D vector magnetic field as well as the local field of the magnetic STM tip in a commercially available STM. We show how the ESR amplitude can be greatly improved by optimizing the magnetic fields, revealing in particular an enhanced signal at large in-plane magnetic fields. Moreover, we demonstrate that the stray field from the magnetic STM tip is a versatile tool. We use it here to drive the electron spin more efficiently and to perform ESR measurements at constant frequency by employing tip-field sweeps. Lastly, we show that it is possible to perform ESR using only the tip field, under zero external magnetic field, which promises to make this technique available in many existing STM systems.
△ Less
Submitted 29 August, 2019;
originally announced August 2019.
-
Sensing the spin of an individual Ce adatom
Authors:
Markus Ternes,
Christopher P. Lutz,
Andreas J. Heinrich,
Wolf-Dieter Schneider
Abstract:
The magnetic moment of rare earth elements originates from electrons in the partially filled 4f orbitals. Accessing this moment electrically by scanning tunneling spectroscopy is hampered by shielding of outer-lying orbitals. Here we show that we can detect the magnetic moment of an individual Ce atom adsorbed on a Cu2N ultrathin film on Cu(100) by using a sensor tip that has its apex functionaliz…
▽ More
The magnetic moment of rare earth elements originates from electrons in the partially filled 4f orbitals. Accessing this moment electrically by scanning tunneling spectroscopy is hampered by shielding of outer-lying orbitals. Here we show that we can detect the magnetic moment of an individual Ce atom adsorbed on a Cu2N ultrathin film on Cu(100) by using a sensor tip that has its apex functionalized with a Kondo screened spin system. We calibrate the sensor tip by deliberately coupling it to a well characterized Fe atom. Subsequently, we use the splitting of the tip's Kondo resonance when approaching a spectroscopically dark Ce atom to sense its magnetic moment.
△ Less
Submitted 2 April, 2020; v1 submitted 22 August, 2019;
originally announced August 2019.
-
Tuning the exchange bias on a single atom from 1 mT to 10 T
Authors:
Kai Yang,
William Paul,
Fabian D. Natterer,
Jose L. Lado,
Yujeong Bae,
Philip Willke,
Taeyoung Choi,
Alejandro Ferrón,
Joaquín Fernández-Rossier,
Andreas J. Heinrich,
Christopher P. Lutz
Abstract:
Shrinking spintronic devices to the nanoscale ultimately requires localized control of individual atomic magnetic moments. At these length scales, the exchange interaction plays important roles, such as in the stabilization of spin-quantization axes, the production of spin frustration, and creation of magnetic ordering. Here, we demonstrate the precise control of the exchange bias experienced by a…
▽ More
Shrinking spintronic devices to the nanoscale ultimately requires localized control of individual atomic magnetic moments. At these length scales, the exchange interaction plays important roles, such as in the stabilization of spin-quantization axes, the production of spin frustration, and creation of magnetic ordering. Here, we demonstrate the precise control of the exchange bias experienced by a single atom on a surface, covering an energy range of four orders of magnitude. The exchange interaction is continuously tunable from milli-eV to micro-eV by adjusting the separation between a spin-1/2 atom on a surface and the magnetic tip of a scanning tunneling microscope (STM). We seamlessly combine inelastic electron tunneling spectroscopy (IETS) and electron spin resonance (ESR) to map out the different energy scales. This control of exchange bias over a wide span of energies provides versatile control of spin states, with applications ranging from precise tuning of quantum state properties, to strong exchange bias for local spin do**. In addition we show that a time-varying exchange interaction generates a localized AC magnetic field that resonantly drives the surface spin. The static and dynamic control of the exchange interaction at the atomic-scale provides a new tool to tune the quantum states of coupled-spin systems.
△ Less
Submitted 7 June, 2019;
originally announced June 2019.
-
A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL
Authors:
Carsten Lutz,
Leif Sabellek
Abstract:
We provide an ultimately fine-grained analysis of the data complexity and rewritability of ontology-mediated queries (OMQs) based on an EL ontology and a conjunctive query (CQ). Our main results are that every such OMQ is in AC0, NL-complete, or PTime-complete and that containment in NL coincides with rewritability into linear Datalog (whereas containment in AC0 coincides with rewritability into f…
▽ More
We provide an ultimately fine-grained analysis of the data complexity and rewritability of ontology-mediated queries (OMQs) based on an EL ontology and a conjunctive query (CQ). Our main results are that every such OMQ is in AC0, NL-complete, or PTime-complete and that containment in NL coincides with rewritability into linear Datalog (whereas containment in AC0 coincides with rewritability into first-order logic). We establish natural characterizations of the three cases in terms of bounded depth and (un)bounded pathwidth, and show that every of the associated meta problems such as deciding wether a given OMQ is rewritable into linear Datalog is ExpTime-complete. We also give a way to construct linear Datalog rewritings when they exist and prove that there is no constant Datalog rewritings.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
Query Inseparability for ALC Ontologies
Authors:
Elena Botoeva,
Carsten Lutz,
Vladislav Ryzhikov,
Frank Wolter,
Michael Zakharyaschev
Abstract:
We investigate the problem whether two ALC ontologies are indistinguishable (or inseparable) by means of queries in a given signature, which is fundamental for ontology engineering tasks such as ontology versioning, modularisation, update, and forgetting. We consider both knowledge base (KB) and TBox inseparability. For KBs, we give model-theoretic criteria in terms of (finite partial) homomorphis…
▽ More
We investigate the problem whether two ALC ontologies are indistinguishable (or inseparable) by means of queries in a given signature, which is fundamental for ontology engineering tasks such as ontology versioning, modularisation, update, and forgetting. We consider both knowledge base (KB) and TBox inseparability. For KBs, we give model-theoretic criteria in terms of (finite partial) homomorphisms and products and prove that this problem is undecidable for conjunctive queries (CQs), but 2ExpTime-complete for unions of CQs (UCQs). The same results hold if (U)CQs are replaced by rooted (U)CQs, where every variable is connected to an answer variable. We also show that inseparability by CQs is still undecidable if one KB is given in the lightweight DL EL and if no restrictions are imposed on the signature of the CQs. We also consider the problem whether two ALC TBoxes give the same answers to any query over any ABox in a given signature and show that, for CQs, this problem is undecidable, too. We then develop model-theoretic criteria for Horn-ALC TBoxes and show using tree automata that, in contrast, inseparability becomes decidable and 2ExpTime-complete, even ExpTime-complete when restricted to (unions of) rooted CQs.
△ Less
Submitted 31 January, 2019;
originally announced February 2019.
-
The Data Complexity of Ontology-Mediated Queries with Closed Predicates
Authors:
Carsten Lutz,
Inanc Seylan,
Frank Wolter
Abstract:
In the context of ontology-mediated querying with description logics (DLs), we study the data complexity of queries in which selected predicates can be closed (OMQCs). We provide a non-uniform analysis, aiming at a classification of the complexity into tractable and non-tractable for ontologies in the lightweight DLs DL-Lite and EL, and the expressive DL ALCHI. At the level of ontologies, we prove…
▽ More
In the context of ontology-mediated querying with description logics (DLs), we study the data complexity of queries in which selected predicates can be closed (OMQCs). We provide a non-uniform analysis, aiming at a classification of the complexity into tractable and non-tractable for ontologies in the lightweight DLs DL-Lite and EL, and the expressive DL ALCHI. At the level of ontologies, we prove a dichotomy between FO-rewritable and coNP-complete for DL-Lite and between PTime and coNP-complete for EL. The meta problem of deciding tractability is proved to be in PTime. At the level of OMQCs, we show that there is no dichotomy (unless NP equals PTime) if both concept and role names can be closed. If only concept names can be closed, we tightly link the complexity of query evaluation to the complexity of surjective CSPs. We also identify a class of OMQCs based on ontologies formulated in DL-Lite that are guaranteed to be tractable and even FO-rewritable.
△ Less
Submitted 27 August, 2019; v1 submitted 1 September, 2018;
originally announced September 2018.
-
Magnetic Resonance Imaging of Single Atoms
Authors:
Philip Willke,
Kai Yang,
Yujeong Bae,
Andreas J. Heinrich,
Christopher P. Lutz
Abstract:
Magnetic resonance imaging (MRI) revolutionized diagnostic medicine and biomedical research by allowing a noninvasive access to spin ensembles. To enhance MRI resolution to the nanometer scale, new approaches including scanning probe methods have been used in recent years, which culminated in detection of individual spins. This allowed three-dimensional (3D) visualization of organic samples and of…
▽ More
Magnetic resonance imaging (MRI) revolutionized diagnostic medicine and biomedical research by allowing a noninvasive access to spin ensembles. To enhance MRI resolution to the nanometer scale, new approaches including scanning probe methods have been used in recent years, which culminated in detection of individual spins. This allowed three-dimensional (3D) visualization of organic samples and of sophisticated spin-structures. Here, we demonstrate for the first time MRI of individual atoms on a surface. The setup, implemented in a cryogenic scanning tunneling microscope (STM), uses single-atom electron spin resonance (ESR) to achieve sub-Ångström resolution exceeding the spatial resolution of previous experiments by one to two orders of magnitude. We find that MRI scans of different atomic species and probe tips lead to unique signatures in the resonance images. These signatures reveal the magnetic interactions between the tip and the atom, in particular magnetic dipolar and exchange interaction.
△ Less
Submitted 24 July, 2018;
originally announced July 2018.
-
Enhanced quantum coherence in exchange coupled spins via singlet-triplet transitions
Authors:
Yujeong Bae,
Kai Yang,
Philip Willke,
Taeyoung Choi,
Andreas J. Heinrich,
Christopher P. Lutz
Abstract:
Manipulation of spin states at the single-atom scale underlies spin-based quantum information processing and spintronic devices. Such applications require protection of the spin states against quantum decoherence due to interactions with the environment. While a single spin is easily disrupted, a coupled-spin system can resist decoherence by employing a subspace of states that is immune to magneti…
▽ More
Manipulation of spin states at the single-atom scale underlies spin-based quantum information processing and spintronic devices. Such applications require protection of the spin states against quantum decoherence due to interactions with the environment. While a single spin is easily disrupted, a coupled-spin system can resist decoherence by employing a subspace of states that is immune to magnetic field fluctuations. Here, we engineered the magnetic interactions between the electron spins of two spin-1/2 atoms to create a clock transition and thus enhance their spin coherence. To construct and electrically access the desired spin structures, we use atom manipulation combined with electron spin resonance (ESR) in a scanning tunneling microscope (STM). We show that a two-level system composed of a singlet state and a triplet state is insensitive to local and global magnetic field noise, resulting in much longer spin coherence times compared with individual atoms. Moreover, the spin decoherence resulting from the interaction with tunneling electrons is markedly reduced by a homodyne readout of ESR. These results demonstrate that atomically-precise spin structures can be designed and assembled to yield enhanced quantum coherence.
△ Less
Submitted 11 July, 2018;
originally announced July 2018.
-
Vibrational modes of ultrathin carbon nanomembrane mechanical resonators
Authors:
Xianghui Zhang,
Reimar Waitz,
Fan Yang,
Carolin Lutz,
Polina Angelova,
Armin Gölzhäuser,
Elke Scheer
Abstract:
We report measurements of vibrational mode shapes of mechanical resonators made from ultrathin carbon nanomembranes (CNMs) with a thickness of approximately 1 nm. CNMs are prepared from electron irradiation induced cross-linking of aromatic self-assembled monolayers (SAMs) and the variation of membrane thickness and/or density can be achieved by varying the precursor molecule. Single- and triple-l…
▽ More
We report measurements of vibrational mode shapes of mechanical resonators made from ultrathin carbon nanomembranes (CNMs) with a thickness of approximately 1 nm. CNMs are prepared from electron irradiation induced cross-linking of aromatic self-assembled monolayers (SAMs) and the variation of membrane thickness and/or density can be achieved by varying the precursor molecule. Single- and triple-layer freestanding CNMs were made by transferring them onto Si substrates with square/rectangular orifices. The vibration of the membrane was actuated by applying a sinusoidal voltage to a piezoelectric disk on which the sample was glued. The vibrational mode shapes were visualized with an imaging Mirau interferometer using a stroboscopic light source. Several mode shapes of a square membrane can be readily identified and their dynamic behavior can be well described by linear response theory of a membrane with negligible bending rigidity. Applying Fourier transformations to the time-dependent surface profiles, the dispersion relation of the transverse membrane waves can be obtained and its linear behavior confirms the membrane model. Comparing the dispersion relation to an analytical model, the static stress of the membranes was determined and found to be caused by the fabrication process.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
Weighted model counting beyond two-variable logic
Authors:
Antti Kuusisto,
Carsten Lutz
Abstract:
It was recently shown by van den Broeck at al. that the symmetric weighted first-order model counting problem (WFOMC) for sentences of two-variable logic FO2 is in polynomial time, while it is Sharp-P_1 complete for some FO3-sentences. We extend the result for FO2 in two independent directions: to sentences of the form "phi and \forall\exists^=1 psi" with phi and psi in FO2, and to sentences formu…
▽ More
It was recently shown by van den Broeck at al. that the symmetric weighted first-order model counting problem (WFOMC) for sentences of two-variable logic FO2 is in polynomial time, while it is Sharp-P_1 complete for some FO3-sentences. We extend the result for FO2 in two independent directions: to sentences of the form "phi and \forall\exists^=1 psi" with phi and psi in FO2, and to sentences formulated in the uniform one-dimensional fragment of FO, a recently introduced extension of two-variable logic with the capacity to deal with relation symbols of all arities. Note that the former generalizes the extension of FO2 with a functional relation symbol. We also identify a complete classification of first-order prefix classes according to whether WFOMC is in polynomial time or Sharp-P_1 complete.
△ Less
Submitted 26 April, 2018;
originally announced April 2018.