Mercurial > repos > mikel-egana-aranguren > oppl

diff OPPL/README @ 4:4f60202c58d9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added option to push inferred subsumption axioms into output ontology
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Wed, 14 Sep 2011 19:52:06 +0200
parents 5255f1333cc4
children 68935f90c2db
line wrap: on
line diff
--- a/OPPL/README	Wed Sep 07 10:46:29 2011 +0200
+++ b/OPPL/README	Wed Sep 14 19:52:06 2011 +0200
@@ -49,6 +49,17 @@
 	>> Execute an OPPL file against an OWL file 
 
 
+FORESEEN FEATURES
+=================
+
+OWL import closure.
+
+Choose which inferred axioms to add to the output ontology (Right now 
+only subsumption is available).
+
+Choose reasoner (Right now only Pellet is available).
+
+
 
 TESTS
 =====