POLOVINA, Simon and ANDREWS, Simon (2013). CGs to FCA Including Peirce's Cuts. International Journal of Conceptual Structures and Smart Applications, 1 (1), 90-103.
polovina CGs to FCA.pdf - Published Version
Available under License All rights reserved.
Download (5MB) | Preview
Previous work has demonstrated a straightforward mapping from Conceptual Graphs (CGs) to Formal Concept Analysis (FCA), and the combined benefits these types of Conceptual Structures bring in capturing and reasoning about the semantics in system design. As in that work, a CGs Transaction Model (or `Transaction Graph') exemplar is used, but in the form of a richer Financial Trading (FT) case study that has its business rules visualised in Peirce's cuts. The FT case study highlights that cuts can meaningfully be included in the CGs to FCA mapping. Accordingly, the case study's CGs Transaction Graph with its cuts is translated into a form suitable for the CGtoFCA algorithm described in that previous work. The process is tested through the CG-FCA software that implements the CGtoFCA algorithm. The algorithm describes how a Conceptual Graph (CG), represented by triples of the form source-concept, relation, target-concept can be transformed into a set of binary relations of the form target-concept, source-conceptnrelation thus creating a formal context in FCA. Cuts though can now be included in the same formal, rigorous, reproducible and general way. The mapping develops the Transaction Graph into a Transaction Concept, capturing and unifying the features of Conceptual Structures that CGs and FCA collectively embody.
|Research Institute, Centre or Group:||Cultural Communication and Computing Research Institute > Communication and Computing Research Centre|
|Depositing User:||Helen Garner|
|Date Deposited:||02 Oct 2013 13:00|
|Last Modified:||10 Nov 2016 23:16|
Actions (login required)
Downloads per month over past year