Skip to main content
SpringerLink
Log in
Book cover

Rules and Reasoning

Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Paul Fodor

    1. Stony Brook University, Stony Brook, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marco Montali

    1. Free University of Bozen-Bolzano, Bolzano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Diego Calvanese

    1. Free University of Bozen-Bolzano, Bolzano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Dumitru Roman

    1. SINTEF AS, 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 11784)

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

Included in the following conference series:

Conference proceedings info: RuleML+RR 2019.

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 (15 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Full Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes

      • Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
      Pages 3-18

    3. Reasoning on \(\textit{DL-Lite}_\mathcal{R}\) with Defeasibility in ASP

      • Loris Bozzato, Thomas Eiter, Luciano Serafini
      Pages 19-35

    4. ODRL Policy Modelling and Compliance Checking

      • Marina De Vos, Sabrina Kirrane, Julian Padget, Ken Satoh
      Pages 36-51

    5. Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP

      • Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros Stefaneas, Panayiotis Frangos, Iakovos Ouranos et al.
      Pages 52-66

    6. An ASP-based Solution for Operating Room Scheduling with Beds Management

      • Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
      Pages 67-81

    7. EASE: Enabling Hardware Assertion Synthesis from English

      • Rahul Krishnamurthy, Michael S. Hsiao
      Pages 82-96

    8. Formalizing Object-Ontological Mapping Using F-logic

      • Martin Ledvinka, Petr Křemen
      Pages 97-112

    9. Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT

      • Fangfang Liu, Jia-Huai You
      Pages 113-127

    10. Efficient TBox Reasoning with Value Restrictions—Introducing the \(\mathcal {F\!L}_{o}{} \textit{wer}\) Reasoner

      • Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
      Pages 128-143

    11. Query Rewriting for DL Ontologies Under the ICAR Semantics

      • Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos
      Pages 144-158

  3. Technical Communication Papers

    1. Front Matter

      Pages 159-159
      Download chapter PDF

    2. Complementing Logical Reasoning with Sub-symbolic Commonsense

      • Federico Bianchi, Matteo Palmonari, Pascal Hitzler, Luciano Serafini
      Pages 161-170

    3. Adding Constraint Tables to the DMN Standard: Preliminary Results

      • Marjolein Deryck, Bram Aerts, Joost Vennekens
      Pages 171-179

    4. Detecting “Slippery Slope” and Other Argumentative Stances of Opposition Using Tree Kernels in Monologic Discourse

      • Davide Liga, Monica Palmirani
      Pages 180-189

    5. Fuzzy Logic Programming for Tuning Neural Networks

      • Ginés Moreno, Jesús Pérez, José A. Riaza
      Pages 190-197

    6. Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization

      • Olivier Rodriguez, Reza Akbarinia, Federico Ulliana
      Pages 198-206

  4. Back Matter

    Pages 207-207
    Download chapter PDF
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 2019, held in Bolzano, Italy, during September 2019. This is the third 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 short technical communications papers were carefully reviewed and selected from 26 submissions.

Editors and Affiliations

  • Stony Brook University, Stony Brook, USA

    Paul Fodor

  • Free University of Bozen-Bolzano, Bolzano, Italy

    Marco Montali, Diego Calvanese

  • SINTEF AS, Oslo, Norway

    Dumitru Roman

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation