Get OWLIM and KIM software from their respective pages.

The files below represent software, databases and other resources that are distributed free of charge. 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.

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 into Upper Cyc Ontology

The mapping is expressed in terms of a CycL micro theory encoding of the EuroWordNet Top Ontology on top of the publicly available part of the Cyc knowledge base. 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]. Read more and download.