Mercurial > repos > mikel-egana-aranguren > oppl
view OPPL/test.oppl @ 7:756f1f5798bf
Added (Properly) reasoner option (Pellet or HermiT)
author | Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
---|---|
date | Sun, 18 Sep 2011 12:57:22 +0200 |
parents | 46b9d13a44fc |
children |
line wrap: on
line source
?whole:CLASS, ?part:CLASS SELECT ?part SubClassOf part_of some ?whole WHERE ?part != Nothing BEGIN ADD ?part SubClassOf part_of only ?whole END;