@Override public Node<OWLDataProperty> getEquivalentDataProperties( OWLDataProperty pe) { return delegate_.getEquivalentDataProperties(pe); }
public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty arg0) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return reasoner.getEquivalentDataProperties(arg0); }
@Override public Node<OWLDataProperty> getEquivalentDataProperties( OWLDataProperty pe) { return delegate_.getEquivalentDataProperties(pe); }
@Override public Node<OWLDataProperty> getEquivalentDataProperties( OWLDataProperty pe) { return delegate_.getEquivalentDataProperties(pe); }
@Override public synchronized Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return r.getEquivalentDataProperties(pe); }
protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentDataPropertiesAxiom> result) { Set<OWLDataProperty> props = new HashSet<OWLDataProperty>(reasoner.getEquivalentDataProperties(entity).getEntities()); props.add(entity); result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props)); }
@Override protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentDataPropertiesAxiom> result) { Set<OWLDataProperty> props = asUnorderedSet( reasoner.getEquivalentDataProperties(entity).entities()); props.add(entity); if (props.size() > 1) { result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props)); } }
return getEquivalentDataProperties(pe).entities();
@Override protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentDataPropertiesAxiom> result) { Set<OWLDataProperty> props = asUnorderedSet( reasoner.getEquivalentDataProperties(entity).entities()); props.add(entity); if (props.size() > 1) { result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props)); } }
@Override protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentDataPropertiesAxiom> result) { Set<OWLDataProperty> props = asUnorderedSet( reasoner.getEquivalentDataProperties(entity).entities()); props.add(entity); if (props.size() > 1) { result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props)); } }
return getEquivalentDataProperties(pe).entities();
return getEquivalentDataProperties(pe).entities();
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } Set<OWLDataProperty> equivs = new HashSet<OWLDataProperty>(getReasoner().getEquivalentDataProperties(getRootObject()).getEntities()); equivs.remove(getRootObject()); if (!equivs.isEmpty()){ OWLEquivalentDataPropertiesAxiom ax = getOWLDataFactory().getOWLEquivalentDataPropertiesAxiom(equivs); if (!added.contains(ax)) { addRow(new OWLEquivalentDataPropertiesFrameSectionRow(getOWLEditorKit(), OWLEquivalentDataPropertiesFrameSection.this, null, getRootObject(), ax)); } } } });
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } Set<OWLDataProperty> equivs = new HashSet<OWLDataProperty>(getReasoner().getEquivalentDataProperties(getRootObject()).getEntities()); equivs.remove(getRootObject()); if (!equivs.isEmpty()){ OWLEquivalentDataPropertiesAxiom ax = getOWLDataFactory().getOWLEquivalentDataPropertiesAxiom(equivs); if (!added.contains(ax)) { addRow(new OWLEquivalentDataPropertiesFrameSectionRow(getOWLEditorKit(), OWLEquivalentDataPropertiesFrameSection.this, null, getRootObject(), ax)); } } } });
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_EQUIVALENT_DATATYPE_PROPERTIES, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } Set<OWLDataProperty> equivs = new HashSet<>(getReasoner().getEquivalentDataProperties(getRootObject()).getEntities()); equivs.remove(getRootObject()); if (!equivs.isEmpty()){ OWLEquivalentDataPropertiesAxiom ax = getOWLDataFactory().getOWLEquivalentDataPropertiesAxiom(equivs); if (!added.contains(ax)) { addRow(new OWLEquivalentDataPropertiesFrameSectionRow(getOWLEditorKit(), OWLEquivalentDataPropertiesFrameSection.this, null, getRootObject(), ax)); } } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_EQUIVALENT_DATATYPE_PROPERTIES, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } Set<OWLDataProperty> equivs = new HashSet<>(getReasoner().getEquivalentDataProperties(getRootObject()).getEntities()); equivs.remove(getRootObject()); if (!equivs.isEmpty()){ OWLEquivalentDataPropertiesAxiom ax = getOWLDataFactory().getOWLEquivalentDataPropertiesAxiom(equivs); if (!added.contains(ax)) { addRow(new OWLEquivalentDataPropertiesFrameSectionRow(getOWLEditorKit(), OWLEquivalentDataPropertiesFrameSection.this, null, getRootObject(), ax)); } } }); }