@inproceedings{ferre00logical,
        title = {A Logical Generalization of Formal Concept Analysis},
        author = {S. Ferr� and O. Ridoux},
        booktitle = {Int. Conf. Conceptual Structures},
        editor = {G. Mineau and B. Ganter},
        pages = {371--384},
        publisher = {Springer},
        series = {LNCS 1867},
        year = 2000,
        file = {iccs2000.pdf:http\://www.irisa.fr/lande/ferre/papers/iccs2000.pdf:PDF;iccs2000.ps.gz:http\://www.irisa.fr/lande/ferre/papers/iccs2000.ps.gz:PostScript},
	refperso = {200009B},
	langue = {anglais},
	description = {publications of Sebastien Ferre},
	abstract = {We propose a generalization of Formal Concept Analysis (FCA) in which
    sets of attributes are replaced by expressions of an almost arbitrary
    logic. We prove that all FCA can be reconstructed on this basis.
    We show that from any logic that is used in place of sets of attributes
    can be derived a contextualized logic that takes into account the
    formal context and that is isomorphic to the concept lattice. We
    then justify the generalization of FCA compared with existing extensions
    and in the perspective of its application to information systems.},
	biburl = {http://www.bibsonomy.org/bibtex/2cdfe9d0e687cdc0103ad6a97d110a094/stumme},
	keywords = {FCA OntologyHandbook concept_analysis context information_system logic}
}

@inproceedings{ganter99contextual,
        title = {Contextual Attribute Logic},
        author = {Bernhard Ganter and Rudolf Wille},
        booktitle = {ICCS},
        crossref = {conf/iccs/1999},
        editor = {William M. Tepfenhart and Walling R. Cyre},
        pages = {377-388},
        publisher = {Springer},
        series = {Lecture Notes in Computer Science},
        volume = 1640,
        year = 1999,
        url = {http://dblp.uni-trier.de/db/conf/iccs/iccs99.html#GanterW99},
        isbn = {3-540-66223-5},
	date = {2002-01-03},
	biburl = {http://www.bibsonomy.org/bibtex/2b0378eeecd6e9969390303763eefa678/stumme},
	keywords = {analysis cg concept fca formal logic}
}

@inproceedings{baader95computing,
        title = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology},
        address = {Santa Cruz, USA},
        author = {Franz Baader},
        booktitle = {Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95},
        pages = {168--178},
        year = 1995,
        url = {citeseer.ist.psu.edu/baader95computing.html},
        biburl = {http://www.bibsonomy.org/bibtex/25b19d5b4c170ca819c25d4e4e3379fa8/stumme},
	keywords = {analysis attribute concept description dl exploration fca formal logic}
}

@book{boole1853investigation,
        title = {Investigation of The Laws of Thought On Which Are Founded the
Mathematical Theories of Logic and Probabilities},
        author = {George Boole},
        note = {Also available from Dover, New York 1958, ISBN 0-486-60028-9.},
        year = 1853,
        url = {http://www.gutenberg.org/etext/15114},
        biburl = {http://www.bibsonomy.org/bibtex/21c8c27c217ba7d78579b7d6297fe2e48/stumme},
	keywords = {Boole boole laws logic logik thought}
}

@article{stumme98knowledge,
        title = {Knowledge, {L}ogic, {I}nformation. {C}onference {R}eport.},
        author = {Gerd Stumme},
        journal = {Zeitschrift für Semiotik},
        number = {3-4},
        pages = 424,
        volume = 20,
        year = 1998,
        comment = {alpha},
	biburl = {http://www.bibsonomy.org/bibtex/2d03755fc571c2b7c0d2d6f6e600368f0/stumme},
	keywords = {logic formal information myown concept 1998 report conference knowledge analysis fca}
}