Search engine and data mining applications and ClueWeb datasets.
The Lemur Project develops search engines, browser toolbars, text analysis tools, and data resources that support research and development of information retrieval and text mining software, including the Indri search engine in C++, the Galago search engine research framework in Java, the RankLib learning to rank library, ClueWeb09 and ClueWeb12 datasets and the Sifaka data mining application.
db4o is the world's leading open source object database for Java and .NET. Leverage fast native object persistence, ACID transactions, query-by-example, S.O.D.A object query API, automatic class schema evolution, small size (http://developer.db4o.com)
Deductive Database with Datalog, RA, TRC, DRC and SQL
The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS).
Intellect Modeling Kit - full intellect-based apps development suite
Intellect Modeling Kit is an alternative to traditional Artificial Intelligence, intended to build apps assisting human intellect on the steps of its activity: * Observation * Producing propositions based on knowledge * Elimination of impossible propositions * Selection and verification of the most appropriate propositions * Memorizing - converting data to information and new knowledge item creation * Abstraction finding – building artificial objects, representing group of real objects featuring typical signs of group Any human knowledge written and spoken can be uploaded to IMK in a straight way by any expert not familiar with software coding. The IMK components are designed to create ready-to-use software application using simple text files provided by people. IMK accepts human knowledge and develops new knowledge together with people. The activity of IMK could be verified by human expert on every stage. IMK assists intellectual activity, but does not replace us.
IntelliJAF is an extensible platform for building modular and extensible Java applications. It provides a core of plugins/services designed to build with minimum effort client/server applications.