Rules and Reasoning: Third International Joint Conference, Ruleml+rr 2019, Bolzano, Italy, September 16-19, 2019, Proceedings

ISBN-13: 9783030310943 / Angielski / Miękka / 2019 / 207 str.

Paul Fodor; Marco Montali; Diego Calvanese

Spis treści

Full Papers.- Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes.- Reasoning on DL-Lite_ℛ with Defeasibility in ASP.- ODRL policy modelling and compliance checking.- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.- An ASP-based Solution for Operating Room Scheduling with Beds Management.- EASE: Enabling Hardware Assertion Synthesis from English.- Formalizing Object-ontological Mapping Using F-logic.- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT.- Efficient TBox Reasoning with Value Restrictions—Introducing the ℱℒ_ower Reasoner.- Query Rewriting for DL Ontologies under the ICAR semantics.- Technical Communication Papers.- Complementing Logical Reasoning with Sub-Symbolic Commonsense.- Adding Constraint Tables to the DMN Standard: Preliminary Results.- Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse.- Fuzzy Logic Programming for Tuning Neural Networks.- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization.