Open Source

diversicon

DIVERSICON

The open-source Diversicon Framework helps application developers in finding, integrating, and accessing lexico-semantic domain knowledge for domain-specific natural . . .

SMARTCOLLECTIVES

SMARTCOLLECTIVES

SmartCollectives provides you an open source toolkit for easilybuilding applications able to access combined resources provided by teams of diverse people. Developed by the . . .

scroll

SCROLL

Natural language text is pervasive in structured data sets—relational database tables, spreadsheets, XML documents, RDF graphs, etc.—requiring data processing applications to . . .

smatch

SMATCH

S-Match is a semantic matching framework, which provides several semantic ontology matching algorithms and facilities for developing new ones. S-Match was heavily used inside . . .

nusmv

NUSMV

NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs. NuSMV has been designed to be an open architecture for model checking, which can . . .

Logo

GETFOL

The GETFOL system is an experimental program for embedding real world knowledge into data structures that can be manipulated by computers. The current implementation . . .