Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?

Extracting a subset of a given OWL ontology that captures all the ontology's knowledge about a specified set of terms is a well-understood task. This task can be based, for instance, on locality-based modules (LBMs). These come in two flavours, syntactic and semantic, and a syntactic LBM is known to contain the corresponding semantic LBM. For syntactic LBMs, polynomial extraction algorithms are known, implemented in the OWL API, and being used. In contrast, extracting semantic LBMs involves reasoning, which is intractable for OWL 2 DL, and these algorithms had not been implemented yet for expressive ontology languages. We present the first implementation of semantic LBMs and report on experiments that compare them with syntactic LBMs extracted from real-life ontologies. Our study reveals whether semantic LBMs are worth the additional extraction effort, compared with syntactic LBMs

Construction robotics present implementation and prospects

The purpose of this Bachelor’s thesis was to find out the latest development of construction robotics, its implementation and usage, to analyse the data and to conclude its prospects. The research part of the thesis includes the author’s ideas on robotics, which could be used for façade renovation works, based on his work experience. At first, in order to justify present development of construction robotics, several models from several countries were described. Available technical data, method of usage, efficiency and prices were collected from official web-sites of manufacturers. Practices of its application, as well as possible drawbacks, were highlighted from various videos which are available on the net. The practical part is based on the author’s proposal on robotics implementation for the given façade renovation project. A beneficial renovation method for the contractor was estimated by a comparative costs analysis of manual labour with robotics usage. The third part of the thesis discusses the prospects of construction robots. It contains personal reflection based on a deductive analysis on demands of the construction industry and the results obtained from scientific literature. The results of the thesis are justification on usage of construction robotics from an economical point of view, comparative analysis of manpower efficiency with robotics on repetitive construction tasks

Pronto: A practical probabilistic description logic reasoner

Abstract. This paper presents a system description of Pronto — the first probabilistic Description Logic reasoner capable of processing knowledge bases containing about a thousand of probabilistic axioms. We describe the design and architecture of the reasoner with an emphasis on the components that implement algorithms which are crucial for achieving such level of scalability. Finally, we present the results of the experimental evaluation of Pronto’s performance on series of propositional and non-propositional probabilistic knowledge bases.