Refine search
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { rhs.add(axiom.getRange()); lhs.add(axiom.getProperty()); }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { rhs.add(axiom.getRange()); lhs.add(axiom.getProperty()); }
public void visit(OWLDataPropertyRangeAxiom axiom) { hashCode = 17; hashCode = hashCode * MULT + axiom.getProperty().hashCode(); hashCode = hashCode * MULT + axiom.getRange().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
public void visit(OWLDataPropertyRangeAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !signature.contains(axiom.getProperty().asOWLDataProperty()) || axiom.getRange().isTopDatatype(); break; case TOP_TOP: isLocal = axiom.getRange().isTopDatatype(); break; } }
@Override public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom) { return df.getOWLDataPropertyRangeAxiom(axiom.getProperty(), axiom.getRange().accept(dataVisitor)); }
@Override public OWLClassExpression visit(OWLDataPropertyRangeAxiom axiom) { return factory.getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getOWLDataComplementOf(axiom.getRange())); }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { v(axiom.getProperty()); v(axiom.getRange()); }
@Override public OWLClassExpression visit(OWLDataPropertyRangeAxiom ax) { return df.getOWLDataSomeValuesFrom(ax.getProperty(), df.getOWLDataComplementOf(ax.getRange())); }
@Override public OWLClassExpression visit(OWLDataPropertyRangeAxiom ax) { return df.getOWLDataSomeValuesFrom(ax.getProperty(), df.getOWLDataComplementOf(ax.getRange())); }
@Override public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom) { return df.getOWLDataPropertyRangeAxiom(axiom.getProperty(), axiom.getRange().accept(dataVisitor)); }
@Override public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom) { return df.getOWLDataPropertyRangeAxiom(axiom.getProperty(), axiom.getRange().accept(dataVisitor)); }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { OWLDataPropertyExpression dataProperty=axiom.getProperty(); checkTopDataPropertyUse(dataProperty,axiom); OWLDataAllValuesFrom allPropertyRange=m_factory.getOWLDataAllValuesFrom(dataProperty,positive(axiom.getRange())); m_classExpressionInclusionsAsDisjunctions.add(Arrays.asList( allPropertyRange )); } @Override
@Override public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom) { OWLDataRange range = axiom.getRange(); OWLDataRange newRange = range.accept(rangeVisitor); if (range.equals(newRange)) { return axiom; } return df.getOWLDataPropertyRangeAxiom(axiom.getProperty(), newRange, getAnnotationsWithOptionalExpansionMarker( axiom)); }
@Override public Boolean visit(OWLDataPropertyRangeAxiom axiom) { return Boolean.valueOf(reasoner.isSubClassOf(factory.getOWLThing(),factory.getOWLDataAllValuesFrom(axiom.getProperty(),axiom.getRange()))); } @Override
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { sb.append("DataPropertyRange("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getRange().accept(this); sb.append(')'); }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getRange(), axiom); }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getRange(), axiom); }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getRange(), axiom); }
public void visit(OWLDataPropertyRangeAxiom axiom) { sb.append("DataPropertyRange("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getRange().accept(this); sb.append(")"); }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { sb.append("DataPropertyRange("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getRange().accept(this); sb.append(")"); }