package owl_rules_n3_0 import n3_project.helpers.Triple; import n3_project.helpers.TripleList; import n3_project.helpers.TripleResult; import unif.TripleUser; import eulergui.inference.drools.impl.Assignment; import eulergui.inference.drools.impl.DeferredPropertyAssignment; import eulergui.inference.drools.impl.DeferredMethodCall; import eulergui.inference.drools.impl.DroolsN3EngineRuntime; import java.util.ArrayList; import java.util.Map; global Map /**/ object2rule; declare Assignment @typesafe( false ) end // ---------- N3 rule 0 ---------- /* { ?P ?Q. ?S ?P ?O. } => { ?O ?Q ?S. } . */ rule "owl-rules.n3 0" when $Triple_1 : Triple( $P : subject, predicate == "", $Q : object ) $Triple_2 : Triple( $S : subject, predicate == $P, $O : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $O ); newTriple.setPredicate( $Q.toString() ); newTriple.setObject( $S ); insertLogical( newTriple ); end // ---------- N3 rule 1 ---------- /* { ?P . ?S ?P ?O. } => { ?O ?P ?S. } . */ rule "owl-rules.n3 1" when $Triple_1 : Triple( $P : subject, predicate == "", object == "" ) $Triple_2 : Triple( $S : subject, predicate == $P, $O : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $O ); newTriple.setPredicate( $P.toString() ); newTriple.setObject( $S ); insertLogical( newTriple ); end // ---------- N3 rule 2 ---------- /* { ?P . ?X ?P ?O. ?S ?P ?X. } => { ?S ?P ?O. } . */ rule "owl-rules.n3 2" when $Triple_1 : Triple( $P : subject, predicate == "", object == "" ) $Triple_2 : Triple( $X : subject, predicate == $P, $O : object ) $Triple_3 : Triple( $S : subject, predicate == $P, object == $X ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $S ); newTriple.setPredicate( $P.toString() ); newTriple.setObject( $O ); insertLogical( newTriple ); end // ---------- N3 rule 3 ---------- /* { ?R ?P. ?R ?Y. ?X ?R. } => { ?X ?P ?Y. } . */ rule "owl-rules.n3 3" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $Y : object ) $Triple_3 : Triple( $X : subject, predicate == "", object == $R ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( $P.toString() ); newTriple.setObject( $Y ); insertLogical( newTriple ); end // ---------- N3 rule 4 ---------- /* { ?P . ?X ?P ?O. ?Y ?P ?O. } => { ?X ?Y. } . */ rule "owl-rules.n3 4" when $Triple_1 : Triple( $P : subject, predicate == "", object == "" ) $Triple_2 : Triple( $X : subject, predicate == $P, $O : object ) $Triple_3 : Triple( $Y : subject, predicate == $P, object == $O ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Y ); insertLogical( newTriple ); end // ---------- N3 rule 5 ---------- /* { ?P . ?S ?P ?X. ?S ?P ?Y. } => { ?X ?Y. } . */ rule "owl-rules.n3 5" when $Triple_1 : Triple( $P : subject, predicate == "", object == "" ) $Triple_2 : Triple( $S : subject, predicate == $P, $X : object ) $Triple_3 : Triple( subject == $S, predicate == $P, $Y : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Y ); insertLogical( newTriple ); end // ---------- N3 rule 6 ---------- /* { ?L ?A. ?L ?B. ?M ?C. ?M ?D. ?A ?C. ?B ?D. } => { ?L ?M. } . */ rule "owl-rules.n3 6" when $Triple_1 : Triple( $A : subject, predicate == "", $C : object ) $Triple_2 : Triple( $B : subject, predicate == "", $D : object ) then Triple newTriple; TripleResult newTripleResult; String $L = Triple.resource("L") ; String $M = Triple.resource("M") ; newTriple = new Triple( ); newTriple.setSubject( $L ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $M ); insertLogical( newTriple ); end // ---------- N3 rule 7 ---------- /* { ?C1 ?A. ?A ?P1. ?A ?C3. ?P1 ?C1. ?P1 ?C3. ?P1 . ?P1 ?P9. ?C1 ?B. ?B ?P3. ?B ?C5. ?P3 ?C1. ?P3 ?C5. ?P3 . ?P3 ?P7. ?C5 ?C. ?C ?P2. ?C ?C3. ?P2 ?C5. ?P2 ?C3. ?P2 . ?P2 ?P8. ?C5 ?D. ?D ?P7. ?D ?X1. ?X1 ?Y1. ?C3 ?F. ?F ?P8. ?F ?X2. ?X2 ?Y2. ?C3 ?G. ?G ?P9. ?G ?X3. ?C3 ?E. ?E ?Z. ?E . _:list2 ?Y1. _:list1 ?Y2. _:list1 . _:list2 _:list1. _:list2 ?Y3. } => { ?X3 ?Y3. } . */ rule "owl-rules.n3 7" when $Triple_1 : Triple( $C1 : subject, predicate == "", $A : object ) $Triple_2 : Triple( subject == $A, predicate == "", $P1 : object ) $Triple_3 : Triple( subject == $A, predicate == "", $C3 : object ) $Triple_4 : Triple( subject == $P1, predicate == "", object == $C1 ) $Triple_5 : Triple( subject == $P1, predicate == "", object == $C3 ) $Triple_6 : Triple( subject == $P1, predicate == "", object == "" ) $Triple_7 : Triple( subject == $P1, predicate == "", $P9 : object ) $Triple_8 : Triple( subject == $C1, predicate == "", $B : object ) $Triple_9 : Triple( subject == $B, predicate == "", $P3 : object ) $Triple_10 : Triple( subject == $B, predicate == "", $C5 : object ) $Triple_11 : Triple( subject == $P3, predicate == "", object == $C1 ) $Triple_12 : Triple( subject == $P3, predicate == "", object == $C5 ) $Triple_13 : Triple( subject == $P3, predicate == "", object == "" ) $Triple_14 : Triple( subject == $P3, predicate == "", $P7 : object ) $Triple_15 : Triple( subject == $C5, predicate == "", $C : object ) $Triple_16 : Triple( subject == $C, predicate == "", $P2 : object ) $Triple_17 : Triple( subject == $C, predicate == "", object == $C3 ) $Triple_18 : Triple( subject == $P2, predicate == "", object == $C5 ) $Triple_19 : Triple( subject == $P2, predicate == "", object == $C3 ) $Triple_20 : Triple( subject == $P2, predicate == "", object == "" ) $Triple_21 : Triple( subject == $P2, predicate == "", $P8 : object ) $Triple_22 : Triple( subject == $C5, predicate == "", $D : object ) $Triple_23 : Triple( subject == $D, predicate == "", object == $P7 ) $Triple_24 : Triple( subject == $D, predicate == "", $X1 : object ) $Triple_25 : Triple( subject == $X1, predicate == "", $Y1 : object ) $Triple_26 : Triple( subject == $C3, predicate == "", $F : object ) $Triple_27 : Triple( subject == $F, predicate == "", object == $P8 ) $Triple_28 : Triple( subject == $F, predicate == "", $X2 : object ) $Triple_29 : Triple( subject == $X2, predicate == "", $Y2 : object ) $Triple_30 : Triple( subject == $C3, predicate == "", $G : object ) $Triple_31 : Triple( subject == $G, predicate == "", object == $P9 ) $Triple_32 : Triple( subject == $G, predicate == "", $X3 : object ) $Triple_33 : Triple( subject == $C3, predicate == "", $E : object ) then Double $Y3 = new Double( Double.parseDouble( Triple.n3ValueToNumeric($Y1 )) * Double.parseDouble( Triple.n3ValueToNumeric($Y2 )) ); Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X3 ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Y3 ); insertLogical( newTriple ); end // ---------- N3 rule 8 ---------- /* { ?C1 ?A. ?A ?P1. ?A ?C3. ?P1 ?C1. ?P1 ?C3. ?P1 . ?P1 ?P9. ?C1 ?B. ?B ?P3. ?B ?C5. ?P3 ?C1. ?P3 ?C5. ?P3 . ?P3 ?P7. ?C5 ?C. ?C ?P2. ?C ?C3. ?P2 ?C5. ?P2 ?C3. ?P2 . ?P2 ?P8. ?C5 ?D. ?D ?P7. ?D ?X1. ?C3 ?F. ?F ?P8. ?F ?X2. ?C3 ?G. ?G ?P9. ?G ?X3. ?X3 ?Y3. ?C3 ?E. ?E ?Z. ?E . ?O ?L1. ?L1 ?X1. ?L1 ?X2. ?O ?L2. ?L2 ?Z1. ?L2 ?Z2. _:list5 ?Y3. _:list4 ?Y2. _:list4 . _:list5 _:list4. _:list5 ?Y1. } => { ?Z2 ?Y2. } . */ rule "owl-rules.n3 8" when $Triple_1 : Triple( $C1 : subject, predicate == "", $A : object ) $Triple_2 : Triple( subject == $A, predicate == "", $P1 : object ) $Triple_3 : Triple( subject == $A, predicate == "", $C3 : object ) $Triple_4 : Triple( subject == $P1, predicate == "", object == $C1 ) $Triple_5 : Triple( subject == $P1, predicate == "", object == $C3 ) $Triple_6 : Triple( subject == $P1, predicate == "", object == "" ) $Triple_7 : Triple( subject == $P1, predicate == "", $P9 : object ) $Triple_8 : Triple( subject == $C1, predicate == "", $B : object ) $Triple_9 : Triple( subject == $B, predicate == "", $P3 : object ) $Triple_10 : Triple( subject == $B, predicate == "", $C5 : object ) $Triple_11 : Triple( subject == $P3, predicate == "", object == $C1 ) $Triple_12 : Triple( subject == $P3, predicate == "", object == $C5 ) $Triple_13 : Triple( subject == $P3, predicate == "", object == "" ) $Triple_14 : Triple( subject == $P3, predicate == "", $P7 : object ) $Triple_15 : Triple( subject == $C5, predicate == "", $C : object ) $Triple_16 : Triple( subject == $C, predicate == "", $P2 : object ) $Triple_17 : Triple( subject == $C, predicate == "", object == $C3 ) $Triple_18 : Triple( subject == $P2, predicate == "", object == $C5 ) $Triple_19 : Triple( subject == $P2, predicate == "", object == $C3 ) $Triple_20 : Triple( subject == $P2, predicate == "", object == "" ) $Triple_21 : Triple( subject == $P2, predicate == "", $P8 : object ) $Triple_22 : Triple( subject == $C5, predicate == "", $D : object ) $Triple_23 : Triple( subject == $D, predicate == "", object == $P7 ) $Triple_24 : Triple( subject == $D, predicate == "", $X1 : object ) $Triple_25 : Triple( subject == $C3, predicate == "", $F : object ) $Triple_26 : Triple( subject == $F, predicate == "", object == $P8 ) $Triple_27 : Triple( subject == $F, predicate == "", $X2 : object ) $Triple_28 : Triple( subject == $C3, predicate == "", $G : object ) $Triple_29 : Triple( subject == $G, predicate == "", object == $P9 ) $Triple_30 : Triple( subject == $G, predicate == "", $X3 : object ) $Triple_31 : Triple( subject == $X3, predicate == "", $Y3 : object ) $Triple_32 : Triple( subject == $C3, predicate == "", $E : object ) $Triple_33 : Triple( $O : subject, predicate == "", $L1 : object ) $Triple_34 : Triple( subject == $L1, predicate == "", object == $X1 ) $Triple_35 : Triple( subject == $L1, predicate == "", object == $X2 ) $Triple_36 : Triple( subject == $O, predicate == "", $L2 : object ) $Triple_37 : Triple( subject == $L2, predicate == "", $Z1 : object ) $Triple_38 : Triple( subject == $L2, predicate == "", $Z2 : object ) then Triple newTriple; TripleResult newTripleResult; String $Y2 = Triple.resource("Y2") ; newTriple = new Triple( ); newTriple.setSubject( $Z2 ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Y2 ); insertLogical( newTriple ); end // ---------- N3 rule 9 ---------- /* { ?A ?L. ?L ?X. ?L ?Y. ?X ?Y. } => { ?X ?Y. } . */ rule "owl-rules.n3 9" when $Triple_1 : Triple( $A : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $X : object ) $Triple_3 : Triple( subject == $L, predicate == "", $Y : object ) # ?X log:notEqualTo ?Y Triple ( this == $Triple_2, object != $Y ) then System.out.println( "# log:notEqualTo RT : " + $Y + " " + $X ); Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Y ); insertLogical( newTriple ); end // ---------- N3 rule 10 ---------- /* { ?A ?B. ?X ?A. ?Y ?B. } => { ?X ?Y. } . */ rule "owl-rules.n3 10" when $Triple_1 : Triple( $A : subject, predicate == "", $B : object ) $Triple_2 : Triple( $X : subject, predicate == "", object == $A ) $Triple_3 : Triple( $Y : subject, predicate == "", object == $B ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Y ); insertLogical( newTriple ); end // ---------- N3 rule 11 ---------- /* { ?A ?B. ?B ?A. } => { ?A ?B. } . */ rule "owl-rules.n3 11" when $Triple_1 : Triple( $A : subject, predicate == "", $B : object ) $Triple_2 : Triple( subject == $B, predicate == "", object == $A ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 12 ---------- /* { ?A ?C. ?B ?C. } => { ?A ?B. } . */ rule "owl-rules.n3 12" when $Triple_1 : Triple( $A : subject, predicate == "", $C : object ) $Triple_2 : Triple( $B : subject, predicate == "", object == $C ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 13 ---------- /* { ?A ?P. ?A ?Q. ?A ?V. ?P ?A. ?P . ?Q ?D. ?Q . } => { ?P ?Q. } . */ rule "owl-rules.n3 13" when $Triple_1 : Triple( $A : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $A, predicate == "", $Q : object ) $Triple_3 : Triple( subject == $A, predicate == "", $V : object ) $Triple_4 : Triple( subject == $P, predicate == "", object == $A ) $Triple_5 : Triple( subject == $P, predicate == "", object == "" ) $Triple_6 : Triple( subject == $Q, predicate == "", $D : object ) $Triple_7 : Triple( subject == $Q, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Q ); insertLogical( newTriple ); end // ---------- N3 rule 14 ---------- /* { ?A ?P. ?A ?V. ?D ?A. ?P ?D. ?P . ?B ?Q. ?B ?V. ?D ?B. ?Q ?D. ?Q . } => { ?P ?Q. } . */ rule "owl-rules.n3 14" when $Triple_1 : Triple( $A : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $A, predicate == "", $V : object ) $Triple_3 : Triple( $D : subject, predicate == "", object == $A ) $Triple_4 : Triple( subject == $P, predicate == "", object == $D ) $Triple_5 : Triple( subject == $P, predicate == "", object == "" ) $Triple_6 : Triple( $B : subject, predicate == "", $Q : object ) $Triple_7 : Triple( subject == $B, predicate == "", object == $V ) $Triple_8 : Triple( subject == $D, predicate == "", object == $B ) $Triple_9 : Triple( subject == $Q, predicate == "", object == $D ) $Triple_10 : Triple( subject == $Q, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Q ); insertLogical( newTriple ); end // ---------- N3 rule 15 ---------- /* { ?B ?P1. ?B ?X. ?X ?L. ?L ?I1. ?I1 ?P2. ?I1 . ?L ?I2. ?I2 ?P3. ?I2 . ?L ?I3. ?I3 ?P2. ?I3 ?C. ?L ?I4. ?I4 ?P3. ?I4 ?U. ?U2 ?P2. ?U2 . ?U ?U2. ?L ?I5. ?I5 ?P3. ?I5 ?V. ?V2 ?P3. ?V2 . ?V ?V2. ?L ?I6. ?I6 ?P3. ?I6 ?W. ?W2 ?P2. ?W2 ?C. ?W ?W2. ?C ?C1. ?C1 ?P8. ?C1 ?C2. ?P8 ?P2. ?D2 ?P7. ?D2 ?C3. ?P7 ?P3. ?C2 ?D2. ?D3 ?P9. ?D3 ?C4. ?P9 ?P1. ?C3 ?D3. ?C4 ?A. ?P3 . ?D ?A. ?D ?B. } => { ?D . } . */ rule "owl-rules.n3 15" when $Triple_1 : Triple( $B : subject, predicate == "", $P1 : object ) $Triple_2 : Triple( subject == $B, predicate == "", $X : object ) $Triple_3 : Triple( subject == $X, predicate == "", $L : object ) $Triple_4 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_5 : Triple( subject == $I1, predicate == "", $P2 : object ) $Triple_6 : Triple( subject == $I1, predicate == "", object == "" ) $Triple_7 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_8 : Triple( subject == $I2, predicate == "", $P3 : object ) $Triple_9 : Triple( subject == $I2, predicate == "", object == "" ) $Triple_10 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_11 : Triple( subject == $I3, predicate == "", object == $P2 ) $Triple_12 : Triple( subject == $I3, predicate == "", $C : object ) $Triple_13 : Triple( subject == $L, predicate == "", $I4 : object ) $Triple_14 : Triple( subject == $I4, predicate == "", object == $P3 ) $Triple_15 : Triple( subject == $I4, predicate == "", $U : object ) $Triple_16 : Triple( $U2 : subject, predicate == "", object == $P2 ) $Triple_17 : Triple( subject == $U2, predicate == "", object == "" ) $Triple_18 : Triple( subject == $U, predicate == "", object == $U2 ) $Triple_19 : Triple( subject == $L, predicate == "", $I5 : object ) $Triple_20 : Triple( subject == $I5, predicate == "", object == $P3 ) $Triple_21 : Triple( subject == $I5, predicate == "", $V : object ) $Triple_22 : Triple( $V2 : subject, predicate == "", object == $P3 ) $Triple_23 : Triple( subject == $V2, predicate == "", object == "" ) $Triple_24 : Triple( subject == $V, predicate == "", object == $V2 ) $Triple_25 : Triple( subject == $L, predicate == "", $I6 : object ) $Triple_26 : Triple( subject == $I6, predicate == "", object == $P3 ) $Triple_27 : Triple( subject == $I6, predicate == "", $W : object ) $Triple_28 : Triple( $W2 : subject, predicate == "", object == $P2 ) $Triple_29 : Triple( subject == $W2, predicate == "", object == $C ) $Triple_30 : Triple( subject == $W, predicate == "", object == $W2 ) $Triple_31 : Triple( subject == $C, predicate == "", $C1 : object ) $Triple_32 : Triple( subject == $C1, predicate == "", $P8 : object ) $Triple_33 : Triple( subject == $C1, predicate == "", $C2 : object ) $Triple_34 : Triple( subject == $P8, predicate == "", object == $P2 ) $Triple_35 : Triple( $D2 : subject, predicate == "", $P7 : object ) $Triple_36 : Triple( subject == $D2, predicate == "", $C3 : object ) $Triple_37 : Triple( subject == $P7, predicate == "", object == $P3 ) $Triple_38 : Triple( subject == $C2, predicate == "", object == $D2 ) $Triple_39 : Triple( $D3 : subject, predicate == "", $P9 : object ) $Triple_40 : Triple( subject == $D3, predicate == "", $C4 : object ) $Triple_41 : Triple( subject == $P9, predicate == "", object == $P1 ) $Triple_42 : Triple( subject == $C3, predicate == "", object == $D3 ) $Triple_43 : Triple( subject == $C4, predicate == "", $A : object ) $Triple_44 : Triple( subject == $P3, predicate == "", object == "" ) $Triple_45 : Triple( $D : subject, predicate == "", object == $A ) $Triple_46 : Triple( subject == $D, predicate == "", object == $B ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $D ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 16 ---------- /* { ?Z ?J. ?J ?P1. ?J ?T. ?T ?L. ?L ?I1. ?L ?I2. ?I2 ?P9. ?I2 ?G. ?G2 ?P1. ?G2 ?U. ?G ?G2. ?U ?I1. ?P1 ?P9. ?P1 . } => { ?Z . } . */ rule "owl-rules.n3 16" when $Triple_1 : Triple( $Z : subject, predicate == "", $J : object ) $Triple_2 : Triple( subject == $J, predicate == "", $P1 : object ) $Triple_3 : Triple( subject == $J, predicate == "", $T : object ) $Triple_4 : Triple( subject == $T, predicate == "", $L : object ) $Triple_5 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_6 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_7 : Triple( subject == $I2, predicate == "", $P9 : object ) $Triple_8 : Triple( subject == $I2, predicate == "", $G : object ) $Triple_9 : Triple( $G2 : subject, predicate == "", object == $P1 ) $Triple_10 : Triple( subject == $G2, predicate == "", $U : object ) $Triple_11 : Triple( subject == $G, predicate == "", object == $G2 ) $Triple_12 : Triple( subject == $U, predicate == "", object == $I1 ) $Triple_13 : Triple( subject == $P1, predicate == "", object == $P9 ) $Triple_14 : Triple( subject == $P1, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $Z ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 17 ---------- /* { ?J ?L. ?L ?I1. ?L ?I2. ?I1 ?J1. ?J1 ?P. ?J1 ?A1. ?I2 ?J2. ?J2 ?P. ?J2 ?A2. ?A1 ?C1. ?C1 ?D1. ?D1 ?E1. ?D1 ?F1. ?F1 ?G1. ?F1 . ?E1 ?H1. ?H1 ?X1. ?G1 ?K1. ?K1 ?X1. ?A2 ?C2. ?C2 ?D2. ?D2 ?E2. ?D2 ?F2. ?F2 ?G2. ?F2 . ?E2 ?H2. ?H2 ?X2. ?G2 ?K2. ?K2 ?X3. ?X1 ?X2. ?X1 ?X3. ?C ?J. } => { ?C . } . */ rule "owl-rules.n3 17" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_4 : Triple( subject == $I1, predicate == "", $J1 : object ) $Triple_5 : Triple( subject == $J1, predicate == "", $P : object ) $Triple_6 : Triple( subject == $J1, predicate == "", $A1 : object ) $Triple_7 : Triple( subject == $I2, predicate == "", $J2 : object ) $Triple_8 : Triple( subject == $J2, predicate == "", object == $P ) $Triple_9 : Triple( subject == $J2, predicate == "", $A2 : object ) $Triple_10 : Triple( subject == $A1, predicate == "", $C1 : object ) $Triple_11 : Triple( subject == $C1, predicate == "", $D1 : object ) $Triple_12 : Triple( $E1 : subject, predicate == "", $H1 : object ) $Triple_13 : Triple( subject == $H1, predicate == "", $X1 : object ) $Triple_14 : Triple( $G1 : subject, predicate == "", $K1 : object ) $Triple_15 : Triple( subject == $K1, predicate == "", object == $X1 ) $Triple_16 : Triple( subject == $A2, predicate == "", $C2 : object ) $Triple_17 : Triple( subject == $C2, predicate == "", $D2 : object ) $Triple_18 : Triple( $E2 : subject, predicate == "", $H2 : object ) $Triple_19 : Triple( subject == $H2, predicate == "", $X2 : object ) $Triple_20 : Triple( $G2 : subject, predicate == "", $K2 : object ) $Triple_21 : Triple( subject == $K2, predicate == "", $X3 : object ) $Triple_22 : Triple( subject == $X1, predicate == "", object == $X2 ) $Triple_23 : Triple( subject == $X1, predicate == "", object == $X3 ) $Triple_24 : Triple( $C : subject, predicate == "", object == $J ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 18 ---------- /* { ?J ?L. ?L ?I1. ?I1 ?P. ?I1 ?S. ?L ?I2. ?I2 ?Q. ?I2 ?T. ?F ?P. ?F ?D. ?D ?K. ?K ?S. ?K ?T. ?L ?I3. ?G ?I3. ?G ?F. ?P . ?P ?R. ?Q . ?Q ?R. ?R . } => { ?J . } . */ rule "owl-rules.n3 18" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $I1, predicate == "", $P : object ) $Triple_4 : Triple( subject == $I1, predicate == "", $S : object ) $Triple_5 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_6 : Triple( subject == $I2, predicate == "", $Q : object ) $Triple_7 : Triple( subject == $I2, predicate == "", $T : object ) $Triple_8 : Triple( $F : subject, predicate == "", object == $P ) $Triple_9 : Triple( subject == $F, predicate == "", $D : object ) $Triple_10 : Triple( subject == $D, predicate == "", $K : object ) $Triple_11 : Triple( subject == $K, predicate == "", object == $S ) $Triple_12 : Triple( subject == $K, predicate == "", object == $T ) $Triple_13 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_14 : Triple( $G : subject, predicate == "", object == $I3 ) $Triple_15 : Triple( subject == $G, predicate == "", object == $F ) $Triple_16 : Triple( subject == $P, predicate == "", object == "" ) $Triple_17 : Triple( subject == $P, predicate == "", $R : object ) $Triple_18 : Triple( subject == $Q, predicate == "", object == "" ) $Triple_19 : Triple( subject == $Q, predicate == "", object == $R ) $Triple_20 : Triple( subject == $R, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 19 ---------- /* { ?J ?L. ?L ?I1. ?L ?I2. ?I2 ?P. ?I2 ?S. ?S ?K. ?K ?U. ?U ?Q. ?U ?Y. ?Q ?P. ?K ?V. ?V ?Q. ?V ?M. ?M 1. ?I1 ?Y. } => { ?J . } . */ rule "owl-rules.n3 19" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_4 : Triple( subject == $I2, predicate == "", $P : object ) $Triple_5 : Triple( subject == $I2, predicate == "", $S : object ) $Triple_6 : Triple( subject == $S, predicate == "", $K : object ) $Triple_7 : Triple( subject == $K, predicate == "", $U : object ) $Triple_8 : Triple( subject == $U, predicate == "", $Q : object ) $Triple_9 : Triple( subject == $U, predicate == "", $Y : object ) $Triple_10 : Triple( subject == $Q, predicate == "", object == $P ) $Triple_11 : Triple( subject == $K, predicate == "", $V : object ) $Triple_12 : Triple( subject == $V, predicate == "", object == $Q ) $Triple_13 : Triple( subject == $V, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_15 : Triple( subject == $I1, predicate == "", object == $Y ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 20 ---------- /* { ?J ?L. ?L ?I2. ?I2 ?F. ?I2 ?T. ?T ?K. ?K ?G. ?G ?Q. ?G ?X. ?K ?H. ?H ?P. ?H ?U. ?V ?S. ?V ?X. ?U ?V. ?L ?I1. ?X ?I1. ?F . ?F ?P. ?S . ?S ?Q. ?S ?F. } => { ?J . } . */ rule "owl-rules.n3 20" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_3 : Triple( subject == $I2, predicate == "", $F : object ) $Triple_4 : Triple( subject == $I2, predicate == "", $T : object ) $Triple_5 : Triple( subject == $T, predicate == "", $K : object ) $Triple_6 : Triple( subject == $K, predicate == "", $G : object ) $Triple_7 : Triple( subject == $G, predicate == "", $Q : object ) $Triple_8 : Triple( subject == $G, predicate == "", $X : object ) $Triple_9 : Triple( subject == $K, predicate == "", $H : object ) $Triple_10 : Triple( subject == $H, predicate == "", $P : object ) $Triple_11 : Triple( subject == $H, predicate == "", $U : object ) $Triple_12 : Triple( $V : subject, predicate == "", $S : object ) $Triple_13 : Triple( subject == $V, predicate == "", object == $X ) $Triple_14 : Triple( subject == $U, predicate == "", object == $V ) $Triple_15 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_16 : Triple( subject == $X, predicate == "", object == $I1 ) $Triple_17 : Triple( subject == $F, predicate == "", object == "" ) $Triple_18 : Triple( subject == $F, predicate == "", object == $P ) $Triple_19 : Triple( subject == $S, predicate == "", object == "" ) $Triple_20 : Triple( subject == $S, predicate == "", object == $Q ) $Triple_21 : Triple( subject == $S, predicate == "", object == $F ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 21 ---------- /* { ?J ?L. ?L ?I2. ?I2 ?P9. ?I2 ?D. ?L ?I3. ?I3 ?P8. ?I3 ?E. ?E2 ?P9. ?E2 ?D. ?E ?E2. ?X ?K. ?D ?X. ?K ?C. ?K ?Y. ?Y ?P1. ?Y ?Z. ?Z ?C. ?L ?I1. ?I1 ?C. ?P9 ?P1. ?P8 ?P2. ?P2 . ?P1 ?P2. ?P1 . } => { ?J . } . */ rule "owl-rules.n3 21" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_3 : Triple( subject == $I2, predicate == "", $P9 : object ) $Triple_4 : Triple( subject == $I2, predicate == "", $D : object ) $Triple_5 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_6 : Triple( subject == $I3, predicate == "", $P8 : object ) $Triple_7 : Triple( subject == $I3, predicate == "", $E : object ) $Triple_8 : Triple( $E2 : subject, predicate == "", object == $P9 ) $Triple_9 : Triple( subject == $E2, predicate == "", object == $D ) $Triple_10 : Triple( subject == $E, predicate == "", object == $E2 ) $Triple_11 : Triple( $X : subject, predicate == "", $K : object ) $Triple_12 : Triple( subject == $D, predicate == "", object == $X ) $Triple_13 : Triple( subject == $K, predicate == "", $C : object ) $Triple_14 : Triple( subject == $K, predicate == "", $Y : object ) $Triple_15 : Triple( subject == $Y, predicate == "", $P1 : object ) $Triple_16 : Triple( subject == $Y, predicate == "", $Z : object ) $Triple_17 : Triple( subject == $Z, predicate == "", object == $C ) $Triple_18 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_19 : Triple( subject == $I1, predicate == "", object == $C ) $Triple_20 : Triple( subject == $P9, predicate == "", object == $P1 ) $Triple_21 : Triple( subject == $P8, predicate == "", $P2 : object ) $Triple_22 : Triple( subject == $P2, predicate == "", object == "" ) $Triple_23 : Triple( subject == $P1, predicate == "", object == $P2 ) $Triple_24 : Triple( subject == $P1, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 22 ---------- /* { ?J ?L. ?L ?I1. ?L ?I2. ?I2 ?P1. ?I2 ?S. ?S2 ?P1. ?S2 ?T. ?S ?S2. ?T ?K. ?K ?I1. ?K ?I3. ?I3 ?P9. ?I3 ?U. ?U ?I1. ?P1 ?P9. ?P1 . } => { ?J . } . */ rule "owl-rules.n3 22" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_4 : Triple( subject == $I2, predicate == "", $P1 : object ) $Triple_5 : Triple( subject == $I2, predicate == "", $S : object ) $Triple_6 : Triple( $S2 : subject, predicate == "", object == $P1 ) $Triple_7 : Triple( subject == $S2, predicate == "", $T : object ) $Triple_8 : Triple( subject == $S, predicate == "", object == $S2 ) $Triple_9 : Triple( subject == $T, predicate == "", $K : object ) $Triple_10 : Triple( subject == $K, predicate == "", object == $I1 ) $Triple_11 : Triple( subject == $K, predicate == "", $I3 : object ) $Triple_12 : Triple( subject == $I3, predicate == "", $P9 : object ) $Triple_13 : Triple( subject == $I3, predicate == "", $U : object ) $Triple_14 : Triple( subject == $U, predicate == "", object == $I1 ) $Triple_15 : Triple( subject == $P1, predicate == "", object == $P9 ) $Triple_16 : Triple( subject == $P1, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 23 ---------- /* { ?J ?L. ?L ?I1. ?I1 ?P. ?I1 ?B. ?B ?E. ?L ?I2. ?I2 ?P. ?I2 ?D. ?L ?I3. ?I3 ?P. ?I3 ?U. ?U ?K. ?K ?E. ?K ?Y. ?Y ?D. } => { ?J . } . */ rule "owl-rules.n3 23" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $I1, predicate == "", $P : object ) $Triple_4 : Triple( subject == $I1, predicate == "", $B : object ) $Triple_5 : Triple( subject == $B, predicate == "", $E : object ) $Triple_6 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_7 : Triple( subject == $I2, predicate == "", object == $P ) $Triple_8 : Triple( subject == $I2, predicate == "", $D : object ) $Triple_9 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_10 : Triple( subject == $I3, predicate == "", object == $P ) $Triple_11 : Triple( subject == $I3, predicate == "", $U : object ) $Triple_12 : Triple( subject == $U, predicate == "", $K : object ) $Triple_13 : Triple( subject == $K, predicate == "", object == $E ) $Triple_14 : Triple( subject == $K, predicate == "", $Y : object ) $Triple_15 : Triple( subject == $Y, predicate == "", object == $D ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 24 ---------- /* { ?J ?L. ?L ?I1. ?I1 ?P. ?I1 ?B. ?B ?E. ?L ?I2. ?I2 ?P. ?I2 ?D. ?L ?I3. ?I3 ?P. ?I3 ?U. ?U2 ?K. ?U2 ?U. ?K ?D. ?K ?Y. ?Y ?E. } => { ?J . } . */ rule "owl-rules.n3 24" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $I1, predicate == "", $P : object ) $Triple_4 : Triple( subject == $I1, predicate == "", $B : object ) $Triple_5 : Triple( subject == $B, predicate == "", $E : object ) $Triple_6 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_7 : Triple( subject == $I2, predicate == "", object == $P ) $Triple_8 : Triple( subject == $I2, predicate == "", $D : object ) $Triple_9 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_10 : Triple( subject == $I3, predicate == "", object == $P ) $Triple_11 : Triple( subject == $I3, predicate == "", $U : object ) $Triple_12 : Triple( $U2 : subject, predicate == "", $K : object ) $Triple_13 : Triple( subject == $U2, predicate == "", object == $U ) $Triple_14 : Triple( subject == $K, predicate == "", object == $D ) $Triple_15 : Triple( subject == $K, predicate == "", $Y : object ) $Triple_16 : Triple( subject == $Y, predicate == "", object == $E ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 25 ---------- /* { ?J ?L. ?L ?I0. ?I0 ?P. ?I0 ?M. ?M 0. ?L ?I1. ?I1 ?P. ?I1 ?C1. } => { ?J . } . */ rule "owl-rules.n3 25" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I0 : object ) $Triple_3 : Triple( subject == $I0, predicate == "", $P : object ) $Triple_4 : Triple( subject == $I0, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 0 ) $Triple_6 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_7 : Triple( subject == $I1, predicate == "", object == $P ) $Triple_8 : Triple( subject == $I1, predicate == "", $C1 : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 26 ---------- /* { ?J ?L. ?L ?I0. ?I0 ?P. ?I0 ?M. ?M 1. ?L ?I1. ?I1 ?P. ?I1 ?C1. ?L ?I2. ?I2 ?P. ?I2 ?C2. ?C2 ?C1. } => { ?J . } . */ rule "owl-rules.n3 26" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I0 : object ) $Triple_3 : Triple( subject == $I0, predicate == "", $P : object ) $Triple_4 : Triple( subject == $I0, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_6 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_7 : Triple( subject == $I1, predicate == "", object == $P ) $Triple_8 : Triple( subject == $I1, predicate == "", $C1 : object ) $Triple_9 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_10 : Triple( subject == $I2, predicate == "", object == $P ) $Triple_11 : Triple( subject == $I2, predicate == "", $C2 : object ) $Triple_12 : Triple( subject == $C2, predicate == "", object == $C1 ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 27 ---------- /* { ?J ?L. ?L ?I0. ?I0 ?P. ?I0 ?M. ?M 2. ?L ?I1. ?I1 ?P. ?I1 ?C1. ?L ?I2. ?I2 ?P. ?I2 ?C2. ?C2 ?C1. ?L ?I3. ?I3 ?P. ?I3 ?C3. ?C3 ?C1. ?C3 ?C2. } => { ?J . } . */ rule "owl-rules.n3 27" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I0 : object ) $Triple_3 : Triple( subject == $I0, predicate == "", $P : object ) $Triple_4 : Triple( subject == $I0, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 2 ) $Triple_6 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_7 : Triple( subject == $I1, predicate == "", object == $P ) $Triple_8 : Triple( subject == $I1, predicate == "", $C1 : object ) $Triple_9 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_10 : Triple( subject == $I2, predicate == "", object == $P ) $Triple_11 : Triple( subject == $I2, predicate == "", $C2 : object ) $Triple_12 : Triple( subject == $C2, predicate == "", object == $C1 ) $Triple_13 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_14 : Triple( subject == $I3, predicate == "", object == $P ) $Triple_15 : Triple( subject == $I3, predicate == "", $C3 : object ) $Triple_16 : Triple( subject == $C3, predicate == "", object == $C1 ) $Triple_17 : Triple( subject == $C3, predicate == "", object == $C2 ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 28 ---------- /* { ?J ?L. ?L ?I0. ?I0 ?P. ?I0 ?M. ?M 3. ?L ?I1. ?I1 ?P. ?I1 ?C1. ?L ?I2. ?I2 ?P. ?I2 ?C2. ?C2 ?C1. ?L ?I3. ?I3 ?P. ?I3 ?C3. ?C3 ?C1. ?C3 ?C2. ?L ?I4. ?I4 ?P. ?I4 ?C4. ?C4 ?C1. ?C4 ?C2. ?C4 ?C3. } => { ?J . } . */ rule "owl-rules.n3 28" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I0 : object ) $Triple_3 : Triple( subject == $I0, predicate == "", $P : object ) $Triple_4 : Triple( subject == $I0, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 3 ) $Triple_6 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_7 : Triple( subject == $I1, predicate == "", object == $P ) $Triple_8 : Triple( subject == $I1, predicate == "", $C1 : object ) $Triple_9 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_10 : Triple( subject == $I2, predicate == "", object == $P ) $Triple_11 : Triple( subject == $I2, predicate == "", $C2 : object ) $Triple_12 : Triple( subject == $C2, predicate == "", object == $C1 ) $Triple_13 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_14 : Triple( subject == $I3, predicate == "", object == $P ) $Triple_15 : Triple( subject == $I3, predicate == "", $C3 : object ) $Triple_16 : Triple( subject == $C3, predicate == "", object == $C1 ) $Triple_17 : Triple( subject == $C3, predicate == "", object == $C2 ) $Triple_18 : Triple( subject == $L, predicate == "", $I4 : object ) $Triple_19 : Triple( subject == $I4, predicate == "", object == $P ) $Triple_20 : Triple( subject == $I4, predicate == "", $C4 : object ) $Triple_21 : Triple( subject == $C4, predicate == "", object == $C1 ) $Triple_22 : Triple( subject == $C4, predicate == "", object == $C2 ) $Triple_23 : Triple( subject == $C4, predicate == "", object == $C3 ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 29 ---------- /* { ?J ?L. ?L ?I0. ?I0 ?P. ?I0 ?M. ?M 4. ?L ?I1. ?I1 ?P. ?I1 ?C1. ?L ?I2. ?I2 ?P. ?I2 ?C2. ?C2 ?C1. ?L ?I3. ?I3 ?P. ?I3 ?C3. ?C3 ?C1. ?C3 ?C2. ?L ?I4. ?I4 ?P. ?I4 ?C4. ?C4 ?C1. ?C4 ?C2. ?C4 ?C3. ?L ?I5. ?I5 ?P. ?I5 ?C5. ?C5 ?C1. ?C5 ?C2. ?C5 ?C3. ?C5 ?C4. } => { ?J . } . */ rule "owl-rules.n3 29" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I0 : object ) $Triple_3 : Triple( subject == $I0, predicate == "", $P : object ) $Triple_4 : Triple( subject == $I0, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 4 ) $Triple_6 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_7 : Triple( subject == $I1, predicate == "", object == $P ) $Triple_8 : Triple( subject == $I1, predicate == "", $C1 : object ) $Triple_9 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_10 : Triple( subject == $I2, predicate == "", object == $P ) $Triple_11 : Triple( subject == $I2, predicate == "", $C2 : object ) $Triple_12 : Triple( subject == $C2, predicate == "", object == $C1 ) $Triple_13 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_14 : Triple( subject == $I3, predicate == "", object == $P ) $Triple_15 : Triple( subject == $I3, predicate == "", $C3 : object ) $Triple_16 : Triple( subject == $C3, predicate == "", object == $C1 ) $Triple_17 : Triple( subject == $C3, predicate == "", object == $C2 ) $Triple_18 : Triple( subject == $L, predicate == "", $I4 : object ) $Triple_19 : Triple( subject == $I4, predicate == "", object == $P ) $Triple_20 : Triple( subject == $I4, predicate == "", $C4 : object ) $Triple_21 : Triple( subject == $C4, predicate == "", object == $C1 ) $Triple_22 : Triple( subject == $C4, predicate == "", object == $C2 ) $Triple_23 : Triple( subject == $C4, predicate == "", object == $C3 ) $Triple_24 : Triple( subject == $L, predicate == "", $I5 : object ) $Triple_25 : Triple( subject == $I5, predicate == "", object == $P ) $Triple_26 : Triple( subject == $I5, predicate == "", $C5 : object ) $Triple_27 : Triple( subject == $C5, predicate == "", object == $C1 ) $Triple_28 : Triple( subject == $C5, predicate == "", object == $C2 ) $Triple_29 : Triple( subject == $C5, predicate == "", object == $C3 ) $Triple_30 : Triple( subject == $C5, predicate == "", object == $C4 ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 30 ---------- /* { ?C ?L. ?L ?I1. ?I1 ?P1. ?I1 ?C1. ?L ?I2. ?I2 ?P2. ?I2 ?C2. ?C2 ?C1. ?L ?I3. ?I3 ?P3. ?I3 ?C3. ?P1 . ?P2 . ?P3 ?P1. ?P3 ?P2. } => { ?C . } . */ rule "owl-rules.n3 30" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $I1, predicate == "", $P1 : object ) $Triple_4 : Triple( subject == $I1, predicate == "", $C1 : object ) $Triple_5 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_6 : Triple( subject == $I2, predicate == "", $P2 : object ) $Triple_7 : Triple( subject == $I2, predicate == "", $C2 : object ) $Triple_8 : Triple( subject == $C2, predicate == "", object == $C1 ) $Triple_9 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_10 : Triple( subject == $I3, predicate == "", $P3 : object ) $Triple_11 : Triple( subject == $I3, predicate == "", $C3 : object ) $Triple_12 : Triple( subject == $P1, predicate == "", object == "" ) $Triple_13 : Triple( subject == $P2, predicate == "", object == "" ) $Triple_14 : Triple( subject == $P3, predicate == "", object == $P1 ) $Triple_15 : Triple( subject == $P3, predicate == "", object == $P2 ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 31 ---------- /* { ?J ?L. ?L ?I1. ?I1 ?P. ?I1 ?S. ?S ?G. ?L ?I2. ?I2 ?P. ?I2 ?T. ?T ?K. ?K ?F. ?F ?Q. ?F ?G. ?K ?G. ?P . ?Q ?P. } => { ?J . } . */ rule "owl-rules.n3 31" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $I1, predicate == "", $P : object ) $Triple_4 : Triple( subject == $I1, predicate == "", $S : object ) $Triple_5 : Triple( subject == $S, predicate == "", $G : object ) $Triple_6 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_7 : Triple( subject == $I2, predicate == "", object == $P ) $Triple_8 : Triple( subject == $I2, predicate == "", $T : object ) $Triple_9 : Triple( subject == $T, predicate == "", $K : object ) $Triple_10 : Triple( subject == $K, predicate == "", $F : object ) $Triple_11 : Triple( subject == $F, predicate == "", $Q : object ) $Triple_12 : Triple( subject == $F, predicate == "", object == $G ) $Triple_13 : Triple( subject == $K, predicate == "", object == $G ) $Triple_14 : Triple( subject == $P, predicate == "", object == "" ) $Triple_15 : Triple( subject == $Q, predicate == "", object == $P ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 32 ---------- /* { ?J ?L. ?L ?I1. ?I1 ?P1. ?I1 ?C1. ?L ?I2. ?I2 ?P2. ?I2 ?T. ?T ?K. ?K ?X. ?X ?C1. ?K ?H. ?H ?P8. ?H ?V. ?U ?P3. ?U . ?V ?U. ?P1 . ?P2 . ?P2 ?P8. ?P3 . ?P3 ?P1. ?P3 ?P2. } => { ?J . } . */ rule "owl-rules.n3 32" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $I1, predicate == "", $P1 : object ) $Triple_4 : Triple( subject == $I1, predicate == "", $C1 : object ) $Triple_5 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_6 : Triple( subject == $I2, predicate == "", $P2 : object ) $Triple_7 : Triple( subject == $I2, predicate == "", $T : object ) $Triple_8 : Triple( subject == $T, predicate == "", $K : object ) $Triple_9 : Triple( subject == $K, predicate == "", $X : object ) $Triple_10 : Triple( subject == $X, predicate == "", object == $C1 ) $Triple_11 : Triple( subject == $K, predicate == "", $H : object ) $Triple_12 : Triple( subject == $H, predicate == "", $P8 : object ) $Triple_13 : Triple( subject == $H, predicate == "", $V : object ) $Triple_14 : Triple( $U : subject, predicate == "", $P3 : object ) $Triple_15 : Triple( subject == $U, predicate == "", object == "" ) $Triple_16 : Triple( subject == $V, predicate == "", object == $U ) $Triple_17 : Triple( subject == $P1, predicate == "", object == "" ) $Triple_18 : Triple( subject == $P2, predicate == "", object == "" ) $Triple_19 : Triple( subject == $P2, predicate == "", object == $P8 ) $Triple_20 : Triple( subject == $P3, predicate == "", object == "" ) $Triple_21 : Triple( subject == $P3, predicate == "", object == $P1 ) $Triple_22 : Triple( subject == $P3, predicate == "", object == $P2 ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 33 ---------- /* { ?J ?L. ?L ?I2. ?I2 ?F. ?I2 ?M. ?M 1. ?L ?I3. ?I3 ?F. ?I3 ?T. ?U ?Q. ?U ?X. ?T ?U. ?L ?I4. ?I4 ?P. ?I4 ?X. ?L ?I1. ?I1 ?X. ?Q ?P. ?P ?F. } => { ?J . } . */ rule "owl-rules.n3 33" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_3 : Triple( subject == $I2, predicate == "", $F : object ) $Triple_4 : Triple( subject == $I2, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_6 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_7 : Triple( subject == $I3, predicate == "", object == $F ) $Triple_8 : Triple( subject == $I3, predicate == "", $T : object ) $Triple_9 : Triple( $U : subject, predicate == "", $Q : object ) $Triple_10 : Triple( subject == $U, predicate == "", $X : object ) $Triple_11 : Triple( subject == $T, predicate == "", object == $U ) $Triple_12 : Triple( subject == $L, predicate == "", $I4 : object ) $Triple_13 : Triple( subject == $I4, predicate == "", $P : object ) $Triple_14 : Triple( subject == $I4, predicate == "", object == $X ) $Triple_15 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_16 : Triple( subject == $I1, predicate == "", object == $X ) $Triple_17 : Triple( subject == $Q, predicate == "", object == $P ) $Triple_18 : Triple( subject == $P, predicate == "", object == $F ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 34 ---------- /* { ?J ?L. ?L ?I1. ?I1 ?P1. ?I1 ?S. ?S ?K. ?K ?U. ?U ?C1. ?K ?V. ?V ?C2. ?L ?I2. ?I2 ?P2. ?I2 ?T. ?T ?O. ?O ?G. ?G ?P8. ?G ?M. ?M 1. ?O ?H. ?H ?P8. ?H ?W. ?X ?P1. ?X ?C1. ?W ?X. ?P2 ?P8. } => { ?J . } . */ rule "owl-rules.n3 34" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $I1, predicate == "", $P1 : object ) $Triple_4 : Triple( subject == $I1, predicate == "", $S : object ) $Triple_5 : Triple( subject == $S, predicate == "", $K : object ) $Triple_6 : Triple( subject == $K, predicate == "", $U : object ) $Triple_7 : Triple( subject == $U, predicate == "", $C1 : object ) $Triple_8 : Triple( subject == $K, predicate == "", $V : object ) $Triple_9 : Triple( subject == $V, predicate == "", $C2 : object ) $Triple_10 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_11 : Triple( subject == $I2, predicate == "", $P2 : object ) $Triple_12 : Triple( subject == $I2, predicate == "", $T : object ) $Triple_13 : Triple( subject == $T, predicate == "", $O : object ) $Triple_14 : Triple( subject == $O, predicate == "", $G : object ) $Triple_15 : Triple( subject == $G, predicate == "", $P8 : object ) $Triple_16 : Triple( subject == $G, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_18 : Triple( subject == $O, predicate == "", $H : object ) $Triple_19 : Triple( subject == $H, predicate == "", object == $P8 ) $Triple_20 : Triple( subject == $H, predicate == "", $W : object ) $Triple_21 : Triple( $X : subject, predicate == "", object == $P1 ) $Triple_22 : Triple( subject == $X, predicate == "", object == $C1 ) $Triple_23 : Triple( subject == $W, predicate == "", object == $X ) $Triple_24 : Triple( subject == $P2, predicate == "", object == $P8 ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 35 ---------- /* { ?A ?X. ?A ?N. ?N 2. ?B. ?B ?P. ?B ?O. ?O ?L. ?L ?S. ?L . ?S ?D. ?D ?Q. ?D ?M. ?M 2. ?Q ?P. ?C ?A. } => { ?C . } . */ rule "owl-rules.n3 35" when $Triple_1 : Triple( $A : subject, predicate == "", $X : object ) $Triple_2 : Triple( subject == $A, predicate == "", $N : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($N )) > 2 ) $Triple_4 : Triple( subject == "", predicate == "", $B : object ) $Triple_5 : Triple( subject == $B, predicate == "", $P : object ) $Triple_6 : Triple( subject == $B, predicate == "", $O : object ) $Triple_7 : Triple( subject == $O, predicate == "", $L : object ) $Triple_8 : Triple( $S : subject, predicate == "", $D : object ) $Triple_9 : Triple( subject == $D, predicate == "", $Q : object ) $Triple_10 : Triple( subject == $D, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 2 ) $Triple_12 : Triple( subject == $Q, predicate == "", object == $P ) $Triple_13 : Triple( $C : subject, predicate == "", object == $A ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 36 ---------- /* { ?Z ?J. ?J ?L. ?L ?I0. ?I0 ?P. ?I0 ?M. ?M 1. ?L ?I1. ?I1 ?P1. ?I1 ?C1. ?C1 ?K1. ?K1 ?X1. ?X1 ?T. ?X1 ?M1. ?M1 1. ?K1 ?X2. ?X2 ?T1. ?X2 ?D1. ?L ?I2. ?I2 ?P2. ?I2 ?C2. ?C2 ?K2. ?K2 ?Y1. ?Y1 ?T. ?Y1 ?M2. ?M2 1. ?K2 ?Y2. ?Y2 ?T2. ?Y2 ?D2. ?D2 ?D1. ?P1 ?P. ?P2 ?P. ?T1 ?T. ?T2 ?T. } => { ?Z . } . */ rule "owl-rules.n3 36" when $Triple_1 : Triple( $Z : subject, predicate == "", $J : object ) $Triple_2 : Triple( subject == $J, predicate == "", $L : object ) $Triple_3 : Triple( subject == $L, predicate == "", $I0 : object ) $Triple_4 : Triple( subject == $I0, predicate == "", $P : object ) $Triple_5 : Triple( subject == $I0, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_7 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_8 : Triple( subject == $I1, predicate == "", $P1 : object ) $Triple_9 : Triple( subject == $I1, predicate == "", $C1 : object ) $Triple_10 : Triple( subject == $C1, predicate == "", $K1 : object ) $Triple_11 : Triple( subject == $K1, predicate == "", $X1 : object ) $Triple_12 : Triple( subject == $X1, predicate == "", $T : object ) $Triple_13 : Triple( subject == $X1, predicate == "", $M1 : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M1 )) == 1 ) $Triple_15 : Triple( subject == $K1, predicate == "", $X2 : object ) $Triple_16 : Triple( subject == $X2, predicate == "", $T1 : object ) $Triple_17 : Triple( subject == $X2, predicate == "", $D1 : object ) $Triple_18 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_19 : Triple( subject == $I2, predicate == "", $P2 : object ) $Triple_20 : Triple( subject == $I2, predicate == "", $C2 : object ) $Triple_21 : Triple( subject == $C2, predicate == "", $K2 : object ) $Triple_22 : Triple( subject == $K2, predicate == "", $Y1 : object ) $Triple_23 : Triple( subject == $Y1, predicate == "", object == $T ) $Triple_24 : Triple( subject == $Y1, predicate == "", $M2 : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M2 )) == 1 ) $Triple_26 : Triple( subject == $K2, predicate == "", $Y2 : object ) $Triple_27 : Triple( subject == $Y2, predicate == "", $T2 : object ) $Triple_28 : Triple( subject == $Y2, predicate == "", $D2 : object ) $Triple_29 : Triple( subject == $D2, predicate == "", object == $D1 ) $Triple_30 : Triple( subject == $P1, predicate == "", object == $P ) $Triple_31 : Triple( subject == $P2, predicate == "", object == $P ) $Triple_32 : Triple( subject == $T1, predicate == "", object == $T ) $Triple_33 : Triple( subject == $T2, predicate == "", object == $T ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $Z ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 37 ---------- /* { ?J ?L. ?L ?I1. ?I1 ?P. ?I1 ?S. ?S ?Q. ?S ?N. ?N 2. ?L ?I2. ?I2 ?P. ?I2 ?A. ?A ?K. ?K ?C. ?K ?V. ?V ?Q. ?V ?M. ?M 1. ?L ?I3. ?I3 ?P. ?I3 ?D. ?C ?D. } => { ?J . } . */ rule "owl-rules.n3 37" when $Triple_1 : Triple( $J : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $I1 : object ) $Triple_3 : Triple( subject == $I1, predicate == "", $P : object ) $Triple_4 : Triple( subject == $I1, predicate == "", $S : object ) $Triple_5 : Triple( subject == $S, predicate == "", $Q : object ) $Triple_6 : Triple( subject == $S, predicate == "", $N : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($N )) == 2 ) $Triple_8 : Triple( subject == $L, predicate == "", $I2 : object ) $Triple_9 : Triple( subject == $I2, predicate == "", object == $P ) $Triple_10 : Triple( subject == $I2, predicate == "", $A : object ) $Triple_11 : Triple( subject == $A, predicate == "", $K : object ) $Triple_12 : Triple( subject == $K, predicate == "", $C : object ) $Triple_13 : Triple( subject == $K, predicate == "", $V : object ) $Triple_14 : Triple( subject == $V, predicate == "", object == $Q ) $Triple_15 : Triple( subject == $V, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_17 : Triple( subject == $L, predicate == "", $I3 : object ) $Triple_18 : Triple( subject == $I3, predicate == "", object == $P ) $Triple_19 : Triple( subject == $I3, predicate == "", $D : object ) $Triple_20 : Triple( subject == $C, predicate == "", object == $D ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $J ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 38 ---------- /* { ?C1 ?A. ?A ?P1. ?A ?C6. ?P1 ?C1. ?P1 ?C6. ?P1 . ?C1 ?B. ?B ?P3. ?B ?C5. ?P3 ?C1. ?P3 ?C5. ?P3 . ?C5 ?C. ?C ?P2. ?C ?C6. ?P2 ?C5. ?P2 ?C6. ?P2 . ?C5 ?D. ?D ?P7. ?D ?X1. ?P7 ?P3. ?C6 ?F. ?F ?P8. ?F ?X2. ?P8 ?P2. ?C6 ?H. ?H ?P9. ?H ?X3. ?P9 ?P1. ?H ?I. ?I ?P4. ?I ?C3. ?P4 ?C6. ?P4 ?C3. ?P4 . ?C3 ?G. ?G ?P6. ?G ?X4. ?P6 ?P4. _:list8 ?X1. _:list7 ?X2. _:list7 . _:list8 _:list7. _:list8 ?X. ?X ?X3. } => { ?C3 . } . */ rule "owl-rules.n3 38" when $Triple_1 : Triple( $C1 : subject, predicate == "", $A : object ) $Triple_2 : Triple( subject == $A, predicate == "", $P1 : object ) $Triple_3 : Triple( subject == $A, predicate == "", $C6 : object ) $Triple_4 : Triple( subject == $P1, predicate == "", object == $C1 ) $Triple_5 : Triple( subject == $P1, predicate == "", object == $C6 ) $Triple_6 : Triple( subject == $P1, predicate == "", object == "" ) $Triple_7 : Triple( subject == $C1, predicate == "", $B : object ) $Triple_8 : Triple( subject == $B, predicate == "", $P3 : object ) $Triple_9 : Triple( subject == $B, predicate == "", $C5 : object ) $Triple_10 : Triple( subject == $P3, predicate == "", object == $C1 ) $Triple_11 : Triple( subject == $P3, predicate == "", object == $C5 ) $Triple_12 : Triple( subject == $P3, predicate == "", object == "" ) $Triple_13 : Triple( subject == $C5, predicate == "", $C : object ) $Triple_14 : Triple( subject == $C, predicate == "", $P2 : object ) $Triple_15 : Triple( subject == $C, predicate == "", object == $C6 ) $Triple_16 : Triple( subject == $P2, predicate == "", object == $C5 ) $Triple_17 : Triple( subject == $P2, predicate == "", object == $C6 ) $Triple_18 : Triple( subject == $P2, predicate == "", object == "" ) $Triple_19 : Triple( subject == $C5, predicate == "", $D : object ) $Triple_20 : Triple( subject == $D, predicate == "", $P7 : object ) $Triple_21 : Triple( subject == $D, predicate == "", $X1 : object ) $Triple_22 : Triple( subject == $P7, predicate == "", object == $P3 ) $Triple_23 : Triple( subject == $C6, predicate == "", $F : object ) $Triple_24 : Triple( subject == $F, predicate == "", $P8 : object ) $Triple_25 : Triple( subject == $F, predicate == "", $X2 : object ) $Triple_26 : Triple( subject == $P8, predicate == "", object == $P2 ) $Triple_27 : Triple( subject == $C6, predicate == "", $H : object ) $Triple_28 : Triple( subject == $H, predicate == "", $P9 : object ) $Triple_29 : Triple( subject == $H, predicate == "", $X3 : object ) $Triple_30 : Triple( subject == $P9, predicate == "", object == $P1 ) $Triple_31 : Triple( subject == $H, predicate == "", $I : object ) $Triple_32 : Triple( subject == $I, predicate == "", $P4 : object ) $Triple_33 : Triple( subject == $I, predicate == "", $C3 : object ) $Triple_34 : Triple( subject == $P4, predicate == "", object == $C6 ) $Triple_35 : Triple( subject == $P4, predicate == "", object == $C3 ) $Triple_36 : Triple( subject == $P4, predicate == "", object == "" ) $Triple_37 : Triple( subject == $C3, predicate == "", $G : object ) $Triple_38 : Triple( subject == $G, predicate == "", $P6 : object ) $Triple_39 : Triple( subject == $G, predicate == "", $X4 : object ) $Triple_40 : Triple( subject == $P6, predicate == "", object == $P4 ) eval( new Double( Double.parseDouble( Triple.n3ValueToNumeric($X1 )) * Double.parseDouble( Triple.n3ValueToNumeric($X2 )) ) != Double.parseDouble( Triple.n3ValueToNumeric($X3 )) ) then Double $X = new Double( Double.parseDouble( Triple.n3ValueToNumeric($X1 )) * Double.parseDouble( Triple.n3ValueToNumeric($X2 )) ); Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C3 ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 39 ---------- /* { ?C1 ?A. ?A ?P1. ?A ?C3. ?P1 ?C1. ?P1 ?C3. ?P1 . ?C1 ?B. ?B ?P3. ?B ?C5. ?P3 ?C1. ?P3 ?C5. ?P3 . ?C5 ?C. ?C ?P2. ?C ?C3. ?P2 ?C5. ?P2 ?C3. ?P2 . ?C5 ?D. ?D ?P7. ?D ?X1. ?P7 ?P3. ?C3 ?F. ?F ?P8. ?F ?X2. ?P8 ?P2. ?C3 ?G. ?G ?P9. ?G ?X3. ?P9 ?P1. _:list10 ?X1. _:list9 ?X2. _:list9 . _:list10 _:list9. _:list10 ?X. ?X ?X3. } => { ?C3 . } . */ rule "owl-rules.n3 39" when $Triple_1 : Triple( $C1 : subject, predicate == "", $A : object ) $Triple_2 : Triple( subject == $A, predicate == "", $P1 : object ) $Triple_3 : Triple( subject == $A, predicate == "", $C3 : object ) $Triple_4 : Triple( subject == $P1, predicate == "", object == $C1 ) $Triple_5 : Triple( subject == $P1, predicate == "", object == $C3 ) $Triple_6 : Triple( subject == $P1, predicate == "", object == "" ) $Triple_7 : Triple( subject == $C1, predicate == "", $B : object ) $Triple_8 : Triple( subject == $B, predicate == "", $P3 : object ) $Triple_9 : Triple( subject == $B, predicate == "", $C5 : object ) $Triple_10 : Triple( subject == $P3, predicate == "", object == $C1 ) $Triple_11 : Triple( subject == $P3, predicate == "", object == $C5 ) $Triple_12 : Triple( subject == $P3, predicate == "", object == "" ) $Triple_13 : Triple( subject == $C5, predicate == "", $C : object ) $Triple_14 : Triple( subject == $C, predicate == "", $P2 : object ) $Triple_15 : Triple( subject == $C, predicate == "", object == $C3 ) $Triple_16 : Triple( subject == $P2, predicate == "", object == $C5 ) $Triple_17 : Triple( subject == $P2, predicate == "", object == $C3 ) $Triple_18 : Triple( subject == $P2, predicate == "", object == "" ) $Triple_19 : Triple( subject == $C5, predicate == "", $D : object ) $Triple_20 : Triple( subject == $D, predicate == "", $P7 : object ) $Triple_21 : Triple( subject == $D, predicate == "", $X1 : object ) $Triple_22 : Triple( subject == $P7, predicate == "", object == $P3 ) $Triple_23 : Triple( subject == $C3, predicate == "", $F : object ) $Triple_24 : Triple( subject == $F, predicate == "", $P8 : object ) $Triple_25 : Triple( subject == $F, predicate == "", $X2 : object ) $Triple_26 : Triple( subject == $P8, predicate == "", object == $P2 ) $Triple_27 : Triple( subject == $C3, predicate == "", $G : object ) $Triple_28 : Triple( subject == $G, predicate == "", $P9 : object ) $Triple_29 : Triple( subject == $G, predicate == "", $X3 : object ) $Triple_30 : Triple( subject == $P9, predicate == "", object == $P1 ) eval( new Double( Double.parseDouble( Triple.n3ValueToNumeric($X1 )) * Double.parseDouble( Triple.n3ValueToNumeric($X2 )) ) != Double.parseDouble( Triple.n3ValueToNumeric($X3 )) ) then Double $X = new Double( Double.parseDouble( Triple.n3ValueToNumeric($X1 )) * Double.parseDouble( Triple.n3ValueToNumeric($X2 )) ); Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C3 ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 40 ---------- /* { ?D ?C. ?C ?L. ?L . } => { ?D . } . */ rule "owl-rules.n3 40" when $Triple_1 : Triple( $D : subject, predicate == "", $C : object ) $Triple_2 : Triple( subject == $C, predicate == "", $L : object ) $Triple_3 : Triple( subject == $L, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $D ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 41 ---------- /* { ?D ?C. ?C ?L. ?L . } => { ?D . } . */ rule "owl-rules.n3 41" when $Triple_1 : Triple( $D : subject, predicate == "", $C : object ) $Triple_2 : Triple( subject == $C, predicate == "", $L : object ) $Triple_3 : Triple( subject == $L, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $D ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 42 ---------- /* { ?C ?L. ?L ?A. ?L ?B. ?A ?B. } => { ?C . } . */ rule "owl-rules.n3 42" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $A : object ) $Triple_3 : Triple( subject == $L, predicate == "", $B : object ) $Triple_4 : Triple( subject == $A, predicate == "", object == $B ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 43 ---------- /* { ?C ?L. ?L . } => { ?C . } . */ rule "owl-rules.n3 43" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 44 ---------- /* { ?A ?P. ?A ?M. ?B ?P. ?B ?N. ?M ?N. ?C ?A. ?C ?B. } => { ?C . } . */ rule "owl-rules.n3 44" when $Triple_1 : Triple( $A : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $A, predicate == "", $M : object ) $Triple_3 : Triple( $B : subject, predicate == "", object == $P ) $Triple_4 : Triple( subject == $B, predicate == "", $N : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) < Double.parseDouble( Triple.n3ValueToNumeric($N )) ) $Triple_6 : Triple( $C : subject, predicate == "", object == $A ) $Triple_7 : Triple( subject == $C, predicate == "", object == $B ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 45 ---------- /* { ?D ?C. ?D . } => { ?C . } . */ rule "owl-rules.n3 45" when $Triple_1 : Triple( $D : subject, predicate == "", $C : object ) $Triple_2 : Triple( subject == $D, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 46 ---------- /* { ?C ?L. ?L . } => { ?C . } . */ rule "owl-rules.n3 46" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 47 ---------- /* { ?D ?L3. ?L3 ?X. ?L3 ?L4. ?L4 ?Y. ?L4 . ?X ?A. ?Y ?B. ?Z ?C. ?C ?L1. ?L1 ?A. ?L1 ?L2. ?L2 ?B. ?L2 . } => { ?D ?Z. } . */ rule "owl-rules.n3 47" when $Triple_1 : Triple( $D : subject, predicate == "", $L3 : object ) $Triple_2 : Triple( $X : subject, predicate == "", $A : object ) $Triple_3 : Triple( $Y : subject, predicate == "", $B : object ) $Triple_4 : Triple( $Z : subject, predicate == "", $C : object ) $Triple_5 : Triple( subject == $C, predicate == "", $L1 : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $D ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Z ); insertLogical( newTriple ); end // ---------- N3 rule 48 ---------- /* { ?D ?L3. ?L3 ?X. ?L3 ?L4. ?L4 ?Y. ?L4 . ?X ?A. ?Y ?B. ?Z ?C. ?C ?L1. ?L1 ?A. ?L1 ?L2. ?L2 ?B. ?L2 . } => { ?D ?Z. } . */ rule "owl-rules.n3 48" when $Triple_1 : Triple( $D : subject, predicate == "", $L3 : object ) $Triple_2 : Triple( $X : subject, predicate == "", $A : object ) $Triple_3 : Triple( $Y : subject, predicate == "", $B : object ) $Triple_4 : Triple( $Z : subject, predicate == "", $C : object ) $Triple_5 : Triple( subject == $C, predicate == "", $L1 : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $D ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Z ); insertLogical( newTriple ); end // ---------- N3 rule 49 ---------- /* { ?A ?B. ?B ?A. } => { ?A ?B. } . */ rule "owl-rules.n3 49" when $Triple_1 : Triple( $A : subject, predicate == "", $B : object ) $Triple_2 : Triple( subject == $B, predicate == "", object == $A ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 50 ---------- /* { ?B ?L. ?L ?A. ?L . } => { ?A ?B. } . */ rule "owl-rules.n3 50" when $Triple_1 : Triple( $B : subject, predicate == "", $L : object ) then Triple newTriple; TripleResult newTripleResult; String $A = Triple.resource("A") ; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 51 ---------- /* { ?A ?X. ?X ?B. } => { ?A ?B. } . */ rule "owl-rules.n3 51" when $Triple_1 : Triple( $A : subject, predicate == "", $X : object ) $Triple_2 : Triple( subject == $X, predicate == "", $B : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 52 ---------- /* { ?B ?Y. ?A ?X. ?X ?Y. } => { ?A ?B. } . */ rule "owl-rules.n3 52" when $Triple_1 : Triple( $B : subject, predicate == "", $Y : object ) $Triple_2 : Triple( $A : subject, predicate == "", $X : object ) $Triple_3 : Triple( subject == $X, predicate == "", object == $Y ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 53 ---------- /* { ?B ?Y. ?A ?X. ?Y ?X. } => { ?A ?B. } . */ rule "owl-rules.n3 53" when $Triple_1 : Triple( $B : subject, predicate == "", $Y : object ) $Triple_2 : Triple( $A : subject, predicate == "", $X : object ) $Triple_3 : Triple( subject == $Y, predicate == "", object == $X ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 54 ---------- /* { ?B ?Y. ?A ?X. ?Y ?X. } => { ?A ?B. } . */ rule "owl-rules.n3 54" when $Triple_1 : Triple( $B : subject, predicate == "", $Y : object ) $Triple_2 : Triple( $A : subject, predicate == "", $X : object ) $Triple_3 : Triple( subject == $Y, predicate == "", object == $X ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 55 ---------- /* { ?R ?P. ?R ?A. ?S ?P. ?S ?A. } => { ?R ?S. } . */ rule "owl-rules.n3 55" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $A : object ) $Triple_3 : Triple( $S : subject, predicate == "", object == $P ) $Triple_4 : Triple( subject == $S, predicate == "", object == $A ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $R ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $S ); insertLogical( newTriple ); end // ---------- N3 rule 56 ---------- /* { ?A . ?A ?B. } => { ?A ?B. } . */ rule "owl-rules.n3 56" when $Triple_1 : Triple( $A : subject, predicate == "", object == "" ) $Triple_2 : Triple( subject == $A, predicate == "", $B : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 57 ---------- /* { ?R ?P. ?R ?M. ?S ?P. ?S ?M. ?T ?P. ?T ?M. ?C ?R. ?C ?S. } => { ?C ?T. } . */ rule "owl-rules.n3 57" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $M : object ) $Triple_3 : Triple( $S : subject, predicate == "", object == $P ) $Triple_4 : Triple( subject == $S, predicate == "", object == $M ) $Triple_5 : Triple( $T : subject, predicate == "", object == $P ) $Triple_6 : Triple( subject == $T, predicate == "", object == $M ) $Triple_7 : Triple( $C : subject, predicate == "", object == $R ) $Triple_8 : Triple( subject == $C, predicate == "", object == $S ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $T ); insertLogical( newTriple ); end // ---------- N3 rule 58 ---------- /* { ?X ?L. ?L ?U. ?U ?P. ?U ?I. ?L ?V. ?V ?Q. ?V ?J. ?Y ?R. ?Y ?K. _:list13 ?I. _:list12 ?J. _:list12 . _:list13 _:list12. _:list13 ?G. ?G ?K. ?P ?R. ?P ?A. ?Q ?R. ?Q ?B. ?A ?B. } => { ?X ?Y. } . */ rule "owl-rules.n3 58" when $Triple_1 : Triple( $X : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $U : object ) $Triple_3 : Triple( subject == $U, predicate == "", $P : object ) $Triple_4 : Triple( subject == $U, predicate == "", $I : object ) $Triple_5 : Triple( subject == $L, predicate == "", $V : object ) $Triple_6 : Triple( subject == $V, predicate == "", $Q : object ) $Triple_7 : Triple( subject == $V, predicate == "", $J : object ) $Triple_8 : Triple( $Y : subject, predicate == "", $R : object ) $Triple_9 : Triple( subject == $Y, predicate == "", $K : object ) eval( new Double( Double.parseDouble( Triple.n3ValueToNumeric($I )) + Double.parseDouble( Triple.n3ValueToNumeric($J )) ) == Double.parseDouble( Triple.n3ValueToNumeric($K )) ) $Triple_11 : Triple( subject == $P, predicate == "", object == $R ) $Triple_12 : Triple( subject == $P, predicate == "", $A : object ) $Triple_13 : Triple( subject == $Q, predicate == "", object == $R ) $Triple_14 : Triple( subject == $Q, predicate == "", $B : object ) $Triple_15 : Triple( subject == $A, predicate == "", object == $B ) then Double $G = new Double( Double.parseDouble( Triple.n3ValueToNumeric($I )) + Double.parseDouble( Triple.n3ValueToNumeric($J )) ); Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Y ); insertLogical( newTriple ); end // ---------- N3 rule 59 ---------- /* { ?R ?P. ?R ?A. ?P ?A. } => { ?R. } . */ rule "owl-rules.n3 59" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $A : object ) $Triple_3 : Triple( subject == $P, predicate == "", object == $A ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( "" ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $R ); insertLogical( newTriple ); end // ---------- N3 rule 60 ---------- /* { ?Y. ?X . } => { ?X ?Y. } . */ rule "owl-rules.n3 60" when $Triple_1 : Triple( subject == "", predicate == "", $Y : object ) $Triple_2 : Triple( $X : subject, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $Y ); insertLogical( newTriple ); end // ---------- N3 rule 61 ---------- /* { ?U. ?U ?P. ?U ?M. ?M 1. } => { ?P . } . */ rule "owl-rules.n3 61" when $Triple_1 : Triple( subject == "", predicate == "", $U : object ) $Triple_2 : Triple( subject == $U, predicate == "", $P : object ) $Triple_3 : Triple( subject == $U, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 62 ---------- /* { ?P ?Q. ?Q . } => { ?P . } . */ rule "owl-rules.n3 62" when $Triple_1 : Triple( $P : subject, predicate == "", $Q : object ) $Triple_2 : Triple( subject == $Q, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 63 ---------- /* { ?C ?L. ?L ?X. ?L . ?P ?C. } => { ?P . } . */ rule "owl-rules.n3 63" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( $P : subject, predicate == "", object == $C ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 64 ---------- /* { ?P ?Q. ?Q . } => { ?P . } . */ rule "owl-rules.n3 64" when $Triple_1 : Triple( $P : subject, predicate == "", $Q : object ) $Triple_2 : Triple( subject == $Q, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 65 ---------- /* { ?C ?L. ?L ?X. ?L . ?P ?C. } => { ?P . } . */ rule "owl-rules.n3 65" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( $P : subject, predicate == "", object == $C ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 66 ---------- /* { ?P ?Q. ?P ?Q. } => { ?P . } . */ rule "owl-rules.n3 66" when $Triple_1 : Triple( $P : subject, predicate == "", $Q : object ) $Triple_2 : Triple( subject == $P, predicate == "", object == $Q ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 67 ---------- /* { ?P ?R. ?R ?B. ?P ?B. ?D ?A. ?A ?B. ?P . } => { ?P . } . */ rule "owl-rules.n3 67" when $Triple_1 : Triple( $P : subject, predicate == "", $R : object ) $Triple_2 : Triple( subject == $R, predicate == "", $B : object ) $Triple_3 : Triple( subject == $P, predicate == "", object == $B ) $Triple_4 : Triple( $D : subject, predicate == "", $A : object ) $Triple_5 : Triple( subject == $A, predicate == "", object == $B ) $Triple_6 : Triple( subject == $P, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 68 ---------- /* { ?P ?R. ?R ?B. ?P ?B. ?P . } => { ?P . } . */ rule "owl-rules.n3 68" when $Triple_1 : Triple( $P : subject, predicate == "", $R : object ) $Triple_2 : Triple( subject == $R, predicate == "", $B : object ) $Triple_3 : Triple( subject == $P, predicate == "", object == $B ) $Triple_4 : Triple( subject == $P, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "" ); insertLogical( newTriple ); end // ---------- N3 rule 69 ---------- /* { ?C ?R. ?R ?P. ?R ?A. ?X ?P ?Y. ?Y ?A. } => { ?X ?C. } . */ rule "owl-rules.n3 69" when $Triple_1 : Triple( $C : subject, predicate == "", $R : object ) $Triple_2 : Triple( subject == $R, predicate == "", $P : object ) $Triple_3 : Triple( subject == $R, predicate == "", $A : object ) $Triple_4 : Triple( $X : subject, predicate == $P, $Y : object ) $Triple_5 : Triple( subject == $Y, predicate == "", object == $A ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 70 ---------- /* { ?C ?L. ?L ?X. } => { ?X ?C. } . */ rule "owl-rules.n3 70" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $X : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 71 ---------- /* { ?C ?L. ?X ?L. } => { ?X ?C. } . */ rule "owl-rules.n3 71" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( $X : subject, predicate == "", object == $L ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 72 ---------- /* { ?C ?D. ?D ?L. ?X ?L. } => { ?X ?C. } . */ rule "owl-rules.n3 72" when $Triple_1 : Triple( $C : subject, predicate == "", $D : object ) $Triple_2 : Triple( subject == $D, predicate == "", $L : object ) $Triple_3 : Triple( $X : subject, predicate == "", object == $L ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 73 ---------- /* { ?C ?L. ?X ?L. } => { ?X ?C. } . */ rule "owl-rules.n3 73" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( $X : subject, predicate == "", object == $L ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 74 ---------- /* { ?C ?L. ?L ?A. ?L ?B. ?A ?B. } => { ?X ?C. } . */ rule "owl-rules.n3 74" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $A : object ) $Triple_3 : Triple( subject == $L, predicate == "", $B : object ) $Triple_4 : Triple( subject == $A, predicate == "", object == $B ) then Triple newTriple; TripleResult newTripleResult; String $X = Triple.resource("X") ; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 75 ---------- /* { ?C ?L. ?L ?A. ?L ?B. ?A ?P. ?A . ?B ?P. ?B ?M. ?M 0. } => { ?X ?C. } . */ rule "owl-rules.n3 75" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( subject == $L, predicate == "", $A : object ) $Triple_3 : Triple( subject == $L, predicate == "", $B : object ) $Triple_4 : Triple( subject == $A, predicate == "", $P : object ) $Triple_5 : Triple( subject == $A, predicate == "", object == "" ) $Triple_6 : Triple( subject == $B, predicate == "", object == $P ) $Triple_7 : Triple( subject == $B, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 0 ) then Triple newTriple; TripleResult newTripleResult; String $X = Triple.resource("X") ; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 76 ---------- /* { ?R ?P. ?R ?A. ?S ?P. ?S ?A. ?X ?R. } => { ?X ?S. } . */ rule "owl-rules.n3 76" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $A : object ) $Triple_3 : Triple( $S : subject, predicate == "", object == $P ) $Triple_4 : Triple( subject == $S, predicate == "", object == $A ) $Triple_5 : Triple( $X : subject, predicate == "", object == $R ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $S ); insertLogical( newTriple ); end // ---------- N3 rule 77 ---------- /* { ?C ?A. ?B ?A. ?X ?C. } => { ?X ?B. } . */ rule "owl-rules.n3 77" when $Triple_1 : Triple( $C : subject, predicate == "", $A : object ) $Triple_2 : Triple( $B : subject, predicate == "", object == $A ) $Triple_3 : Triple( $X : subject, predicate == "", object == $C ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 78 ---------- /* { ?R ?P. ?R ?A. ?X ?P ?Y. ?X ?R. } => { ?Y ?A. } . */ rule "owl-rules.n3 78" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $A : object ) $Triple_3 : Triple( $X : subject, predicate == $P, $Y : object ) $Triple_4 : Triple( subject == $X, predicate == "", object == $R ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $Y ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $A ); insertLogical( newTriple ); end // ---------- N3 rule 79 ---------- /* { ?R ?P. ?R ?Y. ?X ?P ?Y. } => { ?X ?R. } . */ rule "owl-rules.n3 79" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $Y : object ) $Triple_3 : Triple( $X : subject, predicate == $P, object == $Y ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $R ); insertLogical( newTriple ); end // ---------- N3 rule 80 ---------- /* { ?R ?P. ?R . ?P ?Q. ?P ?O. ?Y ?Q ?X. ?Y ?O. } => { ?X ?R. } . */ rule "owl-rules.n3 80" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", object == "" ) $Triple_3 : Triple( subject == $P, predicate == "", $Q : object ) $Triple_4 : Triple( subject == $P, predicate == "", $O : object ) $Triple_5 : Triple( $Y : subject, predicate == $Q, $X : object ) $Triple_6 : Triple( subject == $Y, predicate == "", object == $O ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $R ); insertLogical( newTriple ); end // ---------- N3 rule 81 ---------- /* { ?R ?P. ?R ?A. ?X ?P ?Y. ?Y ?A. } => { ?X ?R. } . */ rule "owl-rules.n3 81" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $A : object ) $Triple_3 : Triple( $X : subject, predicate == $P, $Y : object ) $Triple_4 : Triple( subject == $Y, predicate == "", object == $A ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $R ); insertLogical( newTriple ); end // ---------- N3 rule 82 ---------- /* { ?R ?P. ?R ?M. ?M 1. ?P . } => { ?X ?R. } . */ rule "owl-rules.n3 82" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_4 : Triple( subject == $P, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; String $X = Triple.resource("X") ; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $R ); insertLogical( newTriple ); end // ---------- N3 rule 83 ---------- /* { ?R ?P. ?R ?M. ?M 1. ?P ?A. ?A ?B. ?P ?B. ?P . } => { ?X ?R. } . */ rule "owl-rules.n3 83" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_4 : Triple( subject == $P, predicate == "", $A : object ) $Triple_5 : Triple( subject == $A, predicate == "", $B : object ) $Triple_6 : Triple( subject == $P, predicate == "", object == $B ) $Triple_7 : Triple( subject == $P, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; String $X = Triple.resource("X") ; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $R ); insertLogical( newTriple ); end // ---------- N3 rule 84 ---------- /* { ?L ?M. ?A ?L. } => { ?A ?M. } . */ rule "owl-rules.n3 84" when $Triple_1 : Triple( $A : subject, predicate == "", $L : object ) then Triple newTriple; TripleResult newTripleResult; String $M = Triple.resource("M") ; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $M ); insertLogical( newTriple ); end // ---------- N3 rule 85 ---------- /* { ?R ?P. ?R ?M. ?P ?X. ?X ?L. ?L ?N. ?M ?N. } => { ?X ?L. } . */ rule "owl-rules.n3 85" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $M : object ) $Triple_3 : Triple( subject == $P, predicate == "", $X : object ) $Triple_4 : Triple( subject == $X, predicate == "", $L : object ) $Triple_5 : Triple( subject == $L, predicate == "", $N : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) >= Double.parseDouble( Triple.n3ValueToNumeric($N )) ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $L ); insertLogical( newTriple ); end // ---------- N3 rule 86 ---------- /* { ?A ?C. ?B ?C. } => { ?B ?A. } . */ rule "owl-rules.n3 86" when $Triple_1 : Triple( $A : subject, predicate == "", $C : object ) $Triple_2 : Triple( $B : subject, predicate == "", object == $C ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $B ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $A ); insertLogical( newTriple ); end // ---------- N3 rule 87 ---------- /* { ?A ?C. ?C ?L. ?L ?I. ?B ?I. } => { ?A ?B. } . */ rule "owl-rules.n3 87" when $Triple_1 : Triple( $A : subject, predicate == "", $C : object ) $Triple_2 : Triple( subject == $C, predicate == "", $L : object ) $Triple_3 : Triple( subject == $L, predicate == "", $I : object ) $Triple_4 : Triple( $B : subject, predicate == "", object == $I ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 88 ---------- /* { ?A ?C. ?C ?D. ?D ?L. ?L ?B. } => { ?A ?B. } . */ rule "owl-rules.n3 88" when $Triple_1 : Triple( $A : subject, predicate == "", $C : object ) $Triple_2 : Triple( subject == $C, predicate == "", $D : object ) $Triple_3 : Triple( subject == $D, predicate == "", $L : object ) $Triple_4 : Triple( subject == $L, predicate == "", $B : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 89 ---------- /* { ?T ?P. ?T ?M. ?M 1. ?C ?T. ?A ?C. ?A ?R. ?R ?P. ?R ?V. ?B ?C. ?B ?S. ?S ?P. ?S ?W. } => { ?A ?B. } . */ rule "owl-rules.n3 89" when $Triple_1 : Triple( $T : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $T, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_4 : Triple( $C : subject, predicate == "", object == $T ) $Triple_5 : Triple( $A : subject, predicate == "", object == $C ) $Triple_6 : Triple( subject == $A, predicate == "", $R : object ) $Triple_7 : Triple( subject == $R, predicate == "", object == $P ) $Triple_8 : Triple( subject == $R, predicate == "", $V : object ) $Triple_9 : Triple( $B : subject, predicate == "", object == $C ) $Triple_10 : Triple( subject == $B, predicate == "", $S : object ) $Triple_11 : Triple( subject == $S, predicate == "", object == $P ) $Triple_12 : Triple( subject == $S, predicate == "", $W : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 90 ---------- /* { ?R ?P. ?R . ?S ?P. ?S ?D. ?D . ?E ?R. ?E ?S. } => { ?R ?S. } . */ rule "owl-rules.n3 90" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", object == "" ) $Triple_3 : Triple( $S : subject, predicate == "", object == $P ) $Triple_4 : Triple( subject == $S, predicate == "", $D : object ) $Triple_5 : Triple( subject == $D, predicate == "", object == "" ) $Triple_6 : Triple( $E : subject, predicate == "", object == $R ) $Triple_7 : Triple( subject == $E, predicate == "", object == $S ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $R ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $S ); insertLogical( newTriple ); end // ---------- N3 rule 91 ---------- /* { ?P ?C. ?C ?D. } => { ?P ?D. } . */ rule "owl-rules.n3 91" when $Triple_1 : Triple( $P : subject, predicate == "", $C : object ) $Triple_2 : Triple( subject == $C, predicate == "", $D : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $D ); insertLogical( newTriple ); end // ---------- N3 rule 92 ---------- /* { ?P ?Q. ?P ?C. } => { ?Q ?C. } . */ rule "owl-rules.n3 92" when $Triple_1 : Triple( $P : subject, predicate == "", $Q : object ) $Triple_2 : Triple( subject == $P, predicate == "", $C : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $Q ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 93 ---------- /* { ?P ?R. ?R ?B. ?P ?B. ?D ?A. ?A ?B. ?P . } => { ?P ?D. } . */ rule "owl-rules.n3 93" when $Triple_1 : Triple( $P : subject, predicate == "", $R : object ) $Triple_2 : Triple( subject == $R, predicate == "", $B : object ) $Triple_3 : Triple( subject == $P, predicate == "", object == $B ) $Triple_4 : Triple( $D : subject, predicate == "", $A : object ) $Triple_5 : Triple( subject == $A, predicate == "", object == $B ) $Triple_6 : Triple( subject == $P, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $D ); insertLogical( newTriple ); end // ---------- N3 rule 94 ---------- /* { ?P ?C. ?C ?D. } => { ?P ?D. } . */ rule "owl-rules.n3 94" when $Triple_1 : Triple( $P : subject, predicate == "", $C : object ) $Triple_2 : Triple( subject == $C, predicate == "", $D : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $D ); insertLogical( newTriple ); end // ---------- N3 rule 95 ---------- /* { ?P ?Q. ?P ?C. } => { ?Q ?C. } . */ rule "owl-rules.n3 95" when $Triple_1 : Triple( $P : subject, predicate == "", $Q : object ) $Triple_2 : Triple( subject == $P, predicate == "", $C : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $Q ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 96 ---------- /* { ?R ?P. ?R ?A. ?R. } => { ?P ?A. } . */ rule "owl-rules.n3 96" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $A : object ) $Triple_3 : Triple( subject == "", predicate == "", object == $R ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $A ); insertLogical( newTriple ); end // ---------- N3 rule 97 ---------- /* { ?P ?C. ?P ?D. ?E ?L. ?L ?C. ?L ?D. } => { ?P ?E. } . */ rule "owl-rules.n3 97" when $Triple_1 : Triple( $P : subject, predicate == "", $C : object ) $Triple_2 : Triple( subject == $P, predicate == "", $D : object ) $Triple_3 : Triple( $E : subject, predicate == "", $L : object ) $Triple_4 : Triple( subject == $L, predicate == "", object == $C ) $Triple_5 : Triple( subject == $L, predicate == "", object == $D ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $E ); insertLogical( newTriple ); end // ---------- N3 rule 98 ---------- /* { ?A ?R. ?R ?P. ?R ?C. ?C . ?B ?S. ?S ?P. ?S ?D. ?D . } => { ?A ?B. } . */ rule "owl-rules.n3 98" when $Triple_1 : Triple( $A : subject, predicate == "", $R : object ) $Triple_2 : Triple( subject == $R, predicate == "", $P : object ) $Triple_3 : Triple( subject == $R, predicate == "", $C : object ) $Triple_4 : Triple( subject == $C, predicate == "", object == "" ) $Triple_5 : Triple( $B : subject, predicate == "", $S : object ) $Triple_6 : Triple( subject == $S, predicate == "", object == $P ) $Triple_7 : Triple( subject == $S, predicate == "", $D : object ) $Triple_8 : Triple( subject == $D, predicate == "", object == "" ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 99 ---------- /* { ?A ?R. ?R ?P. ?R ?N. ?B ?S. ?S ?P. ?S ?M. ?M ?N. } => { ?A ?B. } . */ rule "owl-rules.n3 99" when $Triple_1 : Triple( $A : subject, predicate == "", $R : object ) $Triple_2 : Triple( subject == $R, predicate == "", $P : object ) $Triple_3 : Triple( subject == $R, predicate == "", $N : object ) $Triple_4 : Triple( $B : subject, predicate == "", $S : object ) $Triple_5 : Triple( subject == $S, predicate == "", object == $P ) $Triple_6 : Triple( subject == $S, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) < Double.parseDouble( Triple.n3ValueToNumeric($N )) ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $B ); insertLogical( newTriple ); end // ---------- N3 rule 100 ---------- /* { ?U ?V. ?V ?K. ?K ?X. ?K ?K1. ?K1 ?Y. ?K1 . ?A ?X. ?L ?A. ?L ?L1. ?L1 ?B. ?L1 . ?B ?Y. } => { ?U ?L. } . */ rule "owl-rules.n3 100" when $Triple_1 : Triple( $U : subject, predicate == "", $V : object ) $Triple_2 : Triple( subject == $V, predicate == "", $K : object ) $Triple_3 : Triple( $A : subject, predicate == "", $X : object ) $Triple_4 : Triple( $B : subject, predicate == "", $Y : object ) then Triple newTriple; TripleResult newTripleResult; String $L = Triple.resource("L") ; newTriple = new Triple( ); newTriple.setSubject( $U ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $L ); insertLogical( newTriple ); end // ---------- N3 rule 101 ---------- /* { ?U ?V. ?V ?K. ?K ?X. ?K ?K1. ?K1 ?Y. ?K1 . ?A ?Y. ?L ?A. ?L ?L1. ?L1 ?B. ?L1 . ?B ?X. } => { ?U ?L. } . */ rule "owl-rules.n3 101" when $Triple_1 : Triple( $U : subject, predicate == "", $V : object ) $Triple_2 : Triple( subject == $V, predicate == "", $K : object ) $Triple_3 : Triple( $A : subject, predicate == "", $Y : object ) $Triple_4 : Triple( $B : subject, predicate == "", $X : object ) then Triple newTriple; TripleResult newTripleResult; String $L = Triple.resource("L") ; newTriple = new Triple( ); newTriple.setSubject( $U ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $L ); insertLogical( newTriple ); end // ---------- N3 rule 102 ---------- /* { ?U ?K. ?L ?K. } => { ?U ?L. } . */ rule "owl-rules.n3 102" when $Triple_1 : Triple( $U : subject, predicate == "", $K : object ) $Triple_2 : Triple( $L : subject, predicate == "", object == $K ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $U ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $L ); insertLogical( newTriple ); end // ---------- N3 rule 103 ---------- /* { ?I ?V. ?V ?K. ?K ?X. ?K ?Y. ?A ?X. ?L ?A. ?L ?B. ?B ?Y. } => { ?I ?L. } . */ rule "owl-rules.n3 103" when $Triple_1 : Triple( $I : subject, predicate == "", $V : object ) $Triple_2 : Triple( subject == $V, predicate == "", $K : object ) $Triple_3 : Triple( subject == $K, predicate == "", $X : object ) $Triple_4 : Triple( subject == $K, predicate == "", $Y : object ) $Triple_5 : Triple( $A : subject, predicate == "", object == $X ) $Triple_6 : Triple( $L : subject, predicate == "", object == $A ) $Triple_7 : Triple( subject == $L, predicate == "", $B : object ) $Triple_8 : Triple( subject == $B, predicate == "", object == $Y ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $I ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $L ); insertLogical( newTriple ); end // ---------- N3 rule 104 ---------- /* { ?I ?K. ?K ?R. ?R ?P. ?R ?M. ?K ?S. ?S ?P. ?S ?N. ?N ?M. ?L ?T. ?L . ?T ?P. ?T ?O. ?O ?M. } => { ?I ?L. } . */ rule "owl-rules.n3 104" when $Triple_1 : Triple( $I : subject, predicate == "", $K : object ) $Triple_2 : Triple( subject == $K, predicate == "", $R : object ) $Triple_3 : Triple( subject == $R, predicate == "", $P : object ) $Triple_4 : Triple( subject == $R, predicate == "", $M : object ) $Triple_5 : Triple( subject == $K, predicate == "", $S : object ) $Triple_6 : Triple( subject == $S, predicate == "", object == $P ) $Triple_7 : Triple( subject == $S, predicate == "", $N : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($N )) == Double.parseDouble( Triple.n3ValueToNumeric($M )) ) $Triple_9 : Triple( $T : subject, predicate == "", object == $P ) $Triple_10 : Triple( subject == $T, predicate == "", $O : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($O )) == Double.parseDouble( Triple.n3ValueToNumeric($M )) ) then Triple newTriple; TripleResult newTripleResult; String $L = Triple.resource("L") ; newTriple = new Triple( ); newTriple.setSubject( $I ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $L ); insertLogical( newTriple ); end // ---------- N3 rule 105 ---------- /* { ?L ?R. ?R ?P. ?R ?M. ?L ?S. ?S ?P. ?S ?N. ?N ?M. ?C ?P. ?C ?O. ?O ?M. } => { ?C ?L. } . */ rule "owl-rules.n3 105" when $Triple_1 : Triple( $L : subject, predicate == "", $R : object ) $Triple_2 : Triple( subject == $R, predicate == "", $P : object ) $Triple_3 : Triple( subject == $R, predicate == "", $M : object ) $Triple_4 : Triple( subject == $L, predicate == "", $S : object ) $Triple_5 : Triple( subject == $S, predicate == "", object == $P ) $Triple_6 : Triple( subject == $S, predicate == "", $N : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($N )) == Double.parseDouble( Triple.n3ValueToNumeric($M )) ) $Triple_8 : Triple( $C : subject, predicate == "", object == $P ) $Triple_9 : Triple( subject == $C, predicate == "", $O : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($O )) == Double.parseDouble( Triple.n3ValueToNumeric($M )) ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $L ); insertLogical( newTriple ); end // ---------- N3 rule 106 ---------- /* { ?U ?L. ?K ?L. } => { ?U ?K. } . */ rule "owl-rules.n3 106" when $Triple_1 : Triple( $U : subject, predicate == "", $L : object ) $Triple_2 : Triple( $K : subject, predicate == "", object == $L ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $U ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $K ); insertLogical( newTriple ); end // ---------- N3 rule 107 ---------- /* { ?C ?R. ?R ?P. ?R ?N. _:list16 ?N. _:list15 1. _:list15 . _:list16 _:list15. _:list16 ?M. } => { ?C ?P. ?C ?M. } . */ rule "owl-rules.n3 107" when $Triple_1 : Triple( $C : subject, predicate == "", $R : object ) $Triple_2 : Triple( subject == $R, predicate == "", $P : object ) $Triple_3 : Triple( subject == $R, predicate == "", $N : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $P ); insertLogical( newTriple ); String $M = Triple.resource("M") ; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $M ); insertLogical( newTriple ); end // ---------- N3 rule 108 ---------- /* { ?C ?R. ?R ?P. ?R ?M. _:list19 ?M. _:list18 1. _:list18 . _:list19 _:list18. _:list19 ?N. } => { ?C ?P. ?C ?N. } . */ rule "owl-rules.n3 108" when $Triple_1 : Triple( $C : subject, predicate == "", $R : object ) $Triple_2 : Triple( subject == $R, predicate == "", $P : object ) $Triple_3 : Triple( subject == $R, predicate == "", $M : object ) then Double $N = new Double( Double.parseDouble( Triple.n3ValueToNumeric($M )) + 1 ); Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $P ); insertLogical( newTriple ); newTriple = new Triple( ); newTriple.setSubject( $C ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $N ); insertLogical( newTriple ); end // ---------- N3 rule 109 ---------- /* { ?R ?P. ?R ?M. ?M 1. ?P ?A. ?A ?L. ?L ?O. ?P ?B. ?B ?K. ?K ?O. ?S ?R. } => { ?S ?P ?O. } . */ rule "owl-rules.n3 109" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_4 : Triple( subject == $P, predicate == "", $A : object ) $Triple_5 : Triple( subject == $A, predicate == "", $L : object ) $Triple_6 : Triple( subject == $L, predicate == "", $O : object ) $Triple_7 : Triple( subject == $P, predicate == "", $B : object ) $Triple_8 : Triple( subject == $B, predicate == "", $K : object ) $Triple_9 : Triple( subject == $K, predicate == "", object == $O ) $Triple_10 : Triple( $S : subject, predicate == "", object == $R ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $S ); newTriple.setPredicate( $P.toString() ); newTriple.setObject( $O ); insertLogical( newTriple ); end // ---------- N3 rule 110 ---------- /* { ?R ?P. ?R ?C. ?A ?R. ?S ?A. } => { ?S ?P _:O. _:O ?C. } . */ rule "owl-rules.n3 110" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $C : object ) $Triple_3 : Triple( $A : subject, predicate == "", object == $R ) $Triple_4 : Triple( $S : subject, predicate == "", object == $A ) then Triple newTriple; TripleResult newTripleResult; String $O = Triple.resource("O") ; newTriple = new Triple( ); newTriple.setSubject( $S ); newTriple.setPredicate( $P.toString() ); newTriple.setObject( $O ); insertLogical( newTriple ); newTriple = new Triple( ); newTriple.setSubject( $O ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 111 ---------- /* { ?A . ?X ?A. } => false. */ rule "owl-rules.n3 111" when $Triple_1 : Triple( $A : subject, predicate == "", object == "" ) $Triple_2 : Triple( $X : subject, predicate == "", object == $A ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId111"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_111_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 112 ---------- /* { ?X. } => false. */ rule "owl-rules.n3 112" when then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId112"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_112_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 113 ---------- /* { ?X. } => false. */ rule "owl-rules.n3 113" when then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId113"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_113_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 114 ---------- /* { ?Y ?Z. ?X ?Y. ?X ?Z. } => false. */ rule "owl-rules.n3 114" when $Triple_1 : Triple( $Y : subject, predicate == "", $Z : object ) $Triple_2 : Triple( $X : subject, predicate == "", object == $Y ) $Triple_3 : Triple( subject == $X, predicate == "", object == $Z ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId114"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_114_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 115 ---------- /* { ?Y ?X. ?Y ?X. } => false. */ rule "owl-rules.n3 115" when $Triple_1 : Triple( $Y : subject, predicate == "", $X : object ) $Triple_2 : Triple( subject == $Y, predicate == "", object == $X ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId115"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_115_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 116 ---------- /* { ?P . ?S ?P ?X. ?S ?P ?Y. ?X ?Y. } => false. */ rule "owl-rules.n3 116" when $Triple_1 : Triple( $P : subject, predicate == "", object == "" ) $Triple_2 : Triple( $S : subject, predicate == $P, $X : object ) $Triple_3 : Triple( subject == $S, predicate == $P, $Y : object ) $Triple_4 : Triple( subject == $X, predicate == "", object == $Y ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId116"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_116_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 117 ---------- /* { ?P . ?X ?P ?O. ?Y ?P ?O. ?X ?Y. } => false. */ rule "owl-rules.n3 117" when $Triple_1 : Triple( $P : subject, predicate == "", object == "" ) $Triple_2 : Triple( $X : subject, predicate == $P, $O : object ) $Triple_3 : Triple( $Y : subject, predicate == $P, object == $O ) $Triple_4 : Triple( subject == $X, predicate == "", object == $Y ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId117"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_117_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 118 ---------- /* { ?A ?A. } => false. */ rule "owl-rules.n3 118" when $Triple_1 : Triple( $A : subject, predicate == "", object == $A ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId118"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_118_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 119 ---------- /* { ?R ?P. ?R ?M. ?M 0. ?X ?P ?Y. ?X ?R. } => false. */ rule "owl-rules.n3 119" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 0 ) $Triple_4 : Triple( $X : subject, predicate == $P, $Y : object ) $Triple_5 : Triple( subject == $X, predicate == "", object == $R ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId119"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_119_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 120 ---------- /* { ?R ?P. ?R ?M. ?M 1. ?X ?P ?Y1. ?X ?P ?Y2. ?X ?R. ?Y2 ?Y1. } => false. */ rule "owl-rules.n3 120" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 1 ) $Triple_4 : Triple( $X : subject, predicate == $P, $Y1 : object ) $Triple_5 : Triple( subject == $X, predicate == $P, $Y2 : object ) $Triple_6 : Triple( subject == $X, predicate == "", object == $R ) $Triple_7 : Triple( subject == $Y2, predicate == "", object == $Y1 ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId120"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_120_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 121 ---------- /* { ?R ?P. ?R ?M. ?M 2. ?X ?P ?Y1. ?X ?P ?Y2. ?X ?P ?Y3. ?X ?R. ?Y2 ?Y1. ?Y3 ?Y1. ?Y3 ?Y2. } => false. */ rule "owl-rules.n3 121" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $M : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) == 2 ) $Triple_4 : Triple( $X : subject, predicate == $P, $Y1 : object ) $Triple_5 : Triple( subject == $X, predicate == $P, $Y2 : object ) $Triple_6 : Triple( subject == $X, predicate == $P, $Y3 : object ) $Triple_7 : Triple( subject == $X, predicate == "", object == $R ) $Triple_8 : Triple( subject == $Y2, predicate == "", object == $Y1 ) $Triple_9 : Triple( subject == $Y3, predicate == "", object == $Y1 ) $Triple_10 : Triple( subject == $Y3, predicate == "", object == $Y2 ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId121"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_121_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 122 ---------- /* { ?R ?P. ?R ?M. ?P ?X. ?X ?L. ?L ?N. ?M ?N. } => false. */ rule "owl-rules.n3 122" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $M : object ) $Triple_3 : Triple( subject == $P, predicate == "", $X : object ) $Triple_4 : Triple( subject == $X, predicate == "", $L : object ) $Triple_5 : Triple( subject == $L, predicate == "", $N : object ) eval( Double.parseDouble( Triple.n3ValueToNumeric($M )) > Double.parseDouble( Triple.n3ValueToNumeric($N )) ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId122"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_122_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 123 ---------- /* { ?R ?P. ?R ?V. ?X ?P ?Y. ?X ?R. ?V ?Y. } => false. */ rule "owl-rules.n3 123" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $V : object ) $Triple_3 : Triple( $X : subject, predicate == $P, $Y : object ) $Triple_4 : Triple( subject == $X, predicate == "", object == $R ) $Triple_5 : Triple( subject == $V, predicate == "", object == $Y ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId123"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_123_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 124 ---------- /* { ?R ?P. ?R ?S. ?S . ?X ?R. } => false. */ rule "owl-rules.n3 124" when $Triple_1 : Triple( $R : subject, predicate == "", $P : object ) $Triple_2 : Triple( subject == $R, predicate == "", $S : object ) $Triple_3 : Triple( subject == $S, predicate == "", object == "" ) $Triple_4 : Triple( $X : subject, predicate == "", object == $R ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId124"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_124_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 125 ---------- /* { ?L. } => false. */ rule "owl-rules.n3 125" when $Triple_1 : Triple( subject == "", predicate == "", $L : object ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId125"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_125_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 126 ---------- /* { ?C ?L. ?P ?C. ?X ?P ?O. ?L ?X. } => false. */ rule "owl-rules.n3 126" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( $P : subject, predicate == "", object == $C ) $Triple_3 : Triple( $X : subject, predicate == $P, $O : object ) $Triple_4 : Triple( subject == $L, predicate == "", object == $X ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId126"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_126_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 127 ---------- /* { ?C ?L. ?P ?C. ?S ?P ?X. ?L ?X. } => false. */ rule "owl-rules.n3 127" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( $P : subject, predicate == "", object == $C ) $Triple_3 : Triple( $S : subject, predicate == $P, $X : object ) $Triple_4 : Triple( subject == $L, predicate == "", object == $X ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId127"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_127_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 128 ---------- /* { ?C ?L. ?X ?C. ?L ?X. } => false. */ rule "owl-rules.n3 128" when $Triple_1 : Triple( $C : subject, predicate == "", $L : object ) $Triple_2 : Triple( $X : subject, predicate == "", object == $C ) $Triple_3 : Triple( subject == $L, predicate == "", object == $X ) then Triple newTriple; TripleResult newTripleResult; String integrityConstraintId = ":IntegrityConstraintId128"; newTripleResult = new TripleResult( integrityConstraintId, ":falseModel_because", ":rule_128_is_violated" ); insertLogical( newTripleResult ); end // ---------- N3 rule 129 ---------- /* { ?S ?X. } => { ?S ?X. } . */ rule "owl-rules.n3 129" when $Triple_1 : Triple( $S : subject, predicate == "", $X : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $S ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $X ); insertLogical( newTriple ); end // ---------- N3 rule 130 ---------- /* { ?S ?B. ?B ?X. } => { ?S ?X. } . */ rule "owl-rules.n3 130" when $Triple_1 : Triple( $B : subject, predicate == "", $X : object ) then Triple newTriple; TripleResult newTripleResult; String $S = Triple.resource("S") ; newTriple = new Triple( ); newTriple.setSubject( $S ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $X ); insertLogical( newTriple ); end // ---------- N3 rule 131 ---------- /* { } => { ?X. } . */ rule "owl-rules.n3 131" when eval( true ) then Triple newTriple; TripleResult newTripleResult; String $X = Triple.resource("X") ; newTriple = new Triple( ); newTriple.setSubject( "( " + " " + " )" ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $X ); insertLogical( newTriple ); end // ---------- N3 rule 132 ---------- /* { ?S ?A. ?A ?X. ?S ?B. ?B ?X. } => { ?S ?X. } . */ rule "owl-rules.n3 132" when $Triple_1 : Triple( $A : subject, predicate == "", $X : object ) $Triple_2 : Triple( $B : subject, predicate == "", object == $X ) then Triple newTriple; TripleResult newTripleResult; String $S = Triple.resource("S") ; newTriple = new Triple( ); newTriple.setSubject( $S ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $X ); insertLogical( newTriple ); end // ---------- N3 rule 133 ---------- /* { } => { ?X . } . */ rule "owl-rules.n3 133" when eval( true ) then Triple newTriple; TripleResult newTripleResult; String $X = Triple.resource("X") ; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "( " + " " + " )" ); insertLogical( newTriple ); end // ---------- N3 rule 134 ---------- /* { ?S ?A. ?X ?E. ?E ?A. ?S ?B. ?X ?B. } => { ?X ?S. } . */ rule "owl-rules.n3 134" when $Triple_1 : Triple( $X : subject, predicate == "", $E : object ) $Triple_2 : Triple( subject == $E, predicate == "", $A : object ) $Triple_3 : Triple( subject == $X, predicate == "", $B : object ) then Triple newTriple; TripleResult newTripleResult; String $S = Triple.resource("S") ; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $S ); insertLogical( newTriple ); end // ---------- N3 rule 135 ---------- /* { } => { ?X . } . */ rule "owl-rules.n3 135" when eval( true ) then Triple newTriple; TripleResult newTripleResult; String $X = Triple.resource("X") ; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "( " + " " + " )" ); insertLogical( newTriple ); end // ---------- N3 rule 136 ---------- /* { ?S ?A. ?X ?A. ?S ?B. ?X ?B. } => { ?X ?S. } . */ rule "owl-rules.n3 136" when $Triple_1 : Triple( $X : subject, predicate == "", $A : object ) $Triple_2 : Triple( subject == $X, predicate == "", $B : object ) then Triple newTriple; TripleResult newTripleResult; String $S = Triple.resource("S") ; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $S ); insertLogical( newTriple ); end // ---------- N3 rule 137 ---------- /* { ?S ?A. ?X ?A. } => { ?X ?S. } . */ rule "owl-rules.n3 137" when $Triple_1 : Triple( $X : subject, predicate == "", $A : object ) then Triple newTriple; TripleResult newTripleResult; String $S = Triple.resource("S") ; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $S ); insertLogical( newTriple ); end // ---------- N3 rule 138 ---------- /* { ?S ?B. ?X ?B. } => { ?X ?S. } . */ rule "owl-rules.n3 138" when $Triple_1 : Triple( $X : subject, predicate == "", $B : object ) then Triple newTriple; TripleResult newTripleResult; String $S = Triple.resource("S") ; newTriple = new Triple( ); newTriple.setSubject( $X ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $S ); insertLogical( newTriple ); end // ---------- N3 rule 139 ---------- /* { } => { 0. } . */ rule "owl-rules.n3 139" when eval( true ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( "( " + " " + " )" ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "0" ); insertLogical( newTriple ); end // ---------- N3 rule 140 ---------- /* { ?A ?B. ?B ?M. _:list22 ?M. _:list21 1. _:list21 . _:list22 _:list21. _:list22 ?N. } => { ?A ?N. } . */ rule "owl-rules.n3 140" when $Triple_1 : Triple( $B : subject, predicate == "", $M : object ) then Double $N = new Double( Double.parseDouble( Triple.n3ValueToNumeric($M )) + 1 ); Triple newTriple; TripleResult newTripleResult; String $A = Triple.resource("A") ; newTriple = new Triple( ); newTriple.setSubject( $A ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $N ); insertLogical( newTriple ); end // ---------- N3 rule 141 ---------- /* { } => { ?C. } . */ rule "owl-rules.n3 141" when eval( true ) then Triple newTriple; TripleResult newTripleResult; String $C = Triple.resource("C") ; newTriple = new Triple( ); newTriple.setSubject( "( " + " " + " )" ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 142 ---------- /* { ?L ?A. ?L ?B. ?A ?C. ?B ?C. } => { ?L ?C. } . */ rule "owl-rules.n3 142" when $Triple_1 : Triple( $A : subject, predicate == "", $C : object ) $Triple_2 : Triple( $B : subject, predicate == "", object == $C ) then Triple newTriple; TripleResult newTripleResult; String $L = Triple.resource("L") ; newTriple = new Triple( ); newTriple.setSubject( $L ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 143 ---------- /* { ?L ?A. ?A ?C. } => { ?L ?C. } . */ rule "owl-rules.n3 143" when $Triple_1 : Triple( $A : subject, predicate == "", $C : object ) then Triple newTriple; TripleResult newTripleResult; String $L = Triple.resource("L") ; newTriple = new Triple( ); newTriple.setSubject( $L ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 144 ---------- /* { ?L ?B. ?B ?C. } => { ?L ?C. } . */ rule "owl-rules.n3 144" when $Triple_1 : Triple( $B : subject, predicate == "", $C : object ) then Triple newTriple; TripleResult newTripleResult; String $L = Triple.resource("L") ; newTriple = new Triple( ); newTriple.setSubject( $L ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 145 ---------- /* { } => { ?P . } . */ rule "owl-rules.n3 145" when eval( true ) then Triple newTriple; TripleResult newTripleResult; String $P = Triple.resource("P") ; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "( " + " " + " )" ); insertLogical( newTriple ); end // ---------- N3 rule 146 ---------- /* { ?S ?A. ?A ?P ?A. ?S ?B. ?P ?B. } => { ?P ?S. } . */ rule "owl-rules.n3 146" when $Triple_1 : Triple( $A : subject, $P : predicate, object == $A ) $Triple_2 : Triple( subject == $P, predicate == "", $B : object ) then Triple newTriple; TripleResult newTripleResult; String $S = Triple.resource("S") ; newTriple = new Triple( ); newTriple.setSubject( $P ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $S ); insertLogical( newTriple ); end // ---------- N3 rule 147 ---------- /* { ?L ?O. ?O ?J. ?J ?A. } => { ?L ?A. } . */ rule "owl-rules.n3 147" when $Triple_1 : Triple( $O : subject, predicate == "", $J : object ) $Triple_2 : Triple( subject == $J, predicate == "", $A : object ) then Triple newTriple; TripleResult newTripleResult; String $L = Triple.resource("L") ; newTriple = new Triple( ); newTriple.setSubject( $L ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $A ); insertLogical( newTriple ); end // ---------- N3 rule 148 ---------- /* { ?L ?B. ?B ?A. } => { ?L ?A. } . */ rule "owl-rules.n3 148" when $Triple_1 : Triple( $B : subject, predicate == "", $A : object ) then Triple newTriple; TripleResult newTripleResult; String $L = Triple.resource("L") ; newTriple = new Triple( ); newTriple.setSubject( $L ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $A ); insertLogical( newTriple ); end // ---------- N3 rule 149 ---------- /* { ?L ?A. } => { ?L . } . */ rule "owl-rules.n3 149" when $Triple_1 : Triple( $L : subject, predicate == "", $A : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $L ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "( " + " " + " )" ); insertLogical( newTriple ); end // ---------- N3 rule 150 ---------- /* { ?K ?A. ?L ?A. ?K ?B. ?L ?B. } => { ?L ?K. } . */ rule "owl-rules.n3 150" when $Triple_1 : Triple( $L : subject, predicate == "", $A : object ) $Triple_2 : Triple( subject == $L, predicate == "", $B : object ) then Triple newTriple; TripleResult newTripleResult; String $K = Triple.resource("K") ; newTriple = new Triple( ); newTriple.setSubject( $L ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $K ); insertLogical( newTriple ); end // ---------- N3 rule 151 ---------- /* { ?K ?A. } => { ?K . } . */ rule "owl-rules.n3 151" when $Triple_1 : Triple( $K : subject, predicate == "", $A : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $K ); newTriple.setPredicate( "".toString() ); newTriple.setObject( "( " + " " + " )" ); insertLogical( newTriple ); end // ---------- N3 rule 152 ---------- /* { ?L ?O. ?O ?J. ?J ?A. ?K ?A. ?L ?B. ?K ?B. } => { ?K ?L. } . */ rule "owl-rules.n3 152" when $Triple_1 : Triple( $O : subject, predicate == "", $J : object ) $Triple_2 : Triple( subject == $J, predicate == "", $A : object ) $Triple_3 : Triple( $K : subject, predicate == "", object == $A ) $Triple_4 : Triple( subject == $K, predicate == "", $B : object ) then Triple newTriple; TripleResult newTripleResult; String $L = Triple.resource("L") ; newTriple = new Triple( ); newTriple.setSubject( $K ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $L ); insertLogical( newTriple ); end // ---------- N3 rule 153 ---------- /* { ?R ?C. } => { ?R ?C. } . */ rule "owl-rules.n3 153" when $Triple_1 : Triple( $R : subject, predicate == "", $C : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $R ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end // ---------- N3 rule 154 ---------- /* { ?R ?C. } => { ?R ?C. } . */ rule "owl-rules.n3 154" when $Triple_1 : Triple( $R : subject, predicate == "", $C : object ) then Triple newTriple; TripleResult newTripleResult; newTriple = new Triple( ); newTriple.setSubject( $R ); newTriple.setPredicate( "".toString() ); newTriple.setObject( $C ); insertLogical( newTriple ); end query "userData" $Triple_1 : Triple( $RESOURCE : subject, predicate == "", object == "" ) $Triple_2 : Triple( subject == $RESOURCE, $PREDICATE : predicate, $VALUE : object ) end