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.
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 is a pragmatic DAML+OIL reasoner. It supports description logic (DL), more precisely SHQ(D) and was integrated with SESAME.
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:
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 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.
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]
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.
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
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).
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.