Mercurial > repos > mikel-egana-aranguren > oppl

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

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