@Override protected Set<OWLObjectPropertyRangeAxiom> getAxiomsInOntology(OWLObjectProperty subject, OWLOntology ontology) { return ontology.getObjectPropertyRangeAxioms(subject); }
protected Set<? extends OWLPropertyRangeAxiom<OWLObjectPropertyExpression, OWLClassExpression>> getRangeAxioms( OWLOntology ontology) { return ontology.getObjectPropertyRangeAxioms(this); }
@Override @Deprecated public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms( OWLObjectPropertyExpression owlObjectPropertyExpression) { return withReadLock( () -> delegate.getObjectPropertyRangeAxioms(owlObjectPropertyExpression)); }
@Override @Deprecated public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms( OWLObjectPropertyExpression owlObjectPropertyExpression) { return withReadLock( () -> delegate.getObjectPropertyRangeAxioms(owlObjectPropertyExpression)); }
@Override @Deprecated public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms( OWLObjectPropertyExpression owlObjectPropertyExpression) { return withReadLock( () -> delegate.getObjectPropertyRangeAxioms(owlObjectPropertyExpression)); }
@Override @Deprecated public Set<OWLObjectPropertyRangeAxiom> getObjectPropertyRangeAxioms( OWLObjectPropertyExpression owlObjectPropertyExpression) { return withReadLock( () -> delegate.getObjectPropertyRangeAxioms(owlObjectPropertyExpression)); }
public static Set<OWLEntity> getContext(OWLOntology ontology, OWLObjectProperty property){ Set<OWLEntity> context = new HashSet<>(); Set<OWLAxiom> relatedAxioms = new HashSet<>(); relatedAxioms.addAll(ontology.getObjectSubPropertyAxiomsForSubProperty(property)); relatedAxioms.addAll(ontology.getEquivalentObjectPropertiesAxioms(property)); relatedAxioms.addAll(ontology.getObjectPropertyDomainAxioms(property)); relatedAxioms.addAll(ontology.getObjectPropertyRangeAxioms(property)); for (OWLAxiom axiom : relatedAxioms) { context.addAll(axiom.getSignature()); } return context; }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLObjectPropertyRangeAxiom ax : ontology.getObjectPropertyRangeAxioms(getRootObject())) { addRow(new OWLObjectPropertyRangeFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); addedRanges.add(ax.getRange()); } }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLObjectPropertyRangeAxiom ax : ontology.getObjectPropertyRangeAxioms(getRootObject())) { addRow(new OWLObjectPropertyRangeFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); addedRanges.add(ax.getRange()); } }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLObjectPropertyRangeAxiom ax : ontology.getObjectPropertyRangeAxioms(getRootObject())) { addRow(new OWLObjectPropertyRangeFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); addedRanges.add(ax.getRange()); } }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLObjectPropertyRangeAxiom ax : ontology.getObjectPropertyRangeAxioms(getRootObject())) { addRow(new OWLObjectPropertyRangeFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); addedRanges.add(ax.getRange()); } }
private Stream<OWLAxiom> getUnaryAxioms() { return Stream.of( ontology.getObjectSubPropertyAxiomsForSubProperty(property), ontology.getEquivalentObjectPropertiesAxioms(property), ontology.getFunctionalObjectPropertyAxioms(property), ontology.getInverseFunctionalObjectPropertyAxioms(property), ontology.getSymmetricObjectPropertyAxioms(property), ontology.getTransitiveObjectPropertyAxioms(property), ontology.getAsymmetricObjectPropertyAxioms(property), ontology.getReflexiveObjectPropertyAxioms(property), ontology.getIrreflexiveObjectPropertyAxioms(property), ontology.getObjectPropertyDomainAxioms(property), ontology.getObjectPropertyRangeAxioms(property)) .flatMap(Collection::stream); }
@Nonnull @Override public NodeSet<OWLClass> getObjectPropertyDomains(@Nonnull 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; }
@Nonnull @Override public NodeSet<OWLClass> getObjectPropertyRanges(@Nonnull 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> 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 { 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> 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<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 { 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<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; }