@Nonnull @Override public Node<OWLObjectPropertyExpression> getInverseObjectProperties(@Nonnull OWLObjectPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return structuralReasoner.getInverseObjectProperties(pe); }
@Nonnull @Override public Node<OWLObjectPropertyExpression> getInverseObjectProperties(@Nonnull OWLObjectPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { return structuralReasoner.getInverseObjectProperties(pe); }
@Override public NodeSet<OWLClass> getObjectPropertyRanges(OWLObjectPropertyExpression pe, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); getRootOntology().importsClosure().forEach(ontology -> { ontology.objectPropertyRangeAxioms(pe).forEach(axiom -> { result.addNode(getEquivalentClasses(axiom.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getRange(), false).nodes()); } }); getInverseObjectProperties(pe).entities().flatMap(ontology::objectPropertyDomainAxioms) .forEach(axiom -> { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).nodes()); } }); }); return result; }
@Override public NodeSet<OWLClass> getObjectPropertyRanges(OWLObjectPropertyExpression pe, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); getRootOntology().importsClosure().forEach(ontology -> { ontology.objectPropertyRangeAxioms(pe).forEach(axiom -> { result.addNode(getEquivalentClasses(axiom.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getRange(), false).nodes()); } }); getInverseObjectProperties(pe).entities().flatMap(ontology::objectPropertyDomainAxioms) .forEach(axiom -> { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).nodes()); } }); }); return result; }
@Override public NodeSet<OWLClass> getObjectPropertyDomains(OWLObjectPropertyExpression pe, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); Consumer<? super OWLObjectPropertyDomainAxiom> domains = axiom -> { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).nodes()); } }; Consumer<? super OWLObjectPropertyRangeAxiom> inverseRanges = ax -> { result.addNode(getEquivalentClasses(ax.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(ax.getRange(), false).nodes()); } }; getRootOntology().importsClosure().flatMap(o -> o.objectPropertyDomainAxioms(pe)) .forEach(domains); getRootOntology().importsClosure() .forEach(o -> getInverseObjectProperties(pe).entities().forEach(invPe -> o .objectPropertyRangeAxioms(invPe).forEach(inverseRanges))); return result; }
@Override public NodeSet<OWLClass> getObjectPropertyDomains(OWLObjectPropertyExpression pe, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); Consumer<? super OWLObjectPropertyDomainAxiom> domains = axiom -> { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).nodes()); } }; Consumer<? super OWLObjectPropertyRangeAxiom> inverseRanges = ax -> { result.addNode(getEquivalentClasses(ax.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(ax.getRange(), false).nodes()); } }; getRootOntology().importsClosure().flatMap(o -> o.objectPropertyDomainAxioms(pe)) .forEach(domains); getRootOntology().importsClosure() .forEach(o -> getInverseObjectProperties(pe).entities().forEach(invPe -> o .objectPropertyRangeAxioms(invPe).forEach(inverseRanges))); return result; }
@Override public NodeSet<OWLClass> getObjectPropertyRanges(OWLObjectPropertyExpression pe, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); getRootOntology().importsClosure().forEach(ontology -> { ontology.objectPropertyRangeAxioms(pe).forEach(axiom -> { result.addNode(getEquivalentClasses(axiom.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getRange(), false).nodes()); } }); getInverseObjectProperties(pe).entities().flatMap(ontology::objectPropertyDomainAxioms) .forEach(axiom -> { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).nodes()); } }); }); return result; }
@Override public NodeSet<OWLClass> getObjectPropertyRanges(OWLObjectPropertyExpression pe, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); getRootOntology().importsClosure().forEach(ontology -> { ontology.objectPropertyRangeAxioms(pe).forEach(axiom -> { result.addNode(getEquivalentClasses(axiom.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getRange(), false).nodes()); } }); getInverseObjectProperties(pe).entities().flatMap(ontology::objectPropertyDomainAxioms) .forEach(axiom -> { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).nodes()); } }); }); return result; }
@Override public NodeSet<OWLClass> getObjectPropertyDomains(OWLObjectPropertyExpression pe, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); Consumer<? super OWLObjectPropertyDomainAxiom> domains = axiom -> { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).nodes()); } }; Consumer<? super OWLObjectPropertyRangeAxiom> inverseRanges = ax -> { result.addNode(getEquivalentClasses(ax.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(ax.getRange(), false).nodes()); } }; getRootOntology().importsClosure().flatMap(o -> o.objectPropertyDomainAxioms(pe)) .forEach(domains); getRootOntology().importsClosure() .forEach(o -> getInverseObjectProperties(pe).entities().forEach(invPe -> o .objectPropertyRangeAxioms(invPe).forEach(inverseRanges))); return result; }
@Override public NodeSet<OWLClass> getObjectPropertyDomains(OWLObjectPropertyExpression pe, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); Consumer<? super OWLObjectPropertyDomainAxiom> domains = axiom -> { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).nodes()); } }; Consumer<? super OWLObjectPropertyRangeAxiom> inverseRanges = ax -> { result.addNode(getEquivalentClasses(ax.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(ax.getRange(), false).nodes()); } }; getRootOntology().importsClosure().flatMap(o -> o.objectPropertyDomainAxioms(pe)) .forEach(domains); getRootOntology().importsClosure() .forEach(o -> getInverseObjectProperties(pe).entities().forEach(invPe -> o .objectPropertyRangeAxioms(invPe).forEach(inverseRanges))); return result; }
ensurePrepared(); OWLNamedIndividualNodeSet result = new OWLNamedIndividualNodeSet(); Node<OWLObjectPropertyExpression> inverses = getInverseObjectProperties(pe); getRootOntology().importsClosure().flatMap(o -> o.objectPropertyAssertionAxioms(ind)) .forEach(axiom -> {
ensurePrepared(); OWLNamedIndividualNodeSet result = new OWLNamedIndividualNodeSet(); Node<OWLObjectPropertyExpression> inverses = getInverseObjectProperties(pe); getRootOntology().importsClosure().flatMap(o -> o.objectPropertyAssertionAxioms(ind)) .forEach(axiom -> {
ensurePrepared(); OWLNamedIndividualNodeSet result = new OWLNamedIndividualNodeSet(); Node<OWLObjectPropertyExpression> inverses = getInverseObjectProperties(pe); getRootOntology().importsClosure().flatMap(o -> o.objectPropertyAssertionAxioms(ind)) .forEach(axiom -> {
ensurePrepared(); OWLNamedIndividualNodeSet result = new OWLNamedIndividualNodeSet(); Node<OWLObjectPropertyExpression> inverses = getInverseObjectProperties(pe); getRootOntology().importsClosure().flatMap(o -> o.objectPropertyAssertionAxioms(ind)) .forEach(axiom -> {
public NodeSet<OWLClass> getObjectPropertyRanges(OWLObjectPropertyExpression pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLObjectPropertyRangeAxiom axiom : ontology.getObjectPropertyRangeAxioms(pe)) { result.addNode(getEquivalentClasses(axiom.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getRange(), false).getNodes()); } } for (OWLObjectPropertyExpression invPe : getInverseObjectProperties(pe).getEntities()) { for (OWLObjectPropertyDomainAxiom axiom : ontology.getObjectPropertyDomainAxioms(invPe)) { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).getNodes()); } } } } return result; }
public NodeSet<OWLClass> getObjectPropertyDomains(OWLObjectPropertyExpression pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLObjectPropertyDomainAxiom axiom : ontology.getObjectPropertyDomainAxioms(pe)) { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).getNodes()); } } for (OWLObjectPropertyExpression invPe : getInverseObjectProperties(pe).getEntities()) { for (OWLObjectPropertyRangeAxiom axiom : ontology.getObjectPropertyRangeAxioms(invPe)) { result.addNode(getEquivalentClasses(axiom.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getRange(), false).getNodes()); } } } } return result; }
public NodeSet<OWLClass> getObjectPropertyRanges(OWLObjectPropertyExpression pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLObjectPropertyRangeAxiom axiom : ontology.getObjectPropertyRangeAxioms(pe)) { result.addNode(getEquivalentClasses(axiom.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getRange(), false).getNodes()); } } for (OWLObjectPropertyExpression invPe : getInverseObjectProperties(pe).getEntities()) { for (OWLObjectPropertyDomainAxiom axiom : ontology.getObjectPropertyDomainAxioms(invPe)) { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).getNodes()); } } } } return result; }
public NodeSet<OWLClass> getObjectPropertyDomains(OWLObjectPropertyExpression pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { ensurePrepared(); DefaultNodeSet<OWLClass> result = new OWLClassNodeSet(); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLObjectPropertyDomainAxiom axiom : ontology.getObjectPropertyDomainAxioms(pe)) { result.addNode(getEquivalentClasses(axiom.getDomain())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getDomain(), false).getNodes()); } } for (OWLObjectPropertyExpression invPe : getInverseObjectProperties(pe).getEntities()) { for (OWLObjectPropertyRangeAxiom axiom : ontology.getObjectPropertyRangeAxioms(invPe)) { result.addNode(getEquivalentClasses(axiom.getRange())); if (!direct) { result.addAllNodes(getSuperClasses(axiom.getRange(), false).getNodes()); } } } } return result; }
public NodeSet<OWLNamedIndividual> getObjectPropertyValues(OWLNamedIndividual ind, OWLObjectPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { OWLNamedIndividualNodeSet result = new OWLNamedIndividualNodeSet(); Node<OWLObjectProperty> inverses = getInverseObjectProperties(pe); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLObjectPropertyAssertionAxiom axiom : ontology.getObjectPropertyAssertionAxioms(ind)) {
public NodeSet<OWLNamedIndividual> getObjectPropertyValues(OWLNamedIndividual ind, OWLObjectPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { ensurePrepared(); OWLNamedIndividualNodeSet result = new OWLNamedIndividualNodeSet(); Node<OWLObjectPropertyExpression> inverses = getInverseObjectProperties(pe); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLObjectPropertyAssertionAxiom axiom : ontology.getObjectPropertyAssertionAxioms(ind)) {