Abfragewerkzeuge

Finite Structure Query (fsq)

Finite Structure Query ist ein Werkzeug zur Abfrage syntaktisch annotierter Baumbanken, welches im Projekt A2 entwickelt wurde. Zentrale Eigenschaften von fsq sind:

• Abfragesprache mit der vollen Mächtigkeit der Prädikatenlogik erster Stufe
• Unterstützung der Abfrage sekundärer Kanten in Baumbanken durch die Verwendung endlicher Strukturen anstelle von Bäumen
• Graphische Darstellung der Suchergebnisse
• Unterstütztes Korpusformat: NEGRA-Export

MonaSearch

MonaSearch ist ein mächtiges Abfragewerkzeug für Baumbanken, das als Abfragesprache Monadische Logik zweiter Ordnung einsetzt. MonaSearch wurde ebenfalls im Projekt A2 entwickelt. Zentrale Eigenschaften sind:

• Abfragezeit ist linear in der Größe der duchsuchten Baumbank
• Abfragezeit ist unabhängig von der spezifischen Formulierung des Suchausdrucks, was die Bedienung vereinfacht.
• MonaSearch ist schneller als andere Suchwerkzeuge (wie TIGERSearch, TGrep2, etc.). Im Vergleich zu fsq ist MonaSearch schneller, ist aber auf die Abfrage echter Bäume beschränkt.