4. Usage
--------

4.1 Standalone FaCT++ with lisp-like interface
----------------------------------------------

Models.lisp directory of this distribution contains some files that
support FaCT++ reasoning as well as examples of KBs.

To use standalone reasoner user should usually perform the following steps:
- create an ontology using the FaCT++ input language
- create a working directory (i.e. TEST) for FaCT++ using the command
        create-new-test TEST ontology
  where "ontology" is the name of the file containing your FaCT++ ontology
- inside TEST directory run
        make
        
This will run FaCT++ reasoner on the newly created config-file for the
given ontology. The results of FaCT++'s reasoning appear in following files:

- Taxonomy.Roles contains information about the roles taxonomy;
- Taxonomy.log contains information about the concept taxonomy (if it was requested);
- dl.res contains full information about the ontology and some statistical 
  information about the reasoning process;

4.1.1 Ontology creation
-----------------------

There are three ways of creating an ontology for FaCT++

- Hand-made ontology. This way is not recommended for the end user.
- Using OilEd (http://oiled.man.ac.uk). Load an ontology to the OilEd
  then choose Export|FaCT++ lisp.
- From the OWL source using the OWL Ontology Converter 
  (http://phoebus.cs.man.ac.uk:9999/OWL/Converter). Set the ontology URL to
  the OWL ontology, choose FaCT++ as the output language, press Convert and then
  copy the resulting ontology text to the FaCT++ ontology file.

4.1.2 Reasoning process
-----------------------

There are a number of options that could influence the reasoning process. All 
options, their format and description are given in the config file, which is
generated by the create-new-test script.

4.2 FaCT++ as an HTTP DIG reasoner
----------------------------------

unsupported:
Run FaCT++.Server with optional parameter "-port <port>". Default value of
<port> is 3490.

This reasoner will avaliable at http://<host>:<port>, where <host> is
unsupported:
a name of a computer running FaCT++.Server.

4.3 FaCT++ as an HTTP OWL reasoner
---------------------------------

Use FaCT++ as describe in section 4.2. Then connect your OWL editor like
Protege (http://protege.stanford.edu/) to the FaCT++ using address 
http://<host>:<port>

5. Known problems
-----------------

6. Contact information
----------------------

For any problems concerning FaCT++ please contact Dmitry Tsarkov
(tsarkov@cs.man.ac.uk).  Any questions, suggestions or bug reports are
welcome!

Last updated: 01/05/2007