Linked e-resources
Details
Table of 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
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