diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/OPPL/test-data/oppl_script/test.oppl	Fri Mar 09 16:15:27 2012 +0100
@@ -0,0 +1,8 @@
+?whole:CLASS,
+?part:CLASS
+SELECT
+?part SubClassOf part_of some ?whole WHERE ?part != Nothing
+BEGIN
+ADD ?part SubClassOf part_of only ?whole
+END;
+