Skip to main content
SpringerLink
Log in

Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Christoph Benzmüller

    1. Computer Science, Freie Universität Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Francesco Ricca

    1. University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Xavier Parent

    1. Université du Luxembourg, Esch-sur-Alzette, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Dumitru Roman

    1. SINTEF/University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11092)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: RuleML+RR 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Pages I-XXIII
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Vadalog: A Language and System for Knowledge Graphs

      • Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
      Pages 3-8

    3. Modal Rules: Extending Defeasible Logic with Modal Operators

      • Guido Governatori
      Pages 9-30

  3. Full Papers

    1. Front Matter

      Pages 31-31
      Download chapter PDF

    2. Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis

      • Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
      Pages 33-47

    3. On the k-Boundedness for Existential Rules

      • Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
      Pages 48-64

    4. Cardinality Restrictions Within Description Logic Connection Calculi

      • Fred Freitas, Ivan Varzinczak
      Pages 65-80

    5. A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

      • Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert
      Pages 81-97

    6. Restricted Chase Termination: A Hierarchical Approach and Experimentation

      • Arash Karimi, Heng Zhang, Jia-Huai You
      Pages 98-114

    7. On Horn Conjunctive Queries

      • Enrique Matos Alfonso, Giorgos Stamou
      Pages 115-130

    8. CHR.js: A CHR Implementation in JavaScript

      • Falco Nogatz, Thom Frühwirth, Dietmar Seipel
      Pages 131-146

    9. Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling

      • Romain Rincé, Romain Kervarc, Philippe Leray
      Pages 147-163

    10. On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging

      • Patrick Rodler, Wolfgang Schmid
      Pages 164-184

    11. Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics

      • Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
      Pages 185-200

  4. Technical Communication Papers

    1. Front Matter

      Pages 201-201
      Download chapter PDF

    2. Computational Regulation of Medical Devices in PSOA RuleML

      • Sofia Almpani, Petros Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
      Pages 203-210

    3. Faceted Answer-Set Navigation

      • Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer
      Pages 211-225

    4. 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

    5. 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
Back to top

Other volumes

  1. Rules and Reasoning

Keywords

About this book

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.

Editors and Affiliations

  • Computer Science, Freie Universität Berlin, Berlin, Germany

    Christoph Benzmüller

  • University of Calabria, Rende, Italy

    Francesco Ricca

  • Université du Luxembourg, Esch-sur-Alzette, Luxembourg

    Xavier Parent

  • SINTEF/University of Oslo, Oslo, Norway

    Dumitru Roman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation