public static boolean nodeIso(Node n1, Node n2, NodeIsomorphismMap isoMap) { if ( isoMap != null && Var.isBlankNodeVar(n1) && Var.isBlankNodeVar(n2) ) return isoMap.makeIsomorhpic(n1, n2) ; return n1.equals(n2) ; } }
@Override public String asString(Node n) { // Map blank nodes and non-distingusihed variables. if ( ! n.isBlank() && !Var.isBlankNodeVar(n) ) return null ; return mapNode(n) ; } }
@Override public String asString(Node n) { // Map blank nodes and non-distinguished variables. if ( ! n.isBlank() && !Var.isBlankNodeVar(n) ) return null ; return mapNode(n) ; } }
public static boolean nodeIso(Node n1, Node n2, NodeIsomorphismMap isoMap) { if ( isoMap != null ) { if ( n1.isBlank() && n2.isBlank() ) return isoMap.makeIsomorphic(n1, n2) ; if ( Var.isBlankNodeVar(n1) && Var.isBlankNodeVar(n2) ) return isoMap.makeIsomorphic(n1, n2) ; } return n1.equals(n2) ; } }
/** Substitute into a triple, with rewriting of bNodes */ public static Triple subst(Triple triple, Binding b, Map<Node, Node> bNodeMap) { Node s = triple.getSubject() ; Node p = triple.getPredicate() ; Node o = triple.getObject() ; Node s1 = s ; Node p1 = p ; Node o1 = o ; if ( s1.isBlank() || Var.isBlankNodeVar(s1) ) s1 = newBlank(s1, bNodeMap) ; if ( p1.isBlank() || Var.isBlankNodeVar(p1) ) p1 = newBlank(p1, bNodeMap) ; if ( o1.isBlank() || Var.isBlankNodeVar(o1) ) o1 = newBlank(o1, bNodeMap) ; Triple t = triple ; if ( s1 != s || p1 != p || o1 != o ) t = new Triple(s1, p1, o1) ; Triple t2 = Substitute.substitute(t, b) ; return t2 ; }
/** Substitute into a triple, with rewriting of bNodes */ public static Triple subst(Triple triple, Binding b, Map<Node, Node> bNodeMap) { Node s = triple.getSubject() ; Node p = triple.getPredicate() ; Node o = triple.getObject() ; Node s1 = s ; Node p1 = p ; Node o1 = o ; if ( s1.isBlank() || Var.isBlankNodeVar(s1) ) s1 = newBlank(s1, bNodeMap) ; if ( p1.isBlank() || Var.isBlankNodeVar(p1) ) p1 = newBlank(p1, bNodeMap) ; if ( o1.isBlank() || Var.isBlankNodeVar(o1) ) o1 = newBlank(o1, bNodeMap) ; Triple t = triple ; if ( s1 != s || p1 != p || o1 != o ) t = new Triple(s1, p1, o1) ; Triple t2 = Substitute.substitute(t, b) ; return t2 ; }
if ( g1.isBlank() || Var.isBlankNodeVar(g1) ) g1 = newBlank(g1, bNodeMap) ; if ( s1.isBlank() || Var.isBlankNodeVar(s1) ) s1 = newBlank(s1, bNodeMap) ; if ( p1.isBlank() || Var.isBlankNodeVar(p1) ) p1 = newBlank(p1, bNodeMap) ; if ( o1.isBlank() || Var.isBlankNodeVar(o1) ) o1 = newBlank(o1, bNodeMap) ;
if ( g1.isBlank() || Var.isBlankNodeVar(g1) ) g1 = newBlank(g1, bNodeMap) ; if ( s1.isBlank() || Var.isBlankNodeVar(s1) ) s1 = newBlank(s1, bNodeMap) ; if ( p1.isBlank() || Var.isBlankNodeVar(p1) ) p1 = newBlank(p1, bNodeMap) ; if ( o1.isBlank() || Var.isBlankNodeVar(o1) ) o1 = newBlank(o1, bNodeMap) ;
else if( Var.isBlankNodeVar( node ) && (o = getObject( node, OWL.complementOf.asNode() )) != null ) { ATermAppl complement = node2term( o );