Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/README @ 5:68935f90c2db

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added OWL imports closure
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sat, 17 Sep 2011 13:41:28 +0200
parents 4f60202c58d9
children 3740505b579c
comparison
equal deleted inserted replaced
4:4f60202c58d9 5:68935f90c2db
47 47
48 Ontology Pre Processor Language 48 Ontology Pre Processor Language
49 >> Execute an OPPL file against an OWL file 49 >> Execute an OPPL file against an OWL file
50 50
51 51
52
52 FORESEEN FEATURES 53 FORESEEN FEATURES
53 ================= 54 =================
54
55 OWL import closure.
56 55
57 Choose which inferred axioms to add to the output ontology (Right now 56 Choose which inferred axioms to add to the output ontology (Right now
58 only subsumption is available). 57 only subsumption is available).
59 58
60 Choose reasoner (Right now only Pellet is available). 59 Choose reasoner (Right now only Pellet is available).