@Override void handleChild(IndividualEH h) { builder.withEntity(h.getOWLObject(OWLIndividual.class).asOWLNamedIndividual()); } }
private void recalculateInferredOwlClass(OWLReasoner reasoner) { if (inferredOwlClass == null || !reasoner.getInstances(owlClass, true).containsEntity(individual.asOWLNamedIndividual())) { inferredOwlClass = null; for (OWLClass cls : reasoner.getTypes(individual.asOWLNamedIndividual(), true).getFlattened()) { inferredOwlClass = cls; break; } } }
@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 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(OWLDataPropertyAssertionAxiom 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()); } }
@Override public void visit(OWLClassAssertionAxiom axiom) { if (!axiom.getClassExpression().isAnonymous()) { source = axiom.getIndividual().asOWLNamedIndividual(); target = axiom.getClassExpression().asOWLClass(); } }
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); } }
@Override public void visit(OWLClassAssertionAxiom axiom) { if (!axiom.getClassExpression().isAnonymous()) { source = axiom.getIndividual().asOWLNamedIndividual(); target = axiom.getClassExpression().asOWLClass(); } }
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()); } }