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()); }
@Override public void visit(final OWLDataPropertyRangeAxiom theAxiom) { writeKeywordInfix(Keyword.RANGE, theAxiom.getProperty(), theAxiom.getRange()); }
private void intializeDataRangeMap() { dataRangeMap = new HashMap<OWLDataProperty, OWLDatatype>(); for (OWLDataPropertyRangeAxiom axiom : ontology.getAxioms(AxiomType.DATA_PROPERTY_RANGE)) { if (!axiom.getProperty().isAnonymous()) { OWLDataProperty property = axiom.getProperty().asOWLDataProperty(); OWLDatatype dt = getContainingDatatype(axiom.getRange()); if (dataRangeMap.get(property) == null && dt != null) { dataRangeMap.put(property, dt); } } } }
@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 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 OWLClassExpression visit(OWLDataPropertyRangeAxiom axiom) { return factory.getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getOWLDataComplementOf(axiom.getRange())); }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getRange(), axiom); }
@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 void visit(OWLDataPropertyRangeAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getRange(), axiom); }
@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 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