Refine search
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { rhs.add(axiom.getDomain()); lhs.add(axiom.getProperty()); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { v(axiom.getProperty()); v(axiom.getDomain()); }
@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { v(axiom.getProperty()); v(axiom.getDomain()); }
@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression domain = axiom.getDomain(); OWLClassExpression newDomain = domain.accept(classVisitor); if (domain.equals(newDomain)) { return axiom; } return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), newDomain, getAnnotationsWithOptionalExpansionMarker(axiom)); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression domain = axiom.getDomain(); OWLClassExpression newDomain = domain.accept(classVisitor); if (domain.equals(newDomain)) { return axiom; } return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), newDomain, getAnnotationsWithOptionalExpansionMarker(axiom)); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { sb.append("DataPropertyDomain("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getDomain().accept(this); sb.append(')'); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { sb.append("DataPropertyDomain("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getDomain().accept(this); sb.append(')'); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { process(axiom); axiom.getDomain().accept(this); axiom.getProperty().accept(this); }
@Override public Collection<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) { return subClassOf(df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()), axiom.getDomain()); }
@Override public Collection<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) { return subClassOf(df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()), axiom.getDomain()); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { addConstruct(ROLE_DOMAIN_RANGE); addConstruct(D); axiom.getDomain().accept(this); axiom.getProperty().accept(this); }
@Override public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression sub = factory .getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype()); return and(sub, not(axiom.getDomain())); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression sub = dataFactory .getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory .getTopDatatype()); OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }