public void visit(OWLObjectSomeValuesFrom restr) { if (restr.getProperty().equals(getObjectProperty())){ OWLClassExpression filler = restr.getFiller(); if (!filler.equals(owlDataFactory.getOWLThing())) { fillers.add(filler); } } }
public void visit(OWLObjectSomeValuesFrom restr) { if (restr.getProperty().equals(getObjectProperty())) { OWLClassExpression filler = restr.getFiller(); if (!filler.equals(owlDataFactory.getOWLThing())) { fillers.add(filler); } } }
public void visit(OWLObjectSomeValuesFrom restr) { if (restr.getProperty().equals(getObjectProperty())){ OWLClassExpression filler = restr.getFiller(); if (!filler.equals(owlDataFactory.getOWLThing())) { fillers.add(filler); } } }
public void visit(OWLObjectSomeValuesFrom restr) { if (restr.getProperty().equals(getObjectProperty())) { OWLClassExpression filler = restr.getFiller(); if (!filler.equals(owlDataFactory.getOWLThing())) { fillers.add(filler); } } }
private void handleCardinality(OWLObjectCardinalityRestriction restr) { if (restr.getProperty().equals(getObjectProperty()) && restr.getCardinality() > 0) { OWLClassExpression filler = restr.getFiller(); if (!filler.equals(owlDataFactory.getOWLThing())) { fillers.add(filler); } } } }
private void handleCardinality(OWLObjectCardinalityRestriction restr) { if (restr.getProperty().equals(getObjectProperty()) && restr.getCardinality() > 0) { OWLClassExpression filler = restr.getFiller(); if (!filler.equals(owlDataFactory.getOWLThing())) { fillers.add(filler); } } } }
private void handleCardinality(OWLObjectCardinalityRestriction restr){ if (restr.getProperty().equals(getObjectProperty()) && restr.getCardinality() > 0){ OWLClassExpression filler = restr.getFiller(); if (!filler.equals(owlDataFactory.getOWLThing())) { fillers.add(filler); } } } }
private void handleCardinality(OWLObjectCardinalityRestriction restr){ if (restr.getProperty().equals(getObjectProperty()) && restr.getCardinality() > 0){ OWLClassExpression filler = restr.getFiller(); if (!filler.equals(owlDataFactory.getOWLThing())) { fillers.add(filler); } } } }
/** * Gets a universal restriction (<code>OWLObjectAllValuesFrom</code>) that * closes off the existential restrictions that have been visited by this * visitor. For example, if the visitor had visited p some A, p some B, then * the restriction p only (A or B) would be returned. * * @return A universal restriction that represents a closure axiom for visited * restrictions, or <code>null</code> if no existential restrictions have been * visited by this visitor and a universal closure axiom therefore doesn't make * sense. */ public OWLObjectAllValuesFrom getClosureRestriction() { Set<OWLClassExpression> descriptions = getFillers(); if (descriptions.isEmpty()) { return null; } else { if (descriptions.size() == 1) { return owlDataFactory.getOWLObjectAllValuesFrom(getObjectProperty(), descriptions.iterator().next()); } else { return owlDataFactory.getOWLObjectAllValuesFrom(getObjectProperty(), owlDataFactory.getOWLObjectUnionOf(descriptions)); } } }
/** * Gets a universal restriction (<code>OWLObjectAllValuesFrom</code>) that * closes off the existential restrictions that have been visited by this * visitor. For example, if the visitor had visited p some A, p some B, then * the restriction p only (A or B) would be returned. * * @return A universal restriction that represents a closure axiom for visited * restrictions, or <code>null</code> if no existential restrictions have been * visited by this visitor and a universal closure axiom therefore doesn't make * sense. */ public OWLObjectAllValuesFrom getClosureRestriction() { Set<OWLClassExpression> descriptions = getFillers(); if (descriptions.isEmpty()) { return null; } else { if (descriptions.size() == 1) { return owlDataFactory.getOWLObjectAllValuesFrom(getObjectProperty(), descriptions.iterator().next()); } else { return owlDataFactory.getOWLObjectAllValuesFrom(getObjectProperty(), owlDataFactory.getOWLObjectUnionOf(descriptions)); } } }
/** * Gets a universal restriction (<code>OWLObjectAllValuesFrom</code>) that * closes off the existential restrictions that have been visited by this * visitor. For example, if the visitor had visited p some A, p some B, then * the restriction p only (A or B) would be returned. * @return A universal restriction that represents a closure axiom for visited * restrictions, or <code>null</code> if no existential restrictions have been * visited by this visitor and a universal closure axiom therefore doesn't make * sense. */ public OWLObjectAllValuesFrom getClosureRestriction() { Set<OWLClassExpression> descriptions = getFillers(); if (descriptions.isEmpty()) { return null; } else { if (descriptions.size() == 1) { return owlDataFactory.getOWLObjectAllValuesFrom(getObjectProperty(), descriptions.iterator().next()); } else { return owlDataFactory.getOWLObjectAllValuesFrom(getObjectProperty(), owlDataFactory.getOWLObjectUnionOf(descriptions)); } } }
/** * Gets a universal restriction (<code>OWLObjectAllValuesFrom</code>) that * closes off the existential restrictions that have been visited by this * visitor. For example, if the visitor had visited p some A, p some B, then * the restriction p only (A or B) would be returned. * @return A universal restriction that represents a closure axiom for visited * restrictions, or <code>null</code> if no existential restrictions have been * visited by this visitor and a universal closure axiom therefore doesn't make * sense. */ public OWLObjectAllValuesFrom getClosureRestriction() { Set<OWLClassExpression> descriptions = getFillers(); if (descriptions.isEmpty()) { return null; } else { if (descriptions.size() == 1) { return owlDataFactory.getOWLObjectAllValuesFrom(getObjectProperty(), descriptions.iterator().next()); } else { return owlDataFactory.getOWLObjectAllValuesFrom(getObjectProperty(), owlDataFactory.getOWLObjectUnionOf(descriptions)); } } }