Refine search
@Override public OWLAxiom visit(OWLDisjointUnionAxiom axiom) { return df.getOWLDisjointUnionAxiom(axiom.getOWLClass(), asList(axiom.classExpressions().map(p -> p.accept(classVisitor)))); }
@Override public OWLAxiom visit(OWLDisjointUnionAxiom axiom) { Set<OWLClassExpression> descs = new HashSet<OWLClassExpression>(); for (OWLClassExpression op : axiom.getClassExpressions()) { descs.add(op.accept(this)); } return dataFactory.getOWLDisjointUnionAxiom(axiom.getOWLClass(), descs); }
@Override public void visit(final OWLDisjointUnionAxiom axiom) { // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented assert UNSUPPORTED_ENTAILMENT.contains(axiom.getAxiomType()); throw new UnsupportedOperationException("Unsupported entailment query: " + axiom); }
@Override default Stream<?> components() { return Stream.of(getOWLClass(), getOperandsAsList(), annotationsAsList()); }
@Override default Stream<?> componentsWithoutAnnotations() { return Stream.of(getOWLClass(), getOperandsAsList()); }
public void visit(OWLDisjointUnionAxiom axiom) { hashCode = 43; hashCode = hashCode * MULT + axiom.getOWLClass().hashCode(); hashCode = hashCode * MULT + axiom.getClassExpressions().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { addConstruct(CONCEPT_UNION); addConstruct(CONCEPT_COMPLEX_NEGATION); axiom.classExpressions().forEach(o -> o.accept(this)); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { if (axiom.getOWLClass().isAnonymous()) { logger.info("Disjoint Union base is anonym."); return; } AbstractClass baseClass = vowlData.getClassForIri(axiom.getOWLClass().getIRI()); baseClass.addAttribute(VowlAttribute.DISJOINTUNION); for (OWLClassExpression disjointClassEx : axiom.classExpressions().collect(Collectors.toSet())){ OWLClass cls=disjointClassEx.asOWLClass(); baseClass.addDisjointUnion(cls.getIRI()); } //axiom.classesInSignature() << creates memory leak // for (OWLClass disjointClass : axiom.getOWLDisjointClassesAxiom().classesInSignature().collect(Collectors.toSet())) { // baseClass.addDisjointUnion(disjointClass.getIRI()); // } baseClass=null; }
@Override public OWLAxiom visit(OWLDisjointUnionAxiom axiom) { Set<OWLClassExpression> newOps = new HashSet<>(); AtomicBoolean sawChange = new AtomicBoolean(false); axiom.classExpressions().forEach(op -> { OWLClassExpression newOp = op.accept(classVisitor); newOps.add(newOp); if (!op.equals(newOp)) { sawChange.set(true); } }); if (!sawChange.get()) { return axiom; } return df.getOWLDisjointUnionAxiom(axiom.getOWLClass(), newOps, getAnnotationsWithOptionalExpansionMarker( axiom)); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { process(axiom); axiom.getOWLClass().accept(this); axiom.classExpressions().forEach(a -> a.accept(this)); }
@Override public Stream<K> visit(OWLDisjointUnionAxiom axiom) { return Stream.of((K) axiom.getOWLClass()); }
@Override public Boolean visit(OWLDisjointUnionAxiom axiom) { if (neitherPositiveNorNegative(axiom.getOWLClass()).booleanValue()) { return Boolean.FALSE; } return Boolean .valueOf(!axiom.classExpressions().anyMatch(this::neitherPositiveNorNegative)); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { sb.append("DisjointUnion("); writeAnnotations(axiom); axiom.getOWLClass().accept(this); insertSpace(); render(axiom.classExpressions()); sb.append(" )"); }
public void visit(OWLDisjointUnionAxiom axiom) { handleObject(axiom); axiom.getOWLClass().accept(this); process(axiom.getClassExpressions()); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { axiom.getOWLClass().accept((OWLEntityVisitor) this); for (OWLClassExpression desc : axiom.getClassExpressions()) { desc.accept(this); } processAxiomAnnotations(axiom); }
@Override public Collection<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) { Set<OWLAxiom> axioms = new HashSet<>(); axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(), df.getOWLObjectUnionOf(axiom.classExpressions())).accept(this)); axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.classExpressions()).accept(this)); return axioms; }
public Set<OWLAxiom> visit(OWLDisjointUnionAxiom axiom) { Set<OWLAxiom> axioms = new HashSet<OWLAxiom>(); axioms.addAll(df.getOWLEquivalentClassesAxiom(axiom.getOWLClass(), df.getOWLObjectUnionOf(axiom.getClassExpressions())).accept(this)); axioms.addAll(df.getOWLDisjointClassesAxiom(axiom.getClassExpressions()).accept(this)); return axioms; }
@Override public void visit(OWLDisjointUnionAxiom ax) { obj = df .getOWLDisjointUnionAxiom(dup(ax.getOWLClass()), set(ax.classExpressions()), anns(ax)); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { OWLClass cls = axiom.getOWLClass(); cls = expressionRenamer.rename(cls).asOWLClass(); Set<OWLClassExpression> classExpressions = axiom.getClassExpressions(); Set<OWLClassExpression> renamedClassExpressions = new HashSet<>(); for (OWLClassExpression classExpression : classExpressions) { renamedClassExpressions.add(expressionRenamer.rename(classExpression)); } renamedAxiom = df.getOWLDisjointUnionAxiom(cls, renamedClassExpressions); }
@Override public Set<OWLClassExpression> visit(OWLDisjointUnionAxiom axiom) { Set<OWLClassExpression> result = new HashSet<>(); result.add(axiom.getOWLClass()); for (OWLClassExpression ce : axiom.getClassExpressions()) { result.addAll(ce.accept(this)); } return result; }