Limit search to available items
Book Cover
E-book
Author RuleML+RR (Joint Conference) (3rd : 2019 : Bolzano, Italy)

Title Rules and reasoning : third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings / Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman (eds.)
Published Cham, Switzerland : Springer, 2019

Copies

Description 1 online resource (xvi, 207 pages) : illustrations (some color)
Series Lecture notes in computer science ; 11784
LNCS sublibrary. SL 2, programming and software engineering
Lecture notes in computer science ; 11784.
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Intro; Preface; Organization; Keynote Talks; The Future of Enterprise AI and Digital Decisions; Existential Rules: A Study Through Chase Termination, FO-Rewritability and Boundedness; Contents; Full Papers; Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes; 1 Introduction; 2 The Lightweight Temporal Logic TELH_[c], lhs; 2.1 A New Temporal Description Logic; 2.2 A Completion Algorithm; 3 Minimal-World Semantics for Metric Temporal Conjunctive Queries with Negation; 3.1 Minimal-World Semantics for MTNCQs; 3.2 A Combined Rewriting for MTNCQs
4 Related Work and DiscussionReferences; Reasoning on DL-LiteR with Defeasibility in ASP*-10pt; 1 Introduction; 2 Preliminaries; 3 DL Knowledge Base with Justifiable Exceptions; 4 Datalog Translation for DL-LiteR DKB; 5 Complexity of Reasoning Problems; 6 Discussion and Conclusion; References; ODRL Policy Modelling and Compliance Checking; 1 Introduction; 2 Related Work; 3 Modelling Legislative Requirements and Business Policies Using ODRL; 3.1 Generalising the ODRL Information Model; 3.2 The ODRL Regulatory Compliance Profile; 4 Compliance Checking; 4.1 Institutional Action Language
4.2 Data Representation4.3 Policy Representation; 4.4 Explanation Representation; 4.5 Data Transfer Example; 5 Evaluation; 6 Conclusion; References; Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP; 1 Introduction; 2 Knowledge Formalization and Reasoning; 2.1 IDP and the Knowledge Base Paradigm; 2.2 PSOA RuleML for Graph-Relational Knowledge; 3 Air Traffic Control Regulations; 4 Alignment; 4.1 Common Core of the KBs; 5 Interoperation and Co-execution; 5.1 Syntactic Translation for Interoperation; 5.2 Semantics-Preserving Co-execution
6 Inconsistencies Within Regulations7 Extensions of the KB; 7.1 Optimization of Landing Order; 7.2 Dependent-Slot ATC KB Version; 8 Conclusions and Future Work; References; An ASP-based Solution for Operating Room Scheduling with Beds Management; 1 Introduction; 2 Background on ASP; 3 Problem Description; 4 ASP Encoding for the Basic ORS Problem; 4.1 OR scheduling; 5 ASP Encoding for ORS with Beds Management; 5.1 OR scheduling with beds; 6 Experimental Results; 6.1 ORS Benchmarks; 6.2 Results; 7 Related Work; 8 Conclusions; References
EASE: Enabling Hardware Assertion Synthesis from English1 Introduction; 2 EASE Architecture; 2.1 Dependency Grammar and Lexicon; 2.2 Clause Relationship Tree; 2.3 Syntactic-Semantic Parsing; 2.4 Suggestion Generation; 3 Evaluation; 4 Conclusion; References; Formalizing Object-Ontological Mapping Using F-logic; 1 Introduction; 1.1 Running Example; 2 Background; 2.1 SROIQ; 2.2 Integrity Constraints; 2.3 F-logic; 3 Mapping; 4 Mapping Integrity Constraints; 4.1 Integrity Constraint Semantics; 4.2 Integrity Constraint Validation; 5 Related Work; 5.1 Application Access to Ontologies
Summary 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. -- Provided by publisher
Notes International conference proceedings
Includes author index
Online resource; title from PDF title page (SpringerLink, viewed September 25, 2019)
Subject Computer logic -- Congresses
Computer programming -- Congresses
Software engineering -- Congresses
Logic, Symbolic and mathematical -- Congresses
Artificial intelligence -- Congresses
Artificial intelligence
Computer logic
Computer programming
Logic, Symbolic and mathematical
Software engineering
Genre/Form Electronic books
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Fodor, Paul, editor.
Montali, Marco, editor.
Calvanese, Diego, editor.
Roman, Dumitru, editor
ISBN 9783030310950
3030310957
Other Titles RuleML+RR 2019