boolean threewayDisjointObject(OWLAxiom ax) { return !(ax instanceof OWLDisjointObjectPropertiesAxiom && ((OWLDisjointObjectPropertiesAxiom) ax).properties().count() > 2); } }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { axiom.properties() .forEach(p -> disjointObjectPropertyAxiomsByProperty.remove(p, axiom)); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { axiom.properties() .forEach(p -> disjointObjectPropertyAxiomsByProperty.remove(p, axiom)); }
@Override public void visit(final OWLDisjointObjectPropertiesAxiom theAxiom) { writeNaryAxiom(theAxiom.properties(), Keyword.DISJOINT_PROPERTY, Keyword.DISJOINT_PROPERTIES); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { add(rhs, axiom.properties()); add(lhs, axiom.properties()); }
@Override public Stream<C> visit(OWLDisjointObjectPropertiesAxiom axiom) { if (!equiv) { return (Stream<C>) axiom.properties(); } return doDefault(axiom); } }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { process(axiom); axiom.properties().forEach(a -> a.accept(this)); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { addConstruct(ROLE_COMPLEX); axiom.properties().forEach(o -> o.accept(this)); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { process(axiom); axiom.properties().forEach(a -> a.accept(this)); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { axiom.properties().forEach(prop -> { if (!prop.isAnonymous()) { getAxiomsForLHS(prop.asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(prop, axiom); }); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { if (axiom.properties().count() == 2) { addPairwise(axiom, axiom.properties(), OWL_PROPERTY_DISJOINT_WITH.getIRI()); } else { translateAnonymousNode(axiom); translateAnnotations(axiom); addTriple(axiom, RDF_TYPE.getIRI(), OWL_ALL_DISJOINT_PROPERTIES.getIRI()); addListTriples(axiom, OWL_MEMBERS.getIRI(), axiom.properties()); } }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(DISJOINT_WITH, axiom.properties(), DISJOINT_PROPERTIES); restore(); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { List<OWLObjectPropertyExpression> properties = asList(axiom.properties()); if (properties.size() < 2) { // TODO log return; } writeAxiomStart(DISJOINT_OBJECT_PROPERTIES, axiom); write(properties); writeAxiomEnd(); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(DISJOINT_WITH, axiom.properties(), DISJOINT_PROPERTIES); restore(); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { List<OWLObjectPropertyExpression> properties = asList(axiom.properties()); if (properties.size() < 2) { // TODO log return; } writeAxiomStart(DISJOINT_OBJECT_PROPERTIES, axiom); write(properties); writeAxiomEnd(); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { dl(() -> insufficientProperties(axiom), () -> axiom.properties() .filter(getPropertyManager()::isNonSimple).forEach(this::disjointNonSimple)); el(() -> illegalAxiom()); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { writer.writeStartElement(DISJOINT_OBJECT_PROPERTIES); writeAnnotations(axiom); render(axiom.properties()); writer.writeEndElement(); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { writer.writeStartElement(DISJOINT_OBJECT_PROPERTIES); writeAnnotations(axiom); render(axiom.properties()); writer.writeEndElement(); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { pairs(axiom.properties()).forEach(v -> { writeOpenBracket(); write(DISJOINT_ROLES); write(v.i); write(v.j); writeCloseBracket(); writeln(); }); }
@Override public Object visit(OWLDisjointObjectPropertiesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLDisjointObjectPropertiesAxiom(t(axiom.properties()), t(axiom .annotations()))); }