@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
axiom.getDomain().accept(this);
constructs.add(AL);
constructs.add(D);
axiom.getProperty().accept(this);
}
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
axiom.getProperty().accept(this);
OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj;
axiom.getDomain().accept(this);
OWLClassExpression domain = (OWLClassExpression) obj;
obj = dataFactory.getOWLDataPropertyDomainAxiom(prop, domain, duplicateAxiomAnnotations(axiom));
}
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this);
writeSpace();
write(SUBCLASS);
writeSpace();
axiom.getDomain().accept(this);
}
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
OWLClassExpression sub =
factory.getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype());
result = and(sub, not(axiom.getDomain()));
}
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
handleObject(axiom);
axiom.getProperty().accept(this);
}
public void visit(OWLDataPropertyDomainAxiom axiom) {
axiom.getDomain().accept(this);
axiom.getProperty().accept(this);
processAxiomAnnotations(axiom);
}