Completed research projects and older efforts have created various products (software, databases and other resources). Some of them are provided free of charge below. However, there are different limitations that apply to them - for each case, be sure to read "Terms of Use". If nothing else is mentioned, please follow the General Terms of Use. Our commercial products are available from their respective pages, eg OWLIM, KIM

OntoMap

OntoMap is a knowledge representation formalism, a reasoner, and a web portal for upper-level ontologies and lexical semantics. The KR language is more complex than RDF(S) and is pretty similar to OWL Lite. The portal provided access to the most popular upper-level and lexical resources, together with hand-crafted mappings between them. It includes a number of alternative viewers: HTML, DHTML, stand-alone GUI application.

Ontology Middleware Module

The Ontology Middleware Module is an enterprise back-end for formal knowledge management. It allows knowledge representation and management in RDF(S) and languages structurally compatible with it, such as, DAML+OIL and OWL.

BOR Reasoner

BOR is a pragmatic DAML+OIL reasoner. It supports description logic (DL), more precisely SHQ(D) and was integrated with SESAME.

SWWS Toolset

The SWWS Toolset is part of the software infrastructure of the SWWS project. It is implemented in Java so it can be deployed successfully on any Java enabled system. It consists of two components:

• SWWS Studio is a graphical designer tool (IDE) for modeling semantic web service descriptions. It is one of the few WSMO Standard-compliant web service IDEs.
• SWWS Repository is a server-side repository, serving as a centralized registry where semantic web service descriptions are stored.

Extrusion Tools Expert Selector

ETES is an extrusion tool management environment maintaining a database of existing tools and automatically finding the most appropriate tools for reuse. Image processing, pattern matching and non-linear optimization techniques are used. The system has its own graphical editor and a database management system. ETES served as a basis for the ALEX Tool Matching system of EngView Systems, marketed to extrusion tools manufacturers worldwide. 

EcoRisk

EcoRisk is an intelligent environment for spill modeling and decision support for environmental emergencies based on substance characteristics database, geographical information subsystem, numerical models of environmental processes, knowledge-based decision support.

Intelligent Workstation Architecture

IWA is a framework integrating knowledge bases, hypertext documents, active forms and databases in a highly interactive environment. The heart of the system is a Boolean constraint propagation network which is best explained in [MarinovAlexievDjonev94]

KIM Plugin

This is a plug-in for Internet Explorer and Firefox that performs semantic annotation of named entities over unstructured or semi-structured web content online. It is based on the KIM Platform. It is not available for download anymore.

Java2Flora Utility

The main purpose of this utility is to allow a transparent usage of Flora2 from Java. It uses Interprolog to access the XSB from Java, and, via some additional piece of custom code added, it allows its users to evaluate FLogic expressions. The download package contains a pre-build utility jar, javadoc, and some exemplary code. Download Java2Flora Utility

Upper Cyc Ontology as MS Access Database

The publicly available upper-level of the Cyc knowledge base in an easy to use database. Read more and download.
(Cyc is now available in linked data formats, so this download is only of historic interest).

Mapping EuroWordNet Top Ontology to Upper Cyc Ontology

The mapping is expressed in terms of a CycL micro theory encoding  the EuroWordNet Top Ontology on top of the publicly available part of the Cyc knowledge base. The corresponding Cyc concepts are represented with: their glosses, direct and indirect super-classes (#$genls), direct and indirect classes (#$isa). This approach was chosen because such a mapping is impossible just by means of equivalence and subsumption relations. However we provide also a simplified relational view that is sufficient for most purposes. 

More theoretical details could be found in [KiryakovSimov2000b]. A database implementing the mapping of EuroWordNet Top ontology into Upper Cyc Ontology is available for download as a MS Access database.  Read more and download.