Die DWDS-Anfragesprache, Regel 6: Logische Kombinationen

• Eine Anfrage kann aus zwei anhand der Regeln 1-6 gebildeten Teilanfragen, die durch einem sogenannten logischen Operator verknüpft sind, bestehen. Die so zusammengesetzte Anfrage bedeutet: „Finde alle Tokens, welche die durch den Operator ausgedrückte logische Kombination der Teilanfragen zulässt.“

  Hund || Katze

  Hund && Katze

  Hund && !Katze

  Hund || Katze && Maus = (Hund || Katze) && Maus = ((Hund || Katze) && Maus) ≠ Hund || (Katze && Maus)

Anmerkungen:

• Die allgemeine Form dieser Anfragen ist: Anfrage1 LogOp Anfrage2. Die Bedeutung der Anfrage hängt von der logischen Bedeutung von ‚LogOp‘ ab, wie folgt:
  • && (logische Konjunktion): Jeder Treffer enthält sowohl die durch Anfrage1 als auch die durch Anfrage2 gefundenen Tokens.
  • || ([inklusive] logische Disjunktion): Jeder Treffer enthält die durch mindestens eine von Anfrage1 und Anfrage2 gefundenen Tokens.
  • && ! (logische Konjunktion mit Negation): Jeder Treffer enthält die durch Anfrage1 gefundenen Tokens und schließt die durch Anfrage2 gefundenen Tokens aus.
• Durch rekursive Anwendung dieser Regel können bei bestimmten Kombinationen der logischen Operatoren Ambiguitäten (Mehrdeutigkeiten) entstehen. Diese müssen durch den Einsatz von Klammern aufgelöst werden, wie in den Beispielen im rechten Kästchen oben.
  • Eine Ausnahme zur rekursiven Anwendung stellt ‚&& !‘ in der DWDS-Anfragesprache dar: Bei diesem Operator darf Anfrage2 keine logische Kombination sein (das löst eine Fehlermeldung aus). Daher muss man eine logisch äquivalente Formulierung verwenden, also z.B.:
    • Für die ungültige Anfrage ‚Hund && !(Katze && Maus)‘ gibt es die logisch äquivalente ‚(Hund && !Katze) || (Hund && !Maus)‘
    • Für die ungültige Anfrage ‚Hund && !(Katze || Maus)‘ gibt es die logisch äquivalente (‚Hund && !Katze) && !Maus‘, auch ohne Klammern (warum?): ‚Hund && !Katze && !Maus‘
    • Dieselbe logische Äquivalenz gilt für die ungültige Anfrage ‚Hund && !(Katze && !Maus)‘, außerdem geht es auch so: ‚Hund && !Maus && !Katze‘
• Das DWDS-Abfragesystem verarbeitet mehrfache logische Kombinationen linksassoziativ. Das bedeutet, eine Anfrage mit zwei oder mehr logischen Kombinationen ohnen Klammern ist mit der entsprechenden Anfrage mit von links nach rechts gesetzten Klammern äquivalent (vgl. die Beispiele im rechten Kästchen oben).
• Das Abfragesystem beschränkt die Anzahl logischer Operatoren in einer Anfrage auf maximal drei; z.B. ergeben folgende Eingaben Fehlermeldungen (allerdings gibt es gültige Alternativen, siehe unten):
  • Hund || Katze || Maus || Ratte || Pferd
  • Hund && Katze && Maus && Ratte && Pferd
  • Hund && !Katze && !Maus && !Ratte && !Pferd
  • (Hund && Katze) || (Maus && Ratte) || Pferd
• Das Abfragesystem lässt logische Kombinationen mit nur einem regulären Ausdruck zu; z.B. ergeben folgende Eingaben Fehlermeldungen:
  
  • /^[a-z]+$/ || /^[0-9]+$/
  • /^[a-z]+$/ && /^[0-9]+$/
  • /^[a-z]+$/ && !/^[0-9]+$/

Abkürzung für bestimmte Oder-Kombinationen

{Hund, Katze}    (auch: {Hund Katze} ) @{Hund, Katze}    (auch: @{Hund Katze} ) *{Hund, Katze}    (auch: *{Hund Katze} ) {Hund, Katze}*    (auch: {Hund Katze}* ) *{hund, katze}*    (auch: *{hund katze}* )

"{zwei, drei} {Hund, Katze}" "{zwei, drei} #0 {Hund, Katze}" {Hund, Katze} with $.=-2

• Die DWDS-Anfragesprache verfügt über eine besondere Abkürzung für bestimmte logische Oder-Kombinationen.
  • Zwei oder mehr durch Kommata oder Leerzeichen getrennte Lemmata (Regel 2) zwischen geschweiften Klammern zählen als Alternativen, d.h. als inklusive logische Disjunktion. Also findet z.B. die Anfrage ‚{Hund, Katze}‘ dieselben Treffer wie ‚Hund || Katze‘.
  • Entsprechende Anfragen für Types (Regel 1) und Muster mit einem Platzhalter (Regel 3(i)) werden wie folgt gebildet:
    ‚@{Hund, Katze}‘, ‚*{Hund, Katze}‘, ‚{Hund, Katze}* bzw. ‚*{Hund, Katze}*‘.
  • Mischungen, z.B. von einem Lemma und einem Type, sind nicht zulässig.
  • Entsprechende Abkürzungen für Disjunktionen von komplexeren Teilanfragen – also mit regulären Ausdrücken, Abstandsangaben, Konjunktion oder Negation – sind in der DWDS-Anfragesprache nicht zulässig.
• Mit dieser Abkürzung kann man die oben erwähnte Beschränkung der Anzahl logischer Operatoren teilweise umgehen: Z.B. kann man statt diesen unzulässigen Anfragen:
  • Hund || Katze || Maus || Ratte || Pferd
  • "zwei Hunde" || "zwei Katze" || "drei Hunde" || "drei Katze"
  folgende gültige Anfragen formulieren:
  • {Hund, Katze, Maus, Ratte, Pferd}
  • "{zwei, drei} {Hund, Katze}"