comparison OPPL/test-data/oppl_script/test.oppl @ 11:6ca67b155e32

Imports simplified, new tool for inference added
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Fri, 09 Mar 2012 16:15:27 +0100
parents
children 622cde484f4c
comparison
equal deleted inserted replaced
10:3f31c0eb7539 11:6ca67b155e32
1 ?whole:CLASS,
2 ?part:CLASS
3 SELECT
4 ?part SubClassOf part_of some ?whole WHERE ?part != Nothing
5 BEGIN
6 ADD ?part SubClassOf part_of only ?whole
7 END;
8