@Override public boolean containsAnonymousIndividuals() { return getSubject().isAnonymous() || getObject().isAnonymous(); } }
@Override public boolean containsAnonymousIndividuals() { return getSubject().isAnonymous(); } }
private void processIfAnonymous(OWLIndividual ind) { if (!currentIndividuals.contains(ind)) { currentIndividuals.add(ind); if (ind.isAnonymous()) { ont.axioms(ind).sorted().forEach(ax -> ax.accept(this)); ont.annotationAssertionAxioms(ind.asOWLAnonymousIndividual()).sorted() .forEach(ax -> ax.accept(this)); } currentIndividuals.remove(ind); } }
@Override public void visit(OWLSameIndividualAxiom axiom) { axiom.individuals().filter(ind -> !ind.isAnonymous()).forEach(ind -> { getAxiomsForLHS(ind.asOWLNamedIndividual()).add(axiom); indexAxiomsByRHSEntities(ind, axiom); }); }
@Override public void visit(OWLSameIndividualAxiom axiom) { axiom.individuals().filter(ind -> !ind.isAnonymous()).forEach(ind -> { getAxiomsForLHS(ind.asOWLNamedIndividual()).add(axiom); indexAxiomsByRHSEntities(ind, axiom); }); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { axiom.individuals().forEach(ind -> { if (!ind.isAnonymous()) { getAxiomsForLHS(ind.asOWLNamedIndividual()).add(axiom); indexAxiomsByRHSEntities(ind, axiom); } }); }
public void visit(OWLDifferentIndividualsAxiom axiom) { for (OWLIndividual ind : axiom.getIndividuals()) { if (!ind.isAnonymous()) { ind.asOWLNamedIndividual().accept(this); } } }
public void visit(OWLSameIndividualAxiom axiom) { for (OWLIndividual ind : axiom.getIndividuals()) { if (!ind.isAnonymous()) { ind.asOWLNamedIndividual().accept(this); } } }
public OWLClass getInferredOwlClass() { OWLReasoner reasoner = editorKit.getOWLModelManager().getOWLReasonerManager().getCurrentReasoner(); if (individual == null || individual.isAnonymous() || reasoner instanceof NoOpReasoner) { return owlClass; } if (inferredOwlClassNeedsRecalculation) { recalculateInferredOwlClass(reasoner); inferredOwlClassNeedsRecalculation = false; } return inferredOwlClass; }
public void visit(OWLDataPropertyAssertionAxiom axiom) { if (!axiom.getSubject().isAnonymous()) { axiom.getSubject().asOWLNamedIndividual().accept(this); } }
public void visit(OWLClassAssertionAxiom axiom) { if (!axiom.getIndividual().isAnonymous()) { axiom.getIndividual().asOWLNamedIndividual().accept(this); } }
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { if (!axiom.getSubject().isAnonymous()) { axiom.getSubject().asOWLNamedIndividual().accept(this); } }
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { if (!axiom.getSubject().isAnonymous()) { axiom.getSubject().asOWLNamedIndividual().accept(this); } }
public void visit(OWLObjectPropertyAssertionAxiom axiom) { if (!axiom.getSubject().isAnonymous()) { axiom.getSubject().asOWLNamedIndividual().accept(this); } }
@Override public void visit(OWLClassAssertionAxiom axiom) { if (!axiom.getIndividual().isAnonymous()) { getAxiomsForLHS(axiom.getIndividual().asOWLNamedIndividual()).add(axiom); indexAxiomsByRHSEntities(axiom.getClassExpression(), axiom); } }
@Override public void visit(OWLClassAssertionAxiom axiom) { if (!axiom.getIndividual().isAnonymous()) { getAxiomsForLHS(axiom.getIndividual().asOWLNamedIndividual()).add(axiom); indexAxiomsByRHSEntities(axiom.getClassExpression(), axiom); } }
protected void addAxiom(OWLClassAssertionAxiom ax, OWLOntology ont) { addRow(new OWLClassAssertionAxiomMembersSectionRow(getOWLEditorKit(), this, ont, getRootObject(), ax)); if (!ax.getIndividual().isAnonymous()){ added.add(ax.getIndividual().asOWLNamedIndividual()); } }
static OWLAxiom create(OWLDataFactory d, OWLIndividual s, OWLAnnotation o, Collection<OWLAnnotation> anns) { if (s.isAnonymous()) { return d.getOWLAnnotationAssertionAxiom(s.asOWLAnonymousIndividual(), o, anns); } else { return d.getOWLAnnotationAssertionAxiom(s.asOWLNamedIndividual().getIRI(), o, anns); } }
private boolean isPunForClass(OWLIndividual ind) { if (ind.isAnonymous()){ return false; } for (OWLOntology ont : getOWLModelManager().getOntologies()) { if (ont.containsClassInSignature(ind.asOWLNamedIndividual().getIRI())) { return true; } } return false; }
public void setObjectPropertyAxiom(OWLPropertyAssertionAxiom<OWLObjectPropertyExpression, OWLIndividual> ax) { OWLObjectPropertyExpression p = ax.getProperty(); // @@TODO support for inverse properties if (p instanceof OWLObjectProperty) { objectPropertyPanel.setSelection((OWLObjectProperty) p); } // @@TODO support for anonymous individuals if (!ax.getObject().isAnonymous()){ individualSelectorPanel.setSelection(ax.getObject().asOWLNamedIndividual()); } }