[an error occurred while processing this directive]

<h1 align=center>
Software
</h1>

<h4> Ontolingua </h4>

The Ontolingua ontology development environment provides a suite of
ontology authoring tools and a library of modular, reusable
ontologies. The environment is available as a World Wide Web service
and has a substantial user community. The tools in Ontolingua are
oriented toward the authoring of ontologies by assembling and
extending ontologies obtained from thea library.  Try our private <a
href="http://o2k.stanford.edu:5920/"> UMBC Ontolingua server</a>.

<h4>OKBC </h4>

Open Knowledge Base Connectivity (<a
href="http://www.ai.sri.com/~okbc/">OKBC</a>) is an application
programming interface for accessing KRSs, and was developed to enable
the costruction of reusable KB tools. OKBC improves upon its
predecessor, the Generic Frame Protocol (GFP), in several significant
ways. OKBC can be used with a much larger range of systems because its
knowledge model includes general assertions and has a better way of
controlling inference. OKBC can be used on practically any platform
because it supports network transparency and has implementations for
multiple programming languages.



<h4>NeoClassic </h4>

<a href= "http://www.research.att.com/sw/tools/classic/">
Classic</a> is a knowledge representation(KR) system designed for
applications where only limited expressive power is necessary, but
rapid responses to questions are essential. Classic is based on a
description logic(DL), which gives it an object-centered flavor, and
thus most of the features available in semantic networks are also
available in Classic. Classic has a framework that allows users to
represent descriptions, concepts, roles, individuals and
rules. Classic allows for both primitive concepts, similar to the
classes and frames of other knowledge representation systems and
object-oriented programming languages, and defined concepts, i.e.,
concepts that have both necessary and sufficient conditions for
membership. Concepts are automatically organized into a generalization
taxonomy and objects are automatically made instances of all concepts
for which they pass the membership test. The other type of reasoning
that Classic does is to detect inconsistencies in information that it
is told. In the presence of defined concepts these operations are
non-trivial and useful. Classic is one of a number of implemented
description logics. Some other implemented systems are mentioned on
this site, or for more complete information about description logics,
see the official description logic home page .

<h4> Loom </h4>

<a href="http://www.isi.edu/isd/LOOM/"> Loom </a> is a language and
environment for constructing intelligent applications. The heart of
Loom is a knowledge representation system that is used to provide
deductive support for the declarative portion of the Loom
language. Declarative knowledge in Loom consists of definitions,
rules, facts, and default rules. A deductive engine called a
classifier utilizes forward-chaining, semantic unification and
object-oriented truth maintainance technologies in order to compile
the declarative knowledge into a network designed to efficiently
support on-line deductive query processing.

<h4> PowerLoom </h4>

<a href="http://www.isi.edu/isd/LOOM/"> PowerLoom</a> provides a
language and environment for constructing intelligent applications. It
is the successor to the Loom knowledge representation
system. PowerLoom uses a fully expressive, logic-based representation
language (a variant of KIF). It uses a Prolog-technology backward
chainer as its deductive component. The backward chainer is (not yet)
a complete theorem prover, but it can handle Horn rules, negation, and
simple equality reasoning. Contrary to Prolog, it also handles
recursive rules without the risk of infinite recursion. Once the
classifier is completed, it will be able to classify descriptions
expressed in full first order predicate calculus