@Override public Boolean visit(OWLDisjointClassesAxiom axiom) { if (axiom.getClassExpressions().size() == 2 && axiom.getClassExpressions().contains(factory.getOWLNothing())) { return true; } return false; }
@Override public Set<OWLClassExpression> visit(OWLDisjointClassesAxiom axiom) { Set<OWLClassExpression> result = new HashSet<>(); for (OWLClassExpression ce : axiom.getClassExpressions()) { result.addAll(ce.accept(this)); } return result; }
public void visit(OWLDisjointClassesAxiom axiom) { for (OWLClassExpression expr : axiom.getClassExpressions()) { add(expr); } }
@Nonnull @Override public Optional<? extends OWLObject> visit(@Nonnull OWLDisjointClassesAxiom axiom) { return classExpressionSelector.selectOne(axiom.getClassExpressions()); }
/** * Gets a list of objects contained in this row. */ public List<OWLClassExpression> getManipulatableObjects() { Set<OWLClassExpression> disjointClasses = new HashSet<>(getAxiom().getClassExpressions()); disjointClasses.remove(getRootObject()); return new ArrayList<>(disjointClasses); } }
@SuppressWarnings("unchecked") private List<OWLOntologyChange> removeDisjointsForClass(OWLClass owlClass, Set<OWLOntology> ontologies) { List<OWLOntologyChange> changes = new ArrayList<>(); for (OWLOntology ont : ontologies) { for (OWLDisjointClassesAxiom ax : ont.getAxioms(AxiomType.DISJOINT_CLASSES)) { if (ax.getClassExpressions().contains(owlClass)){ changes.add(new RemoveAxiom(ont, ax)); } } } return changes; }
@Override public void write(OWLOutputStream out, Object o) throws IOException { OWLDisjointClassesAxiom axiom = (OWLDisjointClassesAxiom) o; IOUtils.writeInt(out.getOutputStream(), axiom.getClassExpressions().size()); for (OWLClassExpression ce : axiom.getClassExpressions()) { out.write(ce); } }
/** * Gets a list of objects contained in this row. */ public List<OWLClassExpression> getManipulatableObjects() { Set<OWLClassExpression> disjointClasses = new HashSet<OWLClassExpression>(getAxiom().getClassExpressions()); disjointClasses.remove(getRootObject()); return new ArrayList<OWLClassExpression>(disjointClasses); } }
public void visit(OWLDisjointClassesAxiom node) { for (Iterator<OWLClassExpression> it = sort(node.getClassExpressions()).iterator(); it.hasNext();) { it.next().accept(this); if (it.hasNext()) { write(" \u2291 \u00ac "); } } }
public void visit(OWLDisjointClassesAxiom node) { for (Iterator<OWLClassExpression> it = sort(node.getClassExpressions()).iterator(); it.hasNext();) { it.next().accept(this); if (it.hasNext()) { write(" \u2291 \u00ac "); } } }
public void visit(OWLDisjointClassesAxiom node) { for (Iterator<OWLClassExpression> it = sort(node.getClassExpressions()).iterator(); it.hasNext();) { it.next().accept(this); if (it.hasNext()) { write(" \u2291 \u00ac "); } } }
@Override public void visit(OWLDisjointClassesAxiom axiom) { renderNaryCollection(DISJOINT_CLASSES, axiom.getClassExpressions(), DISJOINT_WITH); renderAxiomAnnotations(axiom); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { Set<OWLClassExpression> classExpressions = axiom.getClassExpressions(); Set<OWLClassExpression> renamedClassExpressions = new HashSet<>(); for (OWLClassExpression classExpression : classExpressions) { renamedClassExpressions.add(expressionRenamer.rename(classExpression)); } renamedClassExpressions = Sets.newHashSet(df.getOWLClass(IRI.create(PatternConstants.NS + "A_1")), PatternConstants.CLASS_SET); renamedAxiom = df.getOWLDisjointClassesAxiom(renamedClassExpressions); }
public void visit(OWLDisjointClassesAxiom axiom) { if (axiom.getClassExpressions().size() == 2) { addPairwiseClassExpressions(axiom, axiom.getClassExpressions(), OWL_DISJOINT_WITH.getIRI()); } else { translateAnonymousNode(axiom); addTriple(axiom, RDF_TYPE.getIRI(), OWL_ALL_DISJOINT_CLASSES.getIRI()); addListTriples(axiom, OWL_MEMBERS.getIRI(), axiom.getClassExpressions()); translateAnnotations(axiom); } }
@Override protected boolean isResettingChange(OWLOntologyChange change) { return change.isAxiomChange() && change.getAxiom() instanceof OWLDisjointClassesAxiom && ((OWLDisjointClassesAxiom) change.getAxiom()).getClassExpressions().contains(getRootObject()); }
@Override protected boolean isResettingChange(OWLOntologyChange change) { return change.isAxiomChange() && change.getAxiom() instanceof OWLDisjointClassesAxiom && ((OWLDisjointClassesAxiom) change.getAxiom()).getClassExpressions().contains(getRootObject()); }
public void visit(OWLDisjointClassesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(DISJOINT_WITH, axiom.getClassExpressions(), DISJOINT_CLASSES); restore(); }
@Override public void visit(OWLDisjointClassesAxiom axiom) { for (OWLClassExpression desc : axiom.getClassExpressions()) { if (!desc.isAnonymous()) { getAxiomsForLHS(desc.asOWLClass()).add(axiom); } indexAxiomsByRHSEntities(desc, axiom); } }
@Override protected boolean isResettingChange(OWLOntologyChange change) { return change.isAxiomChange() && change.getAxiom() instanceof OWLDisjointClassesAxiom && ((OWLDisjointClassesAxiom) change.getAxiom()).getClassExpressions().contains(getRootObject()); }
@Override public final void visit(OWLDisjointClassesAxiom axiom) { writeOpenBracket(); for (final OWLClassExpression desc : axiom.getClassExpressions()) { write(desc); } writeCloseBracket(); }