Terminologische Merkmalslogik in der Formalen Begriffsanalyse

In den letzten Jahren gab es immer wieder Anstose, logische Sprachelemente in dieFormale Begriffsanalyseeinzufuhren. Vor allem bei den Aktivitaten im Bereich der begrifflichen Wissensverarbeitung entstand zunehmend das Bedurfnis nach formal-logischen Ausdrucksmitteln. Den Anlas, eine logische Sprache fur die Formale Begriffsanalyse zu entwerfen, lieferte das Vorhaben, die von Edwin Diday entwickelteSymbolische Datenanalysein engere Verbindung zur Formalen Begriffsanalyse zu bringen (vgl. [Pre96]). Dieser Anlas legte nahe, eine Merkmalslogik mit extensionaler Semantik bereitzustellen.