Running and Downloading
[This page is a little dated, but the system works. Please feel free to use it. -- U.E., September 2009]
Wellington 1.0 is the first public release (May, 2000) of the description logics based knowledge
representation and reasoning system developed by the
Group of Logic and Computation (now the Group of Logic, Language and Computation) at King's College London.
It can be used to check the consistency of an ABox specified
in the description logic ALC, to check
a concept formula for consistency, or to check whether one concept formula
subsumes another one. Wellington 1.0 is implemented in Java 1.2, which in theory
should make it pretty platform-independent.
For all enquiries regarding the Wellington software please contact
The Wellington 1.0 User Manual
is available for download.
To run Wellington 1.0 online now you have the following options:
You may also choose to download Wellington and run it locally on your system.
The entire program is contained in the Java archive
Launch Wellington by clicking
Alternatively, if you have JDK 1.2 (or above) installed on your system, point the appletviewer to
this page, i.e. you should run
the following command:
If you want to run Wellington locally as an applet you have the
Alternatively, you can also run Wellington as a Java application.
This has the advantage that you will be able to save and open
knowledge bases as files on your system (which, for security reasons,
is not possible with the applet version).
If you have JDK 1.2 (or above) installed on your system you can run Wellington as
an applet using the appletviewer. Download the HTML file
StartWellington.html (into the same
directory as the Java archive) and run the following command:
If you have a fully Java 1.2 compatible browser (or something more recent), download
StartWellington.html, put it in the
same directory as wellington.jar, and open the HTML file in your browser.
If you have JDK 1.2 (or above) installed on your system you can start Wellington by
adding the Java archive wellington.jar to your classpath and executing
the class uk.ac.kcl.dcs.wellington.gui.MainApplication in the Java
Virtual Machine. Simply use the following command:
java -classpath wellington.jar uk.ac.kcl.dcs.wellington.gui.MainApplication