Optimization of DDR rules

-# baseURI: null
-
-@prefix composite:  <http://www.topbraid.org/2007/05/composite.owl#> .
-@prefix forms:   <http://www.topbraid.org/2007/01/forms.owl#> .
-@prefix inference:  <http://www.topbraid.org/2007/06/inference.owl#> .
-@prefix owl:     <http://www.w3.org/2002/07/owl#> .
-@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
-@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
-@prefix visual:  <http://topbraid.org/visual#> .
-@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
-
-[]    rdf:type inference:Configuration ;
-      composite:child
-              [ rdf:type <http://spinrdf.org/spin#TopSPIN> ;
-                <http://spinrdf.org/spin#topSPINOptions>
-                        "singlePass" ;
-                composite:index "0"^^xsd:int
-              ] ;
-      inference:completeMode
-              "true"^^xsd:boolean .
+# Saved by TopBraid on Fri Aug 05 18:01:44 PDT 2011
+# baseURI: null
+
+@prefix composite:  <http://www.topbraid.org/2007/05/composite.owl#> .
+@prefix forms:   <http://www.topbraid.org/2007/01/forms.owl#> .
+@prefix inference:  <http://www.topbraid.org/2007/06/inference.owl#> .
+@prefix owl:     <http://www.w3.org/2002/07/owl#> .
+@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix visual:  <http://topbraid.org/visual#> .
+@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
+
+[]    rdf:type inference:Configuration ;
+      composite:child
+              [ rdf:type <http://spinrdf.org/spin#TopSPIN> ;
+                <http://spinrdf.org/spin#topSPINOptions>
+                        "singlePass" ;
+                composite:index "0"^^xsd:int
+              ] ;
+      inference:completeMode
+              "true"^^xsd:boolean .