Graph Structures for Knowledge Representation and Reasoning. 6th International Workshop, GKR 2020 Virtual Event, September 5, 2020 Revised Selected Papers

Preface
Organization
Contents
Extended Workshop Papers
Active Semantic Relations in Layered Enterprise Architecture Development
	1 Introduction
	2 The Metamodel Diagram
	3 Activating the Metamodel
		3.1 Methodology
		3.2 Findings
		3.3 Formal Concept Lattice
	4 Discussion
		4.1 Implications
		4.2 Current Limitations
		4.3 Future Research
	5 Conclusion
	References
A Belief Update System Using an Event Model for Location of People in a Smart Home
	1 Introduction
	2 Use Case Example
	3 Related Work
		3.1 Logical Formalism
		3.2 AGM Model
		3.3 Truth Maintenance Systems
	4 Our Contribution
		4.1 Algorithm Overview
		4.2 Logical Formalism
		4.3 Transition Graph Structure
		4.4 Nodes' Belief Sets
		4.5 Building the Graph
		4.6 Querying the Graph
	5 Application to the Location Problem
	6 Conclusion and Perspectives
	References
A Natural Language Generation Technique for Automated Psychotherapy
	1 Introduction
	2 Sources Informing the Generation of Responses
		2.1 Tracking of Patient’s Expressed Emotions
		2.2 Conceptual Analysis of Patient’s Utterances
		2.3 Using Context to Inform the Planning Process
		2.4 Executive Control
		2.5 Response Generation Architecture
	3 Implementation Details
	4 Conclusion
	References
Creative Composition Problem: A Knowledge Graph Logical-Based AI Construction and Optimization Solution
	1 Introduction
	2 Related Work
		2.1 Applied Chat-Bots for Mental Health Well-Being
		2.2 Applied Knowledge Graph for Mental Health Well-Being
	3 Cecilia: An Architecture of a Digital Companion Artificial Intelligence Agent System Composer of Dialogue Scripts for Well-Being and Mental Health
		3.1 Cecilia: A Master-Slave AI Agents Digital Companion System Design
		3.2 The Cecilia Logical-Based AI Agent Digital Companion System
	4 The Creative Composition Problem (CCP)
		4.1 Formal Definition
		4.2 Dynamic Programming Definition of CPP
		4.3 Dynamic Programming Algorithm
		4.4 Computational Complexity of Dynamic Programming Algorithm to Compute the Optimal CCP Solution
		4.5 Running Example
	5 Creative Reasoning-Planning: The Master-Agent Artificial Intelligent Composer (MAIC) of Dialogue Scripts for Well-Being and Mental Health
		5.1 The MAIC Diagnostic: Enriching Talks (Mild Therapies) Theories Specified in ASP
		5.2 The MAIC Prescription and Recommendation: Solving the Creative Composition Problem (CCP)
	6 Pre-evaluation of Cecilia
	7 Technologies Suitable to Solve CCP and to Implement the Design of Cecilia Architecture
	8 Conclusions
	A  Appendix 1
	B  Appendix 2
	References
Set Visualisations with Euler and Hasse Diagrams
	1 Introduction
	2 A Brief Introduction to Euler and Venn Diagrams
	3 Formal Concept Analysis and Hasse Diagrams
	4 Venn Diagrams and Boolean Lattices
	5 Sets of Zones as Well-Formed Euler Diagrams and Lattices
	6 Conditions for Well-Formed Euler Diagrams
	7 Reading Implications from Euler and Hasse Diagrams
	8 Conclusion
	References
Usage Patterns Identification Using Graphs and Machine Learning
	1 Introduction
	2 The Problem
	3 Approach
	4 Implementation
	5 Technologies
	6 Results and Analysis
	7 Conclusion
	References
Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination
	1 Introduction
	2 Research Context
	3 Preliminaries
		3.1 Formal Concept Analysis
		3.2 Galois Connection
		3.3 Galois Connections and Concept Lattices
		3.4 Observations
	4 Application
		4.1 Invitations to Tender
		4.2 Coordinating Meetings
		4.3 Project Subgroups
	5 Concluding Remarks
	References
Invited Additional Contributions
Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification
	1 Introduction
	2 Approximate Query Answering on Knowledge Graphs
		2.1 GQE
		2.2 MPQE
		2.3 Query2Box
		2.4 Complex Query Decomposition
	3 From Ranking Metrics to Actual Answers
		3.1 Closed-World Assumption
		3.2 From Ranking to Classification
	4 Using Axis-Aligned Boxes for Query Embedding
		4.1 Boxes for Entities
	5 Proof of Concept
		5.1 Experimental Setup
		5.2 Results
	6 Conclusion and Outlook
	References
Galois Connections for Patterns: An Algebra of Labelled Graphs
	1 Introduction
	2 Definitions and Notation
	3 The Two Lattices
	4 The Galois Connection
	5 Tractability Consequences of the Galois Connection
	6 Augmented Patterns: Motivation
	7 Augmented Patterns: Definitions
	8 A Galois Connection for Augmented Patterns
	9 Discussion and Conclusion
	References
Author Index