@inproceedings{Wille:1997,
title = {Conceptual Graphs and Formal Concept Analysis},
author = {Rudolf Wille},
booktitle = {Proc. ICCS'97},
url = {http://www.int.gu.edu.au/kvo/reading/index.html},
year = {1997},
abstract = {It is shown how Conceptual Graphs and Formal Concept Analysis may be combined to obtain a formalization of Elementary Logic which is useful for knowledge representation and processing. For this, a translation of conceptual graphs to formal contexts and concept lattices is described through an example. Using a suitable mathematization of conceptual graphs, basics of a unified mathematical theory for Elementary Logic are proposed.},
keywords = {logic }
}