Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2019

Rules and Reasoning

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

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)

Conference series link(s): RuleML+RR: International Joint Conference on Rules and Reasoning

Conference proceedings info: RuleML+RR 2019.

Sections

Buy it now

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

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

Table of contents (15 papers)

  1. Front Matter

    Pages i-xvi
    PDF

  2. Full Papers

    1. Front Matter

      Pages 1-1
      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

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

    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
    PDF
Back to top

Other Volumes

  1. Rules and Reasoning

Back to top

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.

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation