annotate FaCT++-linux-v1.5.2/README @ 21:ffde1fafa066 draft

README corrected with proper installation instructions for mercurial (hg pull + hg update)
author Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Mon, 08 Oct 2012 13:10:44 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
21
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
1 This is a README file for the FaCT++ v1.1.6 reasoner distribution.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
2
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
3 This file contains following information
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
4
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
5 1. Introduction
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
6 2. Contents of distribution
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
7 3. Installation
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
8 4. Usage
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
9 5. Known problems
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
10 6. Contact information
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
11
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
12 1. Introduction
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
13 ---------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
14
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
15 FaCT++ is re-implementation of the well-known FaCT Description Logic (DL)
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
16 Reasoner. This reasoner currently supports the SROIQ(D) description Logic
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
17 language, which corresponds to OWL DL ontology language standard.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
18 The current version is 1.1.6. This is source distribution package so it can
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
19 be used on different platforms. It was tested on Windows, Linux and MacOS X.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
20
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
21 FaCT++ is distributed under GNU Public License (GPL). Full text of license
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
22 can be found at http://www.gnu.org/licenses/gpl.txt. Libraries that are
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
23 provided by the FaCT++ are distributed under the GNU Lesser Public License
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
24 (LGPL).
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
25
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
26 2. Contents of distribution
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
27 ---------------------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
28
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
29 file description
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
30
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
31 - src/ FaCT++ source code
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
32 - bin/ and lib/ FaCT++ precompiled binaries
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
33 - Models.lisp/ examples and infrastructure for FaCT++ lisp reasoner
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
34 - licensing/ license information
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
35 - README this file
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
36
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
37 3. Installation
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
38 ---------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
39
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
40 3.1 Building system from sources
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
41 --------------------------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
42
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
43 For building system you will need GNU c++ compiler and GNU make (version 3.3
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
44 and higher were tested). Change GENERAL_DEFINES macro in src/Makefile.include
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
45 to make it suitable for your computer. Then just run "make".
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
46
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
47 In order to compile DIG part you will also need an XML parsing library
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
48 Xerces-c (freely avaliable at http://xml.apache.org/xerces-c/). Make sure
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
49 that Xerces-c package is installed system-wide or you have environment
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
50 variable XERCESCROOT which points to Xerces-c root directory.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
51
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
52 In order to compile OWL-API interface (src/FaCTPlusPlusJNI/) it is necessary
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
53 to have JNI development files (jni.h) available.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
54
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
55 4. Usage
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
56 --------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
57
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
58 4.1 Standalone FaCT++ with lisp-like interface
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
59 ----------------------------------------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
60
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
61 Models.lisp directory of this distribution contains some files that
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
62 support FaCT++ reasoning as well as examples of KBs.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
63
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
64 To use standalone reasoner user should usually perform the following steps:
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
65 - create an ontology using the FaCT++ input language
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
66 - create a working directory (i.e. TEST) for FaCT++ using the command
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
67 create-new-test TEST ontology
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
68 where "ontology" is the name of the file containing your FaCT++ ontology
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
69 - inside TEST directory run
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
70 make
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
71
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
72 This will run FaCT++ reasoner on the newly created config-file for the
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
73 given ontology. The results of FaCT++'s reasoning appear in following files:
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
74
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
75 - Taxonomy.Roles contains information about the roles taxonomy;
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
76 - Taxonomy.log contains information about the concept taxonomy (if it was requested);
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
77 - dl.res contains full information about the ontology and some statistical
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
78 information about the reasoning process;
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
79
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
80 4.1.1 Ontology creation
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
81 -----------------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
82
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
83 There are three ways of creating an ontology for FaCT++
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
84
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
85 - Hand-made ontology. This way is not recommended for the end user.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
86 - Using OilEd (http://oiled.man.ac.uk). Load an ontology to the OilEd
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
87 then choose Export|FaCT++ lisp.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
88 - From the OWL source using the OWL Ontology Converter
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
89 (http://phoebus.cs.man.ac.uk:9999/OWL/Converter). Set the ontology URL to
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
90 the OWL ontology, choose FaCT++ as the output language, press Convert and then
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
91 copy the resulting ontology text to the FaCT++ ontology file.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
92
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
93 4.1.2 Reasoning process
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
94 -----------------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
95
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
96 There are a number of options that could influence the reasoning process. All
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
97 options, their format and description are given in the config file, which is
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
98 generated by the create-new-test script.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
99
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
100 4.2 FaCT++ as an HTTP DIG reasoner
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
101 ----------------------------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
102
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
103 Run FaCT++.Server with optional parameter "-port <port>". Default value of
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
104 <port> is 3490.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
105
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
106 This reasoner will avaliable at http://<host>:<port>, where <host> is
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
107 a name of a computer running FaCT++.Server.
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
108
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
109 4.3 FaCT++ as an HTTP OWL reasoner
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
110 ---------------------------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
111
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
112 Use FaCT++ as describe in section 4.2. Then connect your OWL editor like
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
113 Protege (http://protege.stanford.edu/) to the FaCT++ using address
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
114 http://<host>:<port>
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
115
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
116 5. Known problems
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
117 -----------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
118
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
119 6. Contact information
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
120 ----------------------
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
121
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
122 For any problems concerning FaCT++ please contact Dmitry Tsarkov
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
123 (tsarkov@cs.man.ac.uk). Any questions, suggestions or bug reports are
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
124 welcome!
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
125
ffde1fafa066 README corrected with proper installation instructions for mercurial (hg pull + hg update)
Mikel Egana Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
diff changeset
126 Last updated: 01/05/2007