  
 
 
 
|
 
Tools for OIL
- OILEd: http://img.cs.man.ac.uk/oil/
OilEd is a simple ontology editor which allows the user to build ontologies using
OIL. The intention behind OilEd is to provide a simple, freeware editor that demonstrates
the use of, and stimulates interest in, OIL. OilEd is not intended as a full ontology
development environment - it will not actively support the development of large-scale
ontologies, the migration and integration of ontologies, versioning, argumentation and
many other activities that are involved in ontology construction. Rather, it is the
"NotePad" of ontology editors, offering just enough functionality to allow users
to build ontologies and to demonstrate how we can use the FaCT reasoner to check those
ontologies for consistency.
OilEd is available as freeware, but we ask that you provide us with some details before
downloading. This will allow us to keep track of who is using it and why. OilEd will not
be fully supported or maintained although we will try and fix major problems or bugs.
- Protégé OIL-support: http://smi-web.stanford.edu/people/sintek/plugins/oil/
This working version provides support for OIL by Protégé
environment; by Michael Sintek (sintek@smi.stanford.edu).
- Ontology Engineering Environment OntoEdit.
OntoEdit was developed at the Knowledge
Management Group of Karlsruhe University. OntoEdit is embedded in a client-server
architecture called OntoServer that
integrates a repository of ontologies, an inference and query engine and different
translators. OntoServer delivers built-in general-purpose deductive reasoning facilities
for ontology engineering and applications clients.
- The FaCT System: http://www.cs.man.ac.uk/~horrocks/FaCT/
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier
that can also be used for modal logic satisfiability testing. The FaCT system includes two
reasoners, one for the logic SHF (ALC augmented with transitive roles, functional roles
and a role hierarchy) and the other for the logic SHIQ (SHF augmented with inverse roles
and qualified number restrictions), both of which use sound and complete tableaux
algorithms. FaCT's most interesting features are: its expressive logic (in particular the
SHIQ reasoner): SHIQ is sufficiently expressive to be used as a reasoner for the DLR
logic, and hence to reason with database schemata; its support for reasoning with
arbitrary knowledge bases (i.e., those containing general concept inclusion axioms); its
optimised tableaux implementation (which has now become the standard for DL systems), and
its CORBA based client-server architecture. Implementation and System Requirements: FaCT
is written in Common Lisp, and has been run successfully with several commercial and free
lisps, including Allegro, Liquid (formerly Lucid), Lispworks and GNU. As the source code
is available (under the GNU general public license), FaCT can be run on any system where a
suitable Lisp is available. Binaries (executable code) are also available (in addition to
the source code) for Linux and Windows systems, allowing FaCT to used without a locally
available Lisp. Moreover, a FaCT server running on a suitable host machine can be used
(via its CORBA interface) on any system that has network access to the server.
Availability and Usage: The FaCT system (including source code, installation instructions
and documentation) can by downloaded from the FaCT request page. The latest release
includes both the SHF and SHIQ reasoners as well as a selection of interfaces, one of
which will accept DLR directly. An alpha release version of the CORBA based client-server
architecture is also available for downloading (currently only for 386-Linux systems).
This uses a rather fragile JAVA component to provide the ORB interface: we are working on
a much more robust native Lisp ORB version, and this should be available soon (along with
a Windows/NT version). Java version 1.2 is required for the ORB interface, but binaries
are provided for the reasoners so Lisp is not required.
|
|
