|
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.
Zuletzt aktualisiert am 10.03.2009 |