@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { hashCode = 127; hashCode = hashCode * MULT + axiom.getSubProperty().hashCode(); hashCode = hashCode * MULT + axiom.getSuperProperty().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
public void visit(OWLSubObjectPropertyOfAxiom axiom) { hashCode = 127; hashCode = hashCode * MULT + axiom.getSubProperty().hashCode(); hashCode = hashCode * MULT + axiom.getSuperProperty().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { hashCode = primes[27]; hashCode = hashCode * MULT + axiom.getSubProperty().hashCode(); hashCode = hashCode * MULT + axiom.getSuperProperty().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
private void tr(OWLSubObjectPropertyOfAxiom ax){ OWLObjectPropertyExpression sup = ax.getSuperProperty(); OWLObjectPropertyExpression sub = ax.getSubProperty(); if (sub.isBottomEntity() || sub.isTopEntity() || sup.isBottomEntity() || sub.isTopEntity()) { error("SubProperties using Top or Bottom entites are not supported in OBO."); return; } if(sub instanceof OWLObjectProperty && sup instanceof OWLObjectProperty){ String supId = this.getIdentifier(sup); if(supId.startsWith("owl:")){ return; } Frame f = getTypedefFrame((OWLObjectProperty) sub); Clause clause = new Clause(OboFormatTag.TAG_IS_A, supId); f.addClause(clause); addQualifiers(clause, ax.getAnnotations()); }else{ error(ax); } }
for (OWLSubObjectPropertyOfAxiom ax : ontology.getObjectSubPropertyAxiomsForSubProperty(property)) { if (isDisplayed(ax)) { properties.put(ax.getSuperProperty(), ax.getAnnotations()); axioms.add(ax); for (OWLSubObjectPropertyOfAxiom ax : ontology.getObjectSubPropertyAxiomsForSuperProperty(property)) { if (isDisplayed(ax)) { properties.put(ax.getSubProperty(), ax.getAnnotations()); axioms.add(ax);