public Node<OWLObjectPropertyExpression> getInverseObjectProperties(OWLObjectPropertyExpression arg0) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return reasoner.getInverseObjectProperties(arg0); }
@Override public Node<OWLObjectPropertyExpression> getInverseObjectProperties( OWLObjectPropertyExpression pe) { return delegate_.getInverseObjectProperties(pe); }
@Override public Node<OWLObjectPropertyExpression> getInverseObjectProperties( OWLObjectPropertyExpression pe) { return delegate_.getInverseObjectProperties(pe); }
@Override public Node<OWLObjectPropertyExpression> getInverseObjectProperties( OWLObjectPropertyExpression pe) { return delegate_.getInverseObjectProperties(pe); }
@Override public synchronized Node<OWLObjectPropertyExpression> getInverseObjectProperties(OWLObjectPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return r.getInverseObjectProperties(pe); }
protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLInverseObjectPropertiesAxiom> result) { for (OWLObjectProperty prop : reasoner.getInverseObjectProperties(entity)) { result.add(dataFactory.getOWLInverseObjectPropertiesAxiom(entity, prop)); } }
@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLInverseObjectPropertiesAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { for (OWLObjectPropertyExpression prop : reasoner.getInverseObjectProperties(entity)) { if (!prop.isAnonymous()) { result.add(dataFactory.getOWLInverseObjectPropertiesAxiom(entity, prop)); } } }
/** * Gets the set of <a href="#spe">simplified object property expressions</a> that are the * inverses of the specified object property expression with respect to the imports closure of * the root ontology. The properties are returned as a * {@link org.semanticweb.owlapi.reasoner.NodeSet} * * @param pe The property expression whose inverse properties are to be retrieved. * @return A {@code NodeSet} of <a href="#spe">simplified object property expressions</a>, such * that for each simplified object property expression {@code P} in the nodes set, the * set of reasoner axioms entails {@code InverseObjectProperties(pe, P)}. * @throws InconsistentOntologyException if the imports closure of the root ontology is * inconsistent * @throws FreshEntitiesException if the signature of the object property expression is not * contained within the signature of the imports closure of the root ontology and the * undeclared entity policy of this reasoner is set to * {@link FreshEntityPolicy#DISALLOW}. * @throws ReasonerInterruptedException if the reasoning process was interrupted for any * particular reason (for example if reasoning was cancelled by a client process) * @throws TimeOutException if the reasoner timed out during a basic reasoning operation. See * {@link #getTimeOut()}. */ default Stream<OWLObjectPropertyExpression> inverseObjectProperties( OWLObjectPropertyExpression pe) { return getInverseObjectProperties(pe).entities(); }
@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLInverseObjectPropertiesAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { for (OWLObjectPropertyExpression prop : reasoner.getInverseObjectProperties(entity)) { if (!prop.isAnonymous()) { result.add(dataFactory.getOWLInverseObjectPropertiesAxiom(entity, prop)); } } }
@Override protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLInverseObjectPropertiesAxiom> result, Set<OWLObjectPropertyExpression> nonSimpleProperties) { for (OWLObjectPropertyExpression prop : reasoner.getInverseObjectProperties(entity)) { if (!prop.isAnonymous()) { result.add(dataFactory.getOWLInverseObjectPropertiesAxiom(entity, prop)); } } }
/** * Gets the set of <a href="#spe">simplified object property expressions</a> that are the * inverses of the specified object property expression with respect to the imports closure of * the root ontology. The properties are returned as a * {@link org.semanticweb.owlapi.reasoner.NodeSet} * * @param pe The property expression whose inverse properties are to be retrieved. * @return A {@code NodeSet} of <a href="#spe">simplified object property expressions</a>, such * that for each simplified object property expression {@code P} in the nodes set, the * set of reasoner axioms entails {@code InverseObjectProperties(pe, P)}. * @throws InconsistentOntologyException if the imports closure of the root ontology is * inconsistent * @throws FreshEntitiesException if the signature of the object property expression is not * contained within the signature of the imports closure of the root ontology and the * undeclared entity policy of this reasoner is set to * {@link FreshEntityPolicy#DISALLOW}. * @throws ReasonerInterruptedException if the reasoning process was interrupted for any * particular reason (for example if reasoning was cancelled by a client process) * @throws TimeOutException if the reasoner timed out during a basic reasoning operation. See * {@link #getTimeOut()}. */ default Stream<OWLObjectPropertyExpression> inverseObjectProperties( OWLObjectPropertyExpression pe) { return getInverseObjectProperties(pe).entities(); }
/** * Gets the set of <a href="#spe">simplified object property expressions</a> that are the * inverses of the specified object property expression with respect to the imports closure of * the root ontology. The properties are returned as a * {@link org.semanticweb.owlapi.reasoner.NodeSet} * * @param pe The property expression whose inverse properties are to be retrieved. * @return A {@code NodeSet} of <a href="#spe">simplified object property expressions</a>, such * that for each simplified object property expression {@code P} in the nodes set, the * set of reasoner axioms entails {@code InverseObjectProperties(pe, P)}. * @throws InconsistentOntologyException if the imports closure of the root ontology is * inconsistent * @throws FreshEntitiesException if the signature of the object property expression is not * contained within the signature of the imports closure of the root ontology and the * undeclared entity policy of this reasoner is set to * {@link FreshEntityPolicy#DISALLOW}. * @throws ReasonerInterruptedException if the reasoning process was interrupted for any * particular reason (for example if reasoning was cancelled by a client process) * @throws TimeOutException if the reasoner timed out during a basic reasoning operation. See * {@link #getTimeOut()}. */ default Stream<OWLObjectPropertyExpression> inverseObjectProperties( OWLObjectPropertyExpression pe) { return getInverseObjectProperties(pe).entities(); }
private void populateObjectInverseProperties(OWLObjectProperty op, OWLReasoner r, Model m) { for (OWLObjectPropertyExpression inverseE : r .getInverseObjectProperties(op)) { if (!inverseE.isAnonymous() && !inverseE.isOWLBottomObjectProperty() && !inverseE.isOWLTopObjectProperty()) { OWLObjectProperty inverse = inverseE.asOWLObjectProperty(); log.debug(inverse + " object inverse of " + op); m.add(toResource(inverse), OWL_INVERSE_OF, toResource(op)); } } }
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } final Set<OWLObjectPropertyExpression> infInverses = new HashSet<OWLObjectPropertyExpression>(getReasoner().getInverseObjectProperties(getRootObject()).getEntities()); infInverses.removeAll(added); for (OWLObjectPropertyExpression invProp : infInverses) { final OWLInverseObjectPropertiesAxiom ax = getOWLDataFactory().getOWLInverseObjectPropertiesAxiom( getRootObject(), invProp); addInferredRowIfNontrivial(new OWLInverseObjectPropertiesAxiomFrameSectionRow(getOWLEditorKit(), OWLInverseObjectPropertiesAxiomFrameSection.this, null, getRootObject(), ax)); } } });
public void run() { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } final Set<OWLObjectPropertyExpression> infInverses = new HashSet<OWLObjectPropertyExpression>(getReasoner().getInverseObjectProperties(getRootObject()).getEntities()); infInverses.removeAll(added); for (OWLObjectPropertyExpression invProp : infInverses) { if (invProp.isAnonymous()) { break; } final OWLInverseObjectPropertiesAxiom ax = getOWLDataFactory().getOWLInverseObjectPropertiesAxiom( getRootObject(), invProp); addRow(new OWLInverseObjectPropertiesAxiomFrameSectionRow(getOWLEditorKit(), OWLInverseObjectPropertiesAxiomFrameSection.this, null, getRootObject(), ax)); } } });
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_INVERSE_PROPERTIES, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } final Set<OWLObjectPropertyExpression> infInverses = new HashSet<>(getReasoner().getInverseObjectProperties(getRootObject()).getEntities()); infInverses.removeAll(added); for (OWLObjectPropertyExpression invProp : infInverses) { final OWLInverseObjectPropertiesAxiom ax = getOWLDataFactory().getOWLInverseObjectPropertiesAxiom( getRootObject(), invProp); addInferredRowIfNontrivial(new OWLInverseObjectPropertiesAxiomFrameSectionRow(getOWLEditorKit(), OWLInverseObjectPropertiesAxiomFrameSection.this, null, getRootObject(), ax)); } }); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_INVERSE_PROPERTIES, () -> { if (!getOWLModelManager().getReasoner().isConsistent()) { return; } final Set<OWLObjectPropertyExpression> infInverses = new HashSet<>(getReasoner().getInverseObjectProperties(getRootObject()).getEntities()); infInverses.removeAll(added); for (OWLObjectPropertyExpression invProp : infInverses) { final OWLInverseObjectPropertiesAxiom ax = getOWLDataFactory().getOWLInverseObjectPropertiesAxiom( getRootObject(), invProp); addInferredRowIfNontrivial(new OWLInverseObjectPropertiesAxiomFrameSectionRow(getOWLEditorKit(), OWLInverseObjectPropertiesAxiomFrameSection.this, null, getRootObject(), ax)); } }); }