Exploring, Reasoning with and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs

ANDREWS, Simon and POLOVINA, Simon (2018). Exploring, Reasoning with and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs. In: CROITORU, Madalina, MARQUIS, Peter, RUDOLPH, Sebastian and STAPLETON, Gem, (eds.) Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. Lecture Notes in Artificial Intelligence (10775). Springer, 3-28.

[img]
Preview
PDF
Polovina Exploring, Reasoning with and Validating Directed Graphs.pdf - Accepted Version
All rights reserved.

Download (5MB) | Preview
Official URL: http://www.springer.com/gb/book/9783319781013
Link to published version:: 10.1007/978-3-319-78102-0

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 empowered in exploring, reasoning with and validating their real-world models.

Item Type: Book Section
Additional Information: E-ISSN - 1611-3349
Research Institute, Centre or Group: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Identification Number: 10.1007/978-3-319-78102-0
Depositing User: Hilary Ridgway
Date Deposited: 05 Apr 2018 09:25
Last Modified: 24 Apr 2018 20:27
URI: http://shura.shu.ac.uk/id/eprint/19112

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics