Mercurial > repos > mikel-egana-aranguren > oppl

comparison 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
comparison
equal deleted inserted replaced
3:5255f1333cc4 4:4f60202c58d9
45 45
46 Then execute the OPPL file against the OWL file: 46 Then execute the OPPL file against the OWL file:
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
51
52 FORESEEN FEATURES
53 =================
54
55 OWL import closure.
56
57 Choose which inferred axioms to add to the output ontology (Right now
58 only subsumption is available).
59
60 Choose reasoner (Right now only Pellet is available).
50 61
51 62
52 63
53 TESTS 64 TESTS
54 ===== 65 =====