Reasoning about Explanations for Negative Query Answers in DL-Lite

In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for Description Logics, where research has focused on the explanation of both TBox reasoning and, more recently, query answering. Besides explaining the presence of a tuple in a query answer, it is important to explain also why a given tuple is missing. We address the latter problem for instance and conjunctive query answering over DL-Lite ontologies by adopting abductive reasoning; that is, we look for additions to the ABox that force a given tuple to be in the result. As reasoning tasks we consider existence and recognition of an explanation, and relevance and necessity of a given assertion for an explanation. We characterize the computational complexity of these problems for arbitrary, subset minimal, and cardinality minimal explanations

Query Answering in Probabilistic Data and Knowledge Bases

Probabilistic data and knowledge bases are becoming increasingly important in academia and industry. They are continuously extended with new data, powered by modern information extraction tools that associate probabilities with knowledge base facts. The state of the art to store and process such data is founded on probabilistic database systems, which are widely and successfully employed. Beyond all the success stories, however, such systems still lack the fundamental machinery to convey some of the valuable knowledge hidden in them to the end user, which limits their potential applications in practice. In particular, in their classical form, such systems are typically based on strong, unrealistic limitations, such as the closed-world assumption, the closed-domain assumption, the tuple-independence assumption, and the lack of commonsense knowledge. These limitations do not only lead to unwanted consequences, but also put such systems on weak footing in important tasks, querying answering being a very central one. In this thesis, we enhance probabilistic data and knowledge bases with more realistic data models, thereby allowing for better means for querying them. Building on the long endeavor of unifying logic and probability, we develop different rigorous semantics for probabilistic data and knowledge bases, analyze their computational properties and identify sources of (in)tractability and design practical scalable query answering algorithms whenever possible. To achieve this, the current work brings together some recent paradigms from logics, probabilistic inference, and database theory

An Ontology-Driven Sociomedical Web 3.0 Framework

Web 3.0, the web of social and semantic cooperation, calls for a methodological multidisciplinary architecture in order to reach its mainstream objectives. With the lack of such an architecture and the reliance of existing efforts on lightweight semantics and RDF graphs, this thesis proposes "Web3.OWL", an ontology-driven framework towards a Web 3.0 knowledge architecture. Meanwhile, the online social parenting data and their corresponding websites users known as "mommy bloggers" undergo one of the fastest online demographics growth, and the available literature reflects the very little attention this growth has so far been given and the various deficiencies the parenting domain suffers from; these deficiencies all fall under the umbrella of the scarcity of parenting sociomedical analysis and decision-support systems. The Web3.OWL framework puts forward an approach that relies on the Meta-Object Facility for Semantics standard (SMOF) for the management of its modeled OWL (Web Ontology Language) expressive domain ontologies on the one hand, and the coordination of its various underlined Web 3.0 prerequisite disciplines on the other. Setting off with a holistic portrayal of Web3.OWL’s components and workflow, the thesis progresses into a more analytic exploration of its main paradigms. Out of its different ontology-aware paradigms are notably highlighted both its methodology for expressiveness handling through modularization and projection techniques and algorithms, and its facilities for tagging inference, suggestion and processing. Web3.OWL, albeit generic by conception, proves its efficiency in solving the deficiencies and meeting the requirements of the sociomedical domain of interest. Its conceived ontology for parenting analysis and surveillance, baptised "ParOnt", strongly contributes to the backbone metamodel and the various constituents of this ontology-driven framework. Accordingly, as the workflow revolves around Description Logics principles, OWL 2 profiles along with standard and beyond-standard reasoning techniques, conducted experiments and competency questions are illustrated, thus establishing the required Web 3.0 outcomes. The empirical results of the diverse preliminary decision-support and recommendation services targeting parenting public awareness, orientation and education do ascertain, in conclusion, the value and potentials of the proposed conceptual framework

Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases

Open Answer Set Programming (OASP) is an undecidable framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. In this article, we provide a sound, complete, and terminating algorithm for satisfiability checking w.r.t. Forest Logic Programs (FoLPs), a fragment of OASP where rules have a tree shape and allow for inequality atoms and constants. The algorithm establishes a decidability result for FoLPs. Although believed to be decidable, so far only the decidability for two small subsets of FoLPs, local FoLPs and acyclic FoLPs, has been shown. We further introduce f-hybrid knowledge bases, a hybrid framework where \SHOQ{} knowledge bases and forest logic programs co-exist, and we show that reasoning with such knowledge bases can be reduced to reasoning with forest logic programs only. We note that f-hybrid knowledge bases do not require the usual (weakly) DL-safety of the rule component, providing thus a genuine alternative approach to current integration approaches of ontologies and rules

Proceedings of the Automated Reasoning Workshop (ARW 2019)

Preface This volume contains the proceedings of ARW 2019, the twenty sixths Workshop on Automated Rea- soning (2nd{3d September 2019) hosted by the Department of Computer Science, Middlesex University, England (UK). Traditionally, this annual workshop which brings together, for a two-day intensive pro- gramme, researchers from different areas of automated reasoning, covers both traditional and emerging topics, disseminates achieved results or work in progress. During informal discussions at workshop ses- sions, the attendees, whether they are established in the Automated Reasoning community or are only at their early stages of their research career, gain invaluable feedback from colleagues. ARW always looks at the ways of strengthening links between academia, industry and government; between theoretical and practical advances. The 26th ARW is affiliated with TABLEAUX 2019 conference. These proceedings contain forteen extended abstracts contributed by the participants of the workshop and assembled in order of their presentations at the workshop. The abstracts cover a wide range of topics including the development of reasoning techniques for Agents, Model-Checking, Proof Search for classical and non-classical logics, Description Logics, development of Intelligent Prediction Models, application of Machine Learning to theorem proving, applications of AR in Cloud Computing and Networking. I would like to thank the members of the ARW Organising Committee for their advice and assis- tance. I would also like to thank the organisers of TABLEAUX/FroCoS 2019, and Andrei Popescu, the TABLEAUX Conference Chair, in particular, for the enormous work related to the organisation of this affiliation. I would also like to thank Natalia Yerashenia for helping in preparing these proceedings. London Alexander Bolotov September 201

Information for decision-making is ubiquitous: Revisiting the reverse engineering mode in breadmaking technology

International audienceThis paper deals with the process of decision making in the reverse engineering mode and highlights the need for polyvalent information. Three aspects are considered. 1) Reverse engineering implies a preliminary assumption: having defined a desired outcome of the decision process. Defining goals on the possible outcomes is a complex, multi-actor process based on ubiquitous information. Once identified at best, several alternative scenarios may lead to the desired outcome. The first issue consists in evaluating these alternative scenarios. 2) While taking into consideration the positive consequences that the different alternatives will generate, the decision process has to allow for possible negative impacts, which are not explicitly expressed in the defined goals. We thus consider the reverse engineering process has to be bipolar and take rejections into account. 3) Finally, the simultaneous achievement (respectively, avoidance) of several goals (respectively, rejections) is not always possible and depends, in particular, on whether the actions leading to each of these goals (respectively avoiding these rejections) are compatible or not. We thus seek the " best " compatible set of actions and propose to define it as optimizing the bipolar preferences expressed on the outcomes. The approach is both graphical and logical and is focused on a case study in breadmaking technology