Validating directed graphs by applying formal concept analysis to conceptual graphs

ANDREWS, Simon and POLOVINA, Simon (2017). Validating directed graphs by applying formal concept analysis to conceptual graphs. In: The IJCAI-17 Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2017 @ IJCAI), Melbourne, Australia, 19-25th August.

[img]
Preview
PDF
Andrews - Validating directed graphs by applying formal concept analysis to conceptual graphs .pdf - Accepted Version
All rights reserved.

Download (308kB) | Preview
Official URL: http://www.lirmm.fr/~hecham/GKR/resources/Andrews....
Related URLs:

Abstract

Although tools exist to aid practitioners in the construction of directed graphs typified by Conceptual Graphs (CGs), it is still quite possible for them to draw the wrong model, mistakenly or otherwise. In larger or more complex CGs it is furthermore often difficult without close inspection to see clearly the key features of the model. This paper thereby presents a formal method, based on the exploitation of CGs as directed graphs and the application of Formal Concept Analysis (FCA). FCA elucidates key features of CGs such as pathways and dependencies, inputs and outputs, cycles, and joins. The practitioner is consequently assisted in reasoning with and validating their models.

Item Type: Conference or Workshop Item (Paper)
Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Depositing User: Jill Hazard
Date Deposited: 27 Sep 2017 11:40
Last Modified: 18 Mar 2021 15:33
URI: https://shura.shu.ac.uk/id/eprint/16869

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics