Tools & Results

• OWL-LingS Editor: [Download the source code]
  It supports an extension of the OWL-S approach to integrate non-functional linguistic properties. It generates descriptions of Linguistic
  Web Services according to the OWL-LingS (stands for OWL for Linguistic Services) language.
• OWL-LingS-MX [Download the source code]
  A matchmaker for discovering Linguistic Web Services. It considers the non-functional linguistic properties during the matching process.
• Formal specification: [Download the source code]
  The formal models of my thesis have been specified using the Event-B formal method.