default Set<ATermAppl> getIrreflexiveProperties() { final Set<ATermAppl> set = new HashSet<>(); for (final Role role : getRBox().getRoles().values()) { final ATermAppl p = role.getName(); if (ATermUtils.isPrimitive(p) && role.isIrreflexive()) set.add(p); } return set; }
default Set<ATermAppl> getIrreflexiveProperties() { final Set<ATermAppl> set = new HashSet<>(); for (final Role role : getRBox().getRoles().values()) { final ATermAppl p = role.getName(); if (ATermUtils.isPrimitive(p) && role.isIrreflexive()) set.add(p); } return set; }
if (role.isReflexive()) types.add(OWL2.ReflexiveProperty.asNode()); if (role.isIrreflexive()) types.add(OWL2.IrreflexiveProperty.asNode());
if (role.isReflexive()) types.add(OWL2.ReflexiveProperty.asNode()); if (role.isIrreflexive()) types.add(OWL2.IrreflexiveProperty.asNode());
if (role.isReflexive()) types.add(OWL2.ReflexiveProperty.asNode()); if (role.isIrreflexive()) types.add(OWL2.IrreflexiveProperty.asNode());
if (r.isReflexive()) _expressivity.setHasReflexivity(true); if (r.isIrreflexive()) return false; if (r.isAsymmetric())
if (r.isReflexive()) _expressivity.setHasReflexivity(true); if (r.isIrreflexive()) return false; if (r.isAsymmetric())
if (r.isReflexive()) _expressivity.setHasReflexivity(true); if (r.isIrreflexive()) _expressivity.setHasIrreflexivity(true); if (r.isAsymmetric())
if (r.isReflexive()) _expressivity.setHasReflexivity(true); if (r.isIrreflexive()) _expressivity.setHasIrreflexivity(true); if (r.isAsymmetric())
if (edge.getRole().isIrreflexive() && edge.getTo().equals(ind2)) return edge.getDepends().isIndependent() ? Bool.FALSE : Bool.UNKNOWN; if (edge.getRole().isIrreflexive() && edge.getFrom().equals(ind2)) return edge.getDepends().isIndependent() ? Bool.FALSE : Bool.UNKNOWN;
default boolean isReflexiveProperty(final ATermAppl p) { if (null == p) return false; final Role role = getRole(p); if (role == null) { Base.handleUndefinedEntity(p + _isNotAnKnowProperty); return false; } if (!role.isObjectRole() || role.isIrreflexive()) return false; else if (role.isReflexive()) { if (doExplanation()) getABox().setExplanation(role.getExplainReflexive()); return true; } ensureConsistency(); final ATermAppl c = ATermUtils.makeTermAppl("_C_"); final ATermAppl notC = ATermUtils.makeNot(c); final ATermAppl test = ATermUtils.makeAnd(c, ATermUtils.makeAllValues(p, notC)); return !getABox().isSatisfiable(test); }
default boolean isReflexiveProperty(final ATermAppl p) { if (null == p) return false; final Role role = getRole(p); if (role == null) { Base.handleUndefinedEntity(p + _isNotAnKnowProperty); return false; } if (!role.isObjectRole() || role.isIrreflexive()) return false; else if (role.isReflexive()) { if (doExplanation()) getABox().setExplanation(role.getExplainReflexive()); return true; } ensureConsistency(); final ATermAppl c = ATermUtils.makeTermAppl("_C_"); final ATermAppl notC = ATermUtils.makeNot(c); final ATermAppl test = ATermUtils.makeAnd(c, ATermUtils.makeAllValues(p, notC)); return !getABox().isSatisfiable(test); }
if (edge.getRole().isIrreflexive() && edge.getTo().equals(ind2)) return edge.getDepends().isIndependent() ? Bool.FALSE : Bool.UNKNOWN; if (edge.getRole().isIrreflexive() && edge.getFrom().equals(ind2)) return edge.getDepends().isIndependent() ? Bool.FALSE : Bool.UNKNOWN;
default boolean isIrreflexiveProperty(final ATermAppl p) { if (null == p) return false; final Role role = getRole(p); if (role == null) { Base.handleUndefinedEntity(p + _isNotAnKnowProperty); return false; } if (!role.isObjectRole() || role.isReflexive()) return false; else if (role.isIrreflexive()) { if (doExplanation()) getABox().setExplanation(role.getExplainIrreflexive()); return true; } else if (role.isAsymmetric()) { if (doExplanation()) getABox().setExplanation(role.getExplainAsymmetric()); return true; } ensureConsistency(); final ATermAppl test = ATermUtils.makeSelf(p); return !getABox().isSatisfiable(test); }
default boolean isIrreflexiveProperty(final ATermAppl p) { if (null == p) return false; final Role role = getRole(p); if (role == null) { Base.handleUndefinedEntity(p + _isNotAnKnowProperty); return false; } if (!role.isObjectRole() || role.isReflexive()) return false; else if (role.isIrreflexive()) { if (doExplanation()) getABox().setExplanation(role.getExplainIrreflexive()); return true; } else if (role.isAsymmetric()) { if (doExplanation()) getABox().setExplanation(role.getExplainAsymmetric()); return true; } ensureConsistency(); final ATermAppl test = ATermUtils.makeSelf(p); return !getABox().isSatisfiable(test); }
public void checkReflexivitySymmetry(final Individual subj, final Role pred, final Individual obj, final DependencySet dsParam) { DependencySet ds = dsParam; if (pred.isAsymmetric() && obj.hasRSuccessor(pred, subj)) { final EdgeList edges = obj.getEdgesTo(subj, pred); ds = ds.union(edges.get(0).getDepends(), _abox.doExplanation()); if (OpenlletOptions.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 { final 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)); } }
r.addFunctionalSuper(s); if (s.isIrreflexive() && !r.isIrreflexive())
r.addFunctionalSuper(s); if (s.isIrreflexive() && !r.isIrreflexive())
public void checkReflexivitySymmetry(final Individual subj, final Role pred, final Individual obj, final DependencySet dsParam) { DependencySet ds = dsParam; if (pred.isAsymmetric() && obj.hasRSuccessor(pred, subj)) { final EdgeList edges = obj.getEdgesTo(subj, pred); ds = ds.union(edges.get(0).getDepends(), _abox.doExplanation()); if (OpenlletOptions.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 { final 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)); } }