changeset 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 46257c870179
children 8d4bbaa99b4a
files FaCT++-linux-v1.5.2/README README test-data/ontology/imports/catalog-v001.xml test-data/ontology/single/catalog-v001.xml test-data/ontology/single/test.owl test-data/oppl_script/test.oppl
diffstat 6 files changed, 326 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/FaCT++-linux-v1.5.2/README	Mon Oct 08 13:10:44 2012 +0200
@@ -0,0 +1,126 @@
+This is a README file for the FaCT++ v1.1.6 reasoner distribution.
+
+This file contains following information
+
+1. Introduction
+2. Contents of distribution
+3. Installation
+4. Usage
+5. Known problems
+6. Contact information
+
+1. Introduction
+---------------
+
+FaCT++ is re-implementation of the well-known FaCT Description Logic (DL) 
+Reasoner. This reasoner currently supports the SROIQ(D) description Logic
+language, which corresponds to OWL DL ontology language standard.
+The current version is 1.1.6. This is source distribution package so it can
+be used on different platforms. It was tested on Windows, Linux and MacOS X.
+
+FaCT++ is distributed under GNU Public License (GPL). Full text of license
+can be found at http://www.gnu.org/licenses/gpl.txt. Libraries that are 
+provided by the FaCT++ are distributed under the GNU Lesser Public License
+(LGPL).
+
+2. Contents of distribution
+---------------------------
+
+  file              description
+  
+- src/             FaCT++ source code
+- bin/ and lib/    FaCT++ precompiled binaries
+- Models.lisp/     examples and infrastructure for FaCT++ lisp reasoner
+- licensing/       license information
+- README           this file
+
+3. Installation
+---------------
+
+3.1 Building system from sources
+--------------------------------
+
+For building system you will need GNU c++ compiler and GNU make (version 3.3
+and higher were tested). Change GENERAL_DEFINES macro in src/Makefile.include
+to make it suitable for your computer. Then just run "make".
+
+In order to compile DIG part you will also need an XML parsing library
+Xerces-c (freely avaliable at http://xml.apache.org/xerces-c/). Make sure
+that Xerces-c package is installed system-wide or you have environment
+variable XERCESCROOT which points to Xerces-c root directory.
+
+In order to compile OWL-API interface (src/FaCTPlusPlusJNI/) it is necessary
+to have JNI development files (jni.h) available.
+
+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
+----------------------------------
+
+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
+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
--- a/README	Mon Oct 08 12:55:08 2012 +0200
+++ b/README	Mon Oct 08 13:10:44 2012 +0200
@@ -32,8 +32,9 @@
 
 2.- Move to galaxy-dist/tools/oppl/
 
-3.- Update local files: 
+3.- Pull changes adn update working copy: 
 
+hg pull
 hg update
 
 4.- Run install.sh: 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test-data/ontology/imports/catalog-v001.xml	Mon Oct 08 13:10:44 2012 +0200
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<catalog prefer="public" xmlns="urn:oasis:names:tc:entity:xmlns:xml:catalog">
+    <uri id="Imports Wizard Entry" name="http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine" uri="http://www.w3.org/TR/owl-guide/wine.rdf"/>
+    <group id="Folder Repository, directory=, recursive=true, Auto-Update=true, version=2" prefer="public" xml:base="">
+        <uri id="Automatically generated entry, Timestamp=1345195545608" name="http://cbgp.upm.es/merged.owl" uri="merge.owl"/>
+        <uri id="Automatically generated entry, Timestamp=1345195545608" name="http://www.cbgp.upm.es/merge_test.owl" uri="merge_test.owl"/>
+        <uri id="Automatically generated entry, Timestamp=1345195545608" name="duplicate:http://www.oeg-upm.net/inference_test.owl" uri="imports_inference_test.owl"/>
+        <uri id="Automatically generated entry, Timestamp=1345195545608" name="duplicate:http://www.oeg-upm.net/inference_test.owl" uri="imports_test.owl"/>
+    </group>
+</catalog>
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test-data/ontology/single/catalog-v001.xml	Mon Oct 08 13:10:44 2012 +0200
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<catalog prefer="public" xmlns="urn:oasis:names:tc:entity:xmlns:xml:catalog">
+    <group id="Folder Repository, directory=file:/home/mikel/UPM/OPPL_galaxy/OPPL/OPPL/test-data/ontology/single/, recursive=true, Auto-Update=true, version=2" prefer="public" xml:base="">
+        <uri id="Automatically generated entry, Timestamp=1348069913931" name="http://www.oeg-upm.net/OWLQueryGalaxyTest.owl" uri="OWLQueryGalaxyTest.owl"/>
+        <uri id="Automatically generated entry, Timestamp=1348069913931" name="http://www.oeg-upm.net/inference_test.owl" uri="inference_test.owl"/>
+        <uri id="Automatically generated entry, Timestamp=1348069913931" name="http://www.samuelcroset.com/debug.owl" uri="elk.owl"/>
+        <uri id="Automatically generated entry, Timestamp=1348069913931" name="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl" uri="test.owl"/>
+    </group>
+</catalog>
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test-data/ontology/single/test.owl	Mon Oct 08 13:10:44 2012 +0200
@@ -0,0 +1,172 @@
+<?xml version="1.0"?>
+
+
+<!DOCTYPE rdf:RDF [
+    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
+    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
+    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
+    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
+    <!ENTITY Ontology1314715036188 "http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/" >
+]>
+
+
+<rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#"
+     xml:base="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl"
+     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+     xmlns:Ontology1314715036188="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/"
+     xmlns:owl="http://www.w3.org/2002/07/owl#"
+     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
+     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
+    <owl:Ontology rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl"/>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Object Properties
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#transitive_prop -->
+
+    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#transitive_prop">
+        <rdf:type rdf:resource="&owl;TransitiveProperty"/>
+    </owl:ObjectProperty>
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part_of -->
+
+    <owl:ObjectProperty rdf:about="&Ontology1314715036188;part_of"/>
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/prop -->
+
+    <owl:ObjectProperty rdf:about="&Ontology1314715036188;prop"/>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Classes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#Ind_test_OPPL_query -->
+
+    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#Ind_test_OPPL_query"/>
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/OPPL_test -->
+
+    <owl:Class rdf:about="&Ontology1314715036188;OPPL_test"/>
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/Taxonomy_test -->
+
+    <owl:Class rdf:about="&Ontology1314715036188;Taxonomy_test"/>
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/child_class -->
+
+    <owl:Class rdf:about="&Ontology1314715036188;child_class">
+        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/>
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="&Ontology1314715036188;prop"/>
+                <owl:someValuesFrom rdf:resource="&Ontology1314715036188;filler"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </owl:Class>
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/filler -->
+
+    <owl:Class rdf:about="&Ontology1314715036188;filler">
+        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/>
+    </owl:Class>
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/parent_class -->
+
+    <owl:Class rdf:about="&Ontology1314715036188;parent_class">
+        <owl:equivalentClass>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="&Ontology1314715036188;prop"/>
+                <owl:someValuesFrom rdf:resource="&Ontology1314715036188;filler"/>
+            </owl:Restriction>
+        </owl:equivalentClass>
+        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/>
+    </owl:Class>
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part -->
+
+    <owl:Class rdf:about="&Ontology1314715036188;part">
+        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/>
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="&Ontology1314715036188;part_of"/>
+                <owl:someValuesFrom rdf:resource="&Ontology1314715036188;whole"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
+    </owl:Class>
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/whole -->
+
+    <owl:Class rdf:about="&Ontology1314715036188;whole">
+        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/>
+    </owl:Class>
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
+    // Individuals
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#A -->
+
+    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#A">
+        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#Ind_test_OPPL_query"/>
+        <Ontology1314715036188:prop rdf:resource="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#B"/>
+    </owl:NamedIndividual>
+    
+
+
+    <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#B -->
+
+    <owl:NamedIndividual rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#B">
+        <rdf:type rdf:resource="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#Ind_test_OPPL_query"/>
+    </owl:NamedIndividual>
+</rdf:RDF>
+
+
+
+<!-- Generated by the OWL API (version 3.3.1957) http://owlapi.sourceforge.net -->
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test-data/oppl_script/test.oppl	Mon Oct 08 13:10:44 2012 +0200
@@ -0,0 +1,7 @@
+?whole:CLASS,
+?part:CLASS
+SELECT
+?part SubClassOf part_of some ?whole WHERE ?part != Nothing
+BEGIN
+ADD ?part SubClassOf part_of only ?whole
+END;
\ No newline at end of file