private boolean namedClassInEquivalentAxiom(OWLEquivalentClassesAxiom axiom) { for (OWLClassExpression equiv : axiom.getClassExpressions()) { if (!equiv.isAnonymous()) { return true; } } return false; } }
public void visit(OWLEquivalentClassesAxiom owlEquivalentClassesAxiom) { if (!visited.contains(owlEquivalentClassesAxiom)){ visited.add(owlEquivalentClassesAxiom); for (OWLClassExpression op : owlEquivalentClassesAxiom.getClassExpressions()){ op.accept(this); } } }
public void visit(OWLEquivalentClassesAxiom axiom) { for (OWLClassExpression desc : axiom.getClassExpressions()) { if (desc.equals(current)) { continue; } desc.accept(extractor); } } }
public void visit(OWLEquivalentClassesAxiom ax) { for (OWLClassExpression descr : ax.getClassExpressions()){ if (descr.isAnonymous()){ descrs.add(descr); } } }
public void visit(OWLEquivalentClassesAxiom axiom) { for (OWLClassExpression desc : axiom.getClassExpressions()) { desc.accept(this); } }
public boolean isEditable() { Set<OWLClassExpression> descs = new HashSet<>(getAxiom().getClassExpressions()); descs.remove(getRoot()); return descs.size() == 1; }
public boolean isEditable() { Set<OWLClassExpression> descs = new HashSet<>(getAxiom().getClassExpressions()); descs.remove(getRoot()); return descs.size() == 1; }
protected List<OWLClassExpression> getObjects() { Set<OWLClassExpression> clses = new HashSet<OWLClassExpression>(getAxiom().getClassExpressions()); clses.remove(getRoot()); return new ArrayList<OWLClassExpression>(clses); }
@Override public void visit(OWLEquivalentClassesAxiom axiom){ isRL = true; Iterator<OWLClassExpression> it = axiom.getClassExpressions().iterator(); while (isRL && it.hasNext()){ OWLClassExpression c = it.next(); isRL = isValidSubClassExpression(c) && isValidSuperClassExpression(c); } } @Override
public OWLAxiom visit(OWLEquivalentClassesAxiom axiom) { Set<OWLClassExpression> ops = new HashSet<OWLClassExpression>(); for (OWLClassExpression op : axiom.getClassExpressions()) { ops.add(op.accept(this)); } return dataFactory.getOWLEquivalentClassesAxiom(ops); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { sb.append("EquivalentClasses("); writeAnnotations(axiom); render(axiom.getClassExpressions()); sb.append(" )"); }
public void visit(OWLEquivalentClassesAxiom axiom) { isEntailed = true; Iterator<OWLClassExpression> i = axiom.getClassExpressions().iterator(); if( i.hasNext() ) { OWLClassExpression first = i.next(); while( i.hasNext() && isEntailed ) { OWLClassExpression next = i.next(); isEntailed = kb.isEquivalentClass( reasoner.term( first ), reasoner.term( next ) ); } } }
public void visit(OWLEquivalentClassesAxiom node) { for (Iterator<OWLClassExpression> it = sort(node.getClassExpressions()).iterator(); it.hasNext();) { it.next().accept(this); if (it.hasNext()) { write(" \u2261 "); } } }
public void visit(OWLEquivalentClassesAxiom axiom) { for (OWLClassExpression desc : axiom.getClassExpressions()) { if (!desc.isAnonymous()) { getAxiomsForLHS(desc.asOWLClass()).add(axiom); } indexAxiomsByRHSEntities(desc, axiom); } }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { renderNaryCollection(EQUIVALENT_CLASSES, axiom.getClassExpressions(), EQUIVALENT_TO); renderAxiomAnnotations(axiom); }
public void visit(OWLEquivalentClassesAxiom axiom) { if (axiom.getClassExpressions().contains(OWL.Thing)) { Lint lint = makeLint(); lint.addParticipatingAxiom(axiom); LintFixer fixer = new LintFixer(Collections.singleton(axiom), new HashSet<OWLAxiom>()); lint.setLintFixer(fixer); setLint(lint); } } }
public void visit(OWLEquivalentClassesAxiom axiom) { if (axiom.getClassExpressions().contains(OWL.Thing)) { Lint lint = makeLint(); lint.addParticipatingAxiom(axiom); LintFixer fixer = new LintFixer(Collections.singleton(axiom), new HashSet<OWLAxiom>()); lint.setLintFixer(fixer); setLint(lint); } } }
protected void addAxiom(OWLEquivalentClassesAxiom ax, OWLOntology ontology) { addRow(new OWLEquivalentClassesAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); for (OWLClassExpression desc : ax.getClassExpressions()) { added.add(desc); } }
public void visit(OWLEquivalentClassesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(EQUIVALENT_TO, axiom.getClassExpressions(), EQUIVALENT_CLASSES); restore(); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { for (OWLClassExpression desc : axiom.getClassExpressions()) { if (!desc.isAnonymous()) { getAxiomsForLHS(desc.asOWLClass()).add(axiom); } indexAxiomsByRHSEntities(desc, axiom); } }