@inproceedings{Wille: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.}, added-at = {2007-12-14T02:48:14.000+0100}, author = {Wille, Rudolf}, biburl = {http://www.bibsonomy.org/bibtex/2874340941200b9df9767091999b0c1cf/diego_ma}, booktitle = {Proc. ICCS'97}, interhash = {b642926b1e67db495edc3b62e1ba7571}, intrahash = {874340941200b9df9767091999b0c1cf}, keywords = {logic}, timestamp = {2007-12-14T02:48:14.000+0100}, title = {Conceptual Graphs and Formal Concept Analysis}, url = {http://www.int.gu.edu.au/kvo/reading/index.html}, year = 1997 }