Galaxy |

Changeset 21:ffde1fafa066 (2012-10-08)

Previous changeset 20:46257c870179 (2012-10-08) Next changeset 22:8d4bbaa99b4a (2012-10-14)

Commit message:
README corrected with proper installation instructions for mercurial (hg pull + hg update)

modified:
README

added:
FaCT++-linux-v1.5.2/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

diff -r 46257c870179 -r ffde1fafa066 FaCT++-linux-v1.5.2/README
--- /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

diff -r 46257c870179 -r ffde1fafa066 README
--- 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:

diff -r 46257c870179 -r ffde1fafa066 test-data/ontology/imports/catalog-v001.xml
--- /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>

diff -r 46257c870179 -r ffde1fafa066 test-data/ontology/single/catalog-v001.xml
--- /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>

diff -r 46257c870179 -r ffde1fafa066 test-data/ontology/single/test.owl
--- /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"/>
+
+
+
+    
+
+
+
+
+    
+
+    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#transitive_prop">
+        <rdf:type rdf:resource="&owl;TransitiveProperty"/>
+    </owl:ObjectProperty>
+
+
+
+    
+
+    <owl:ObjectProperty rdf:about="&Ontology1314715036188;part_of"/>
+
+
+
+    
+
+    <owl:ObjectProperty rdf:about="&Ontology1314715036188;prop"/>
+
+
+
+    
+
+
+
+
+    
+
+    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#Ind_test_OPPL_query"/>
+
+
+
+    
+
+    <owl:Class rdf:about="&Ontology1314715036188;OPPL_test"/>
+
+
+
+    
+
+    <owl:Class rdf:about="&Ontology1314715036188;Taxonomy_test"/>
+
+
+
+    
+
+    <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>
+
+
+
+    
+
+    <owl:Class rdf:about="&Ontology1314715036188;filler">
+        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/>
+    </owl: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>
+
+
+
+    
+
+    <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>
+
+
+
+    
+
+    <owl:Class rdf:about="&Ontology1314715036188;whole">
+        <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/>
+    </owl:Class>
+
+
+
+    
+
+
+
+
+    
+
+    <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>
+
+
+
+    
+
+    <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>
+
+
+
+
+

diff -r 46257c870179 -r ffde1fafa066 test-data/oppl_script/test.oppl
--- /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