Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Description

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 long technical communications and 7 short papers were carefully reviewed and selected from 33 submissions. Front Matter ....Pages I-XXIII Front Matter ....Pages 1-1 Vadalog: A Language and System for Knowledge Graphs (Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger)....Pages 3-8 Modal Rules: Extending Defeasible Logic with Modal Operators (Guido Governatori)....Pages 9-30 Front Matter ....Pages 31-31 Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis (Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile, Giorgio Terracina)....Pages 33-47 On the k-Boundedness for Existential Rules (Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana)....Pages 48-64 Cardinality Restrictions Within Description Logic Connection Calculi (Fred Freitas, Ivan Varzinczak)....Pages 65-80 A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling (Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert)....Pages 81-97 Restricted Chase Termination: A Hierarchical Approach and Experimentation (Arash Karimi, Heng Zhang, Jia-Huai You)....Pages 98-114 On Horn Conjunctive Queries (Enrique Matos Alfonso, Giorgos Stamou)....Pages 115-130 CHR.js: A CHR Implementation in JavaScript (Falco Nogatz, Thom Frühwirth, Dietmar Seipel)....Pages 131-146 Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling (Romain Rincé, Romain Kervarc, Philippe Leray)....Pages 147-163 On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging (Patrick Rodler, Wolfgang Schmid)....Pages 164-184 Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics (Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa)....Pages 185-200 Front Matter ....Pages 201-201 Computational Regulation of Medical Devices in PSOA RuleML (Sofia Almpani, Petros Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos)....Pages 203-210 Faceted Answer-Set Navigation (Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer)....Pages 211-225 Clinical Decision Support Based on OWL Queries in a Knowledge-as-a-Service Architecture (Renan Gomes Barreto, Lucas Oliveira Costa Aversari, Cecília Neta Alves Pegado Gomes, Natasha Correia Queiroz Lino)....Pages 226-238 An Optimized KE-Tableau-Based System for Reasoning in the Description Logic \({\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }\) (Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria)....Pages 239-247 A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm (Marjolein Deryck, Faruk Hasić, Jan Vanthienen, Joost Vennekens)....Pages 248-263 Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason’s Mark Design (Thom Frühwirth)....Pages 264-273 The MET: The Art of Flexible Reasoning with Modalities (Tobias Gleißner, Alexander Steen)....Pages 274-284 Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting (Prateek Jain, Peter Z. Yeh, William Jarrold, Ezra Story, Julien Villemure, David Martin)....Pages 285-292 Learning Condition–Action Rules for Personalised Journey Recommendations (Matthew R. Karlsen, Sotiris Moschoyiannis)....Pages 293-301 A Rule-Based eCommerce Methodology for the IoT Using Trustworthy Intelligent Agents and Microservices (Kalliopi Kravari, Nick Bassiliades)....Pages 302-309 Integrating Rule-Based AI Tools into Mainstream Game Development (Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari)....Pages 310-317 Answer Set Programming Modulo ‘Space-Time’ (Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemysław Andrzej Wałęga)....Pages 318-326 Back Matter ....Pages 327-328