Morph moulder: Teaching software for HPSG and description logics

Autor(en): Ovchinnikova, Ekaterina
Richter, Frank
Stichwörter: description logics; feature logic; graphical teaching software; HPSG; interactive teaching software; Logic; Mathematics; Mathematics, Applied; model-theoretic grammar; ontology; reasoning; Science & Technology - Other Topics; visualization
Erscheinungsdatum: 2007
Herausgeber: OXFORD UNIV PRESS
Journal: LOGIC JOURNAL OF THE IGPL
Volumen: 15
Ausgabe: 4
Startseite: 333
Seitenende: 345
Zusammenfassung: 
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical fouudations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learning euvironment. It has then been extended to a treatment of description logics (DL), which are at present the standard formalism for building ontologies. With MoMo, students can construct, interpretations of sets of formulae and check whether their interpretations model these formulae (called theory in HPSG and axioms in DL). MoMo also supports reasoning such as the coustruction of well- formed interpretations in the feature logic of HPSC and the automatic extraction of subsumption hierarchies in DL. It has been used successfully in several courses on HPSG linguistics, on computational grammar implementation and on the logical foundations of coustraint-based grammar frameworks.
ISSN: 13670751
DOI: 10.1093/jigpal/jzm024

Show full item record

Page view(s)

1
Last Week
0
Last month
0
checked on Feb 28, 2024

Google ScholarTM

Check

Altmetric