diff OPPL/README @ 10:3f31c0eb7539

Interface improved

--- a/OPPL/README	Tue Oct 18 10:30:16 2011 +0200
+++ b/OPPL/README	Thu Jan 12 10:20:00 2012 +0100
@@ -10,7 +10,7 @@
 INSTALLATION
 ============
 
-1.- Stop galaxy.
+1.- Stop Galaxy.
 
 2.- Copy oppl_galaxy_tool.jar, FaCT++-linux-v1.5.2/ FaCT++-OSX-v1.5.2/ 
 and oppl_galaxy_tool_lib/ to /galaxy-dist/tool-data/shared/jars/
@@ -25,7 +25,7 @@
     <tool file="OPPL/oppl.xml"/>
   </section>
 
-6.- Start galaxy.
+6.- Start Galaxy.
 
 
 
@@ -43,13 +43,16 @@
 Ontology Pre Processor Language
 	>> Execute an OPPL file against an OWL file 
 
-An ontology produced by another galaxy tools can also be used.
+An ontology produced by another galaxy tool can also be used.
 
 Test.oppl and test.owl can be used as examples. More OPPL-Galaxy 
 examples can be obtained at http://miuras.inf.um.es/OPPL-Galaxy/, and 
 general OPPL script that may be useful to use with OPPL-Galaxy can be 
 obtained at http://oppl2.sourceforge.net/taggedexamples/.
 
+A public instance of Galaxy with pre-installed OPPL-Galaxy can be used 
+at http://sele.inf.um.es:8080/.
+
 
 
 FORESEEN FEATURES
@@ -58,7 +61,11 @@
 Choose which inferred axioms to add to the output ontology (Right now 
 only subsumption between named classes is available).
 
-OWLLink support.
+Rendering definition (URI fragment, label, etc).
+
+XML catalog support for imported URIs.
+
+OWLLink and Racer support.