@Override public int hashCode() { final int prime = 31; int result = 1; result = prime * result + _role.getName().hashCode(); return result; }
@Override public boolean equals(final Object o) { if (o instanceof Role) return _name.equals(((Role) o).getName()); return false; }
@Override public String toString() { return "Produce[" + ATermUtils.toString(_role.getName()) + "(" + _subject + ", " + _object + ")]"; } }
@Override public String toString() { return ATermUtils.toString(_role.getName()) + "(" + ATermUtils.toString(_name) + ", 1)"; } }
default Set<ATermAppl> getAsymmetricProperties() { final Set<ATermAppl> set = new HashSet<>(); for (final Role role : getRBox().getRoles().values()) { final ATermAppl p = role.getName(); if (ATermUtils.isPrimitive(p) && role.isAsymmetric()) set.add(p); } return set; }
default Set<ATermAppl> getSymmetricProperties() { final Set<ATermAppl> set = new HashSet<>(); for (final Role role : getRBox().getRoles().values()) { final ATermAppl p = role.getName(); if (ATermUtils.isPrimitive(p) && role.isSymmetric()) set.add(p); } return set; }
default Set<ATermAppl> getAnnotationProperties() { final Set<ATermAppl> set = new HashSet<>(); for (final Role role : getRBox().getRoles().values()) { final ATermAppl p = role.getName(); if (ATermUtils.isPrimitive(p) && role.isAnnotationRole()) 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; }
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; }
protected boolean hasAnonInverse(final Role role) { return !role.isBuiltin() && (role.isAnon() || _expressivity.getAnonInverses().contains(role.getName())); } }
@Override @SuppressWarnings("rawtypes") public boolean matches(final RuleAtom atom) { return (atom instanceof IndividualPropertyAtom || atom instanceof DatavaluedPropertyAtom) && atom.getPredicate().equals(_role.getName()) && ((BinaryAtom) atom).getArgument1() instanceof AtomVariable && ((BinaryAtom) atom).getArgument2() instanceof AtomVariable; }
/** * r is superrole of this role * * @param r */ @Override public void addSuperRole(final Role r) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSubProp(_name, r.getName())) : DependencySet.INDEPENDENT; addSuperRole(r, ds); }
@Override @SuppressWarnings("rawtypes") public boolean matches(final RuleAtom atom) { return ((atom instanceof IndividualPropertyAtom) || (atom instanceof DatavaluedPropertyAtom)) && atom.getPredicate().equals(_role.getName()) && ((BinaryAtom) atom).getArgument1() instanceof AtomVariable && ((BinaryAtom) atom).getArgument2() instanceof AtomIConstant && ((AtomIConstant) ((BinaryAtom) atom).getArgument2()).getValue().equals(_name); }
@Override public String toString() { return ATermUtils.toString(_role.getName()) + "(" + ATermUtils.toString(_name) + ", " + ATermUtils.toString(_objectName) + ")"; } }
@Override @SuppressWarnings("rawtypes") public boolean matches(final RuleAtom atom) { return ((atom instanceof IndividualPropertyAtom) || (atom instanceof DatavaluedPropertyAtom)) && atom.getPredicate().equals(_role.getName()) && ((BinaryAtom) atom).getArgument1() instanceof AtomVariable && ((BinaryAtom) atom).getArgument2() instanceof AtomIConstant && ((AtomIConstant) ((BinaryAtom) atom).getArgument2()).getValue().equals(_name); }
public void activateEdge(final Edge edge) { Role r = edge.getRole(); if (r.isAnon()) r = r.getInverse(); final List<AlphaNode> alphas = _map.get(r.getName()); if (alphas != null) for (final AlphaNode alpha : alphas) ((AlphaEdgeNode) alpha).activate(edge); }
/** * r is subrole of this role * * @param r */ @Override public void addSubRole(final Role r) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSubProp(r.getName(), getName())) : DependencySet.INDEPENDENT; addSubRole(r, ds); }
/** * r is subrole of this role * * @param r */ @Override public void addSubRole(final Role r) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeSubProp(r.getName(), getName())) : DependencySet.INDEPENDENT; addSubRole(r, ds); }
default boolean addInverseRole(final ATerm s, final ATerm r, final DependencySet ds) { final Role roleS = getRole(s); final Role roleR = getRole(r); if (roleS == null || roleR == null || !roleS.isObjectRole() || !roleR.isObjectRole()) return false; else addEquivalentRole(roleS.getInverse().getName(), r, ds); return true; }