Currently we are working with several technologies:


The SALE compiler is based upon ANTLR generated classes.

From the ANTLR Homepage:

ANTLR, ANother Tool for Language Recognition, is a language tool that provides a framework for constructing recognizers, interpreters, compilers, and translators from grammatical descriptions containing actions in a variety of target languages. ANTLR provides excellent support for tree construction, tree walking, translation, error recovery, and error reporting.

We suggest, that you download ANTLRWorks aswell:

ANTLRWorks is a novel grammar development environment for ANTLR v3 grammars written by Jean Bovet (with suggested use cases from Terence Parr). It combines an excellent grammar-aware editor with an interpreter for rapid prototyping and a language-agnostic debugger for isolating grammar errors. ANTLRWorks helps eliminate grammar nondeterminisms, one of the most difficult problems for beginners and experts alike, by highlighting nondeterministic paths in the syntax diagram associated with a grammar. ANTLRWorks goal is to make grammars more accessible to the average programmer, improve maintainability and readability of grammars by providing excellent grammar navigation and refactoring tools, and address the most common questions and problems encountered by grammar developers.

Used in: ListTagged(uses_antlr)?

Cyc, openCyc and ResearchCyc

Cyc is the main basis for common knowledge in our projects. Even though other ontologies can be used aswell as or aside Cyc, it has proved to be the fittest ontology for our purposes.

From the Homepage:

The Cyc Knowledge Server is a very large, multi-contextual knowledge base and inference engine developed by Cycorp. Cycorps goal is to break the "software brittleness bottleneck" once and for all by constructing a foundation of basic "common sense" knowledge--a semantic substratum of terms, rules, and relations--that will enable a variety of knowledge-intensive products and services. Cyc is intended to provide a "deep" layer of understanding that can be used by other programs to make them more flexible.

Used in: ListTagged(uses_cyc)?

Eclipse and xText

Eclipse and xText are the basis for our Eclipse plugins available via the CommonEclipse distribution.

Used in: ListTagged(uses_eclipse)?


From the IKVM Homepage:

IKVM.NET is an implementation of Java for Mono and the Microsoft .NET Framework. It includes the following components:

  • A Java Virtual Machine implemented in .NET
  • A .NET implementation of the Java class libraries
  • Tools that enable Java and .NET interoperability

Used in: ListTagged(uses_ikvm)?


From the SiDiff Homepage:

SiDiff is an meta model-independent approach to model comparison. It is primarily based on the notion of similarity between model elements, but covers other approaches like id-based or signature-based model comparison as well. The main advantage of SiDiff is that it offers a highly configurable environment and is therefore easily adaptable to any model type where models can be represented in a graph-like structure. The reader can find further information on many of the basic concepts behind the SiDiff-Framework on this site. If you are interested in more information on SiDiff, visit the SiDiff-Homepage.

Used in: ListTagged(uses_sidiff)?

Stanford NLP Software

From the The Stanford NLP Homepage:

The Stanford NLP Group makes several pieces of NLP software available to the public. These are statistical NLP (Natural Language Processing) toolkits for various major computational linguistics problems.

Stanford NER used in: ListTagged(uses_stanford_ner)?

Stanford Parser used in: ListTagged(uses_stanford_parser)?

Stanford POS Tagger used in: ListTagged(uses_stanford_tagger)?

YAGO - Yet Another Great Ontology


YAGO is a huge semantic knowledge base. Currently, YAGO knows more than 2 million entities (like persons, organizations, cities, etc.). It knows 20 million facts about these entities. Unlike many other automatically assembled knowledge bases, YAGO has a manually confirmed accuracy of 95%. YAGO is part of the YAGO-NAGA project at the Max-Planck Institute for Informatics in Saarbrücken/Germany.

Used in: ListTagged(uses_yago)?


yComp is a graphical user interface that accompanies GrGen.NET. It can be used to debug graph rewriting resuences or to display entire graphs (see for example).

Program Highlights (from the yComp homepage):

  • Read, layout and print of graphs in the .VCG, .GML and .YGF format
  • Layout support for program dependency graphs yielding high performance graph layout
  • Loop visualization

Used in: ListTagged(uses_ycomp)?


From the WordNet Homepage:

WordNet ® is a large lexical database of English, developed under the direction of George A. Miller. Nouns, verbs, adjectives and adverbs are grouped into sets of cognitive synonyms (synsets), each expressing a distinct concept. Synsets are interlinked by means of conceptual-semantic and lexical relations. The resulting network of meaningfully related words and concepts can be navigated with the browser. WordNet is also freely and publicly available for download. WordNets structure makes it a useful tool for computational linguistics and natural language processing.

Used in: ListTagged(uses_wordnet)?

XML Metadata Interchange - XMI

From Wikipedia:

The XML Metadata Interchange (XMI) is an Object Management Group (OMG) standard for exchanging metadata information via Extensible Markup Language (XML). It can be used for any metadata whose metamodel can be expressed in Meta-Object Facility (MOF). The most common use of XMI is as an interchange format for UML models, although it can also be used for serialization of models of other languages (metamodels).

Used in: ListTagged(uses_xmi)?

Back to Home/RECAA?/[tagged:internal internal]

Last modified 10 years ago Last modified on Jul 4, 2011 9:04:43 AM