We show that any randomised Monte Carlo distributed algorithm for the Lovász local lemma requires Ω(log log n) communication rounds, assuming that it finds a correct assignment with high probability. Our result holds even in the special case of d = O(1), where d is the maximum degree of the dependency graph. By prior work, there are distributed algorithms for the Lovász local lemma with a running time of O(log n) rounds in bounded-degree graphs, and the best lower bound before our work was Ω(log * n) rounds [Chung et al. 2014].

Recently, it has been shown that the small DL EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL₀, which allows for conjunction and value restrictions. Whereas the subsumption problem in FL₀ becomes already intractable in the presence of aclyc TBoxes, it remains tractable in EL even w.r.t. general concept inclusion axioms (GCIs). On the one hand, we will extend the positive result for EL by identifying a set of expressive means that can be added to EL without sacrificing tractability. On the other hand, we will show that basically all other additions of typical DL constructors to EL with GCIs make subsumption intractable, and in most cases even EXPTIME-complete. In addition, we will show that subsumption in FL₀ with GCIs is EXPTIME-complete.

There are distributed graph algorithms for finding maximal matchings and maximal independent sets in O(∆ + log * n) communication rounds; here n is the number of nodes and ∆ is the maximum degree. The lower bound by Linial (1987Linial ( , 1992 shows that the dependency on n is optimal: these problems cannot be solved in o(log * n) rounds even if ∆ = 2.However, the dependency on ∆ is a long-standing open question, and there is currently an exponential gap between the upper and lower bounds.We prove that the upper bounds are tight. We show that maximal matchings and maximal independent sets cannot be found in o(∆ + log log n/ log log log n) rounds with any randomized algorithm in the LOCAL model of distributed computing.As a corollary, it follows that there is no deterministic algorithm for maximal matchings or maximal independent sets that runs in o(∆ + log n/ log log n) rounds; this is an improvement over prior lower bounds also as a function of n.

We propose a novel framework for ontology-based access to temporal log data using a datalog extension datalogMTL of the Horn fragment of the metric temporal logic MTL. We show that datalogMTL is EXPSPACE-complete even with punctual intervals, in which case full MTL is known to be undecidable. We also prove that nonrecursive datalogMTL is PSPACE-complete for combined complexity and in AC0 for data complexity. We demonstrate by two real-world use cases that nonrecursive datalogMTL programs can express complex temporal concepts from typical user queries and thereby facilitate access to temporal log data. Our experiments with Siemens turbine data and MesoWest weather data show that datalogMTL ontology-mediated queries are efficient and scale on large datasets.

LCLs or locally checkable labelling problems (e.g. maximal independent set, maximal matching, and vertex colouring) in the LOCAL model of computation are very well-understood in cycles (toroidal 1-dimensional grids): every problem has a complexity of O(1), Θ(log * n), or Θ(n), and the design of optimal algorithms can be fully automated.This work develops the complexity theory of LCL problems for toroidal 2-dimensional grids. The complexity classes are the same as in the 1-dimensional case: O(1), Θ(log * n), and Θ(n). However, given an LCL problem it is undecidable whether its complexity is Θ(log * n) or Θ(n) in 2-dimensional grids.Nevertheless, if we correctly guess that the complexity of a problem is Θ(log * n), we can completely automate the design of optimal algorithms. For any problem we can find an algorithm that is of a normal form A • S k , where A is a finite function, S k is an algorithm for finding a maximal independent set in kth power of the grid, and k is a constant.Finally, partially with the help of automated design tools, we classify the complexity of several concrete LCL problems related to colourings and orientations. arXiv:1702.05456v2 [cs.DC] 24 May 2017 1.1 Problem setting: LCL problems on grids 92 33 77 57 49 26 71 79 8 62 48 24 31 21 15 30 60 67 0 5 17 95 23 47 87 80 25 38 20 64 45 61 91 51 69 1 74 55 3 98 88 99 58 53 63 40 16 2 39Grids. In this work, we study distributed algorithms in a setting where the underlying input graph is a grid. Specifically, we consider the complexity of locally checkable labelling problems, or LCL problems, in the standard LOCAL model of distributed complexity, and consider graphs that are toroidal two-dimensional n × n grids with a consistent orientation; we focus on the two-dimensional case for concreteness, but most of our results generalise to d-dimensional grids of arbitrary dimensions. This setting occupies a middle ground between the wellunderstood directed n-cycles [10,32], where all solvable LCL problems are known to have deterministic time complexity either O(1), Θ(log * n) or Θ(n), and the more complicated setting of general n-vertex graphs, where intermediate problems with time complexities such as Θ(log n) are known to exist, even for bounded-degree graphs. Grid-like systems with local dynamics also occur frequently in the study of real-world phenomena. However, grids have so far not been systematically studied from a distributed computing perspective.LOCAL model and LCL problems. In the LOCAL model of distributed computing, nodes are labelled with unique numerical identifiers with O(log n) bits. A time-t algorithm in this model is simply a mapping from radius-t neighbourhoods to local outputs; equivalently, it can be interpreted as a message-passing algorithm in which the nodes exchange messages for t synchronous rounds and then announce their local outputs.LCL problems are graph problems for which the feasibility of a solution can be verified by checking the solution for each O(1)-radius neighbourhood; if all local neighbourhoods look valid, the s...

No abstract

Consider a computer network that consists of a path with n nodes. The nodes are labeled with inputs from a constant-sized set, and the task is to find output labels from a constant-sized set subject to some local constraints-more formally, we have an LCL (locally checkable labeling) problem. How many communication rounds are needed (in the standard LOCAL model of computing) to solve this problem?It is well known that the answer is always either O(1) rounds, or Θ(log * n) rounds, or Θ(n) rounds. In this work we show that this question is decidable (albeit PSPACEhard): we present an algorithm that, given any LCL problem defined on a path, outputs the distributed computational complexity of this problem and the corresponding asymptotically optimal algorithm.

An important application of semantic technologies in industry has been the formalisation of information models using OWL 2 ontologies and the use of RDF for storing and exchanging application data. Moreover, legacy data can be virtualised as RDF using ontologies following the ontology-based data access (OBDA) approach. In all these applications, it is important to provide domain experts with query formulation tools for expressing their information needs in terms of queries over ontologies. In this work, we present such a tool, OptiqueVQS, which is designed based on our experience with OBDA applications in Statoil and Siemens and on best HCI practices for interdisciplinary engineering environments. OptiqueVQS implements a number of unique techniques distinguishing it from analogous query formulation systems. In particular, it exploits ontology projection techniques to enable graph-based navigation over an ontology during query construction. Secondly, while OptiqueVQS is primarily ontology driven, it exploits sampled data to enhance selection of data values for some data attributes. Finally, OptiqueVQS is built on well-grounded requirements, design rationale, and quality attributes. We evaluated OptiqueVQS with both domain experts and casual users and qualitatively compared our system against prominent visual systems for ontology-driven query formulation and exploration of semantic data. OptiqueVQS is available online and can be downloaded together with an example OBDA scenario.