@Override public Stream<OWLClassExpression> visit(OWLObjectMinCardinality ce) { return (ce.getCardinality() == 1) ? df.getOWLObjectSomeValuesFrom(ce.getProperty(), ce.getFiller()).accept(this) : ce.getFiller().accept(this) .map(f -> df.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), f)); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()).accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()).accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }
public void visit(OWLObjectPropertyDomainAxiom axiom) { df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()).accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()).accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()).accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()) .accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }