public static ATermAppl self(ATermAppl p) { return ATermUtils.makeSelf( p ); }
public static ATermAppl self(ATermAppl p) { return ATermUtils.makeSelf( p ); }
public void visit(OWLObjectHasSelf restriction) { addSimpleProperty( restriction.getProperty() ); restriction.getProperty().accept( this ); ATermAppl p = term; term = ATermUtils.makeSelf( p ); }
@Override public void visit(OWLObjectHasSelf restriction) { addSimpleProperty( restriction.getProperty() ); restriction.getProperty().accept( this ); ATermAppl p = term; term = ATermUtils.makeSelf( p ); }
public boolean isIrreflexiveProperty(ATermAppl p) { Role role = getRole( p ); if( role == null ) { handleUndefinedEntity( p + " is not a known property" ); return false; } if( !role.isObjectRole() || role.isReflexive() ) return false; else if( role.isIrreflexive() ) { if( doExplanation() ) abox.setExplanation( role.getExplainIrreflexive() ); return true; } else if( role.isAsymmetric() ) { if( doExplanation() ) abox.setExplanation( role.getExplainAsymmetric() ); return true; } ensureConsistency(); ATermAppl test = ATermUtils.makeSelf( p ); return !abox.isSatisfiable( test ); }
public boolean isIrreflexiveProperty(ATermAppl p) { Role role = getRole( p ); if( role == null ) { handleUndefinedEntity( p + " is not a known property" ); return false; } if( !role.isObjectRole() || role.isReflexive() ) return false; else if( role.isIrreflexive() ) { if( doExplanation() ) abox.setExplanation( role.getExplainIrreflexive() ); return true; } else if( role.isAsymmetric() ) { if( doExplanation() ) abox.setExplanation( role.getExplainAsymmetric() ); return true; } ensureConsistency(); ATermAppl test = ATermUtils.makeSelf( p ); return !abox.isSatisfiable( test ); }
void checkReflexivitySymmetry(Individual subj, Role pred, Individual obj, DependencySet ds) { if (pred.isAsymmetric() && obj.hasRSuccessor(pred, subj)) { EdgeList edges = obj.getEdgesTo(subj, pred); ds = ds.union(edges.edgeAt(0).getDepends(), abox.doExplanation()); if (PelletOptions.USE_TRACING) { ds = ds.union(pred.getExplainAsymmetric(), abox.doExplanation()); } abox.setClash(Clash.unexplained(subj, ds, "Antisymmetric property " + pred)); } else if (subj.equals(obj)) { if (pred.isIrreflexive()) { abox.setClash(Clash.unexplained(subj, ds.union(pred.getExplainIrreflexive(), abox.doExplanation()), "Irreflexive property " + pred)); } else { ATerm notSelfP = ATermUtils.makeNot(ATermUtils.makeSelf(pred.getName())); if (subj.hasType(notSelfP)) { abox.setClash(Clash.unexplained(subj, ds.union(subj.getDepends(notSelfP), abox.doExplanation()), "Local irreflexive property " + pred)); } } } }
void checkReflexivitySymmetry(Individual subj, Role pred, Individual obj, DependencySet ds) { if (pred.isAsymmetric() && obj.hasRSuccessor(pred, subj)) { EdgeList edges = obj.getEdgesTo(subj, pred); ds = ds.union(edges.edgeAt(0).getDepends(), abox.doExplanation()); if (PelletOptions.USE_TRACING) { ds = ds.union(pred.getExplainAsymmetric(), abox.doExplanation()); } abox.setClash(Clash.unexplained(subj, ds, "Antisymmetric property " + pred)); } else if (subj.equals(obj)) { if (pred.isIrreflexive()) { abox.setClash(Clash.unexplained(subj, ds.union(pred.getExplainIrreflexive(), abox.doExplanation()), "Irreflexive property " + pred)); } else { ATerm notSelfP = ATermUtils.makeNot(ATermUtils.makeSelf(pred.getName())); if (subj.hasType(notSelfP)) { abox.setClash(Clash.unexplained(subj, ds.union(subj.getDepends(notSelfP), abox.doExplanation()), "Local irreflexive property " + pred)); } } } }
aTerm = ATermUtils.makeSelf( pt ); defineObjectProperty( pt ); addSimpleProperty( pt, SELF );
throw new UnsupportedQueryException("Variables not supported in hasSelf restriction"); else aTerm = ATermUtils.makeSelf(pt);