@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},
	biburl = {http://www.bibsonomy.org/bibtex/2874340941200b9df9767091999b0c1cf/diego_ma},
	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 }
}