@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) {
axiom.getProperty().accept(this);
OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj;
axiom.getDomain().accept(this);
OWLClassExpression domain = (OWLClassExpression) obj;
obj =
dataFactory.getOWLObjectPropertyDomainAxiom(prop, domain, duplicateAxiomAnnotations(axiom));
}
public void rebuild(OWLObjectPropertyDomainAxiom axiom) {
axiom.getDomain().accept(this);
OWLDescription domainClass = this.getRelevantDescription();
this.rebuiltAxioms.add(
this.factory.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), domainClass));
}
public void visit(OWLObjectPropertyDomainAxiom axiom) {
axiom.getDomain().accept(this);
axiom.getProperty().accept(this);
processAxiomAnnotations(axiom);
}