Refine search
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { rhs.add(axiom.getDomain()); lhs.add(axiom.getProperty()); }
@Override public void visit(final OWLObjectPropertyDomainAxiom theAxiom) { writeKeywordInfix(Keyword.DOMAIN, theAxiom.getProperty(), theAxiom.getDomain()); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
@Override public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { v(axiom.getProperty()); v(axiom.getDomain()); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { v(axiom.getProperty()); v(axiom.getDomain()); }
@Override public void write(OWLOutputStream out, Object o) throws IOException { OWLObjectPropertyDomainAxiom axiom = (OWLObjectPropertyDomainAxiom) o; out.write(axiom.getProperty()); out.write(axiom.getDomain()); }
@Override public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
@Override public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { OWLClassExpression domain = axiom.getDomain(); OWLClassExpression newDomain = domain.accept(classVisitor); if (domain.equals(newDomain)) { return axiom; } return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), newDomain, getAnnotationsWithOptionalExpansionMarker(axiom)); }
@Override public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { OWLClassExpression domain = axiom.getDomain(); OWLClassExpression newDomain = domain.accept(classVisitor); if (domain.equals(newDomain)) { return axiom; } return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), newDomain, getAnnotationsWithOptionalExpansionMarker(axiom)); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { sb.append("ObjectPropertyDomain("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getDomain().accept(this); sb.append(')'); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { addConstruct(ROLE_DOMAIN_RANGE); axiom.getDomain().accept(this); axiom.getProperty().accept(this); }
@Override public Collection<OWLAxiom> visit(OWLObjectPropertyDomainAxiom axiom) { return subClassOf(df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()), axiom.getDomain()); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { axiom.getDomain().accept(this); axiom.getProperty().accept(this); processAxiomAnnotations(axiom); }
@Override public Collection<OWLAxiom> visit(OWLObjectPropertyDomainAxiom axiom) { return subClassOf(df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()), axiom.getDomain()); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { process(axiom); axiom.getDomain().accept(this); axiom.getProperty().accept(this); }
@Override public OWLObjectPropertyDomainAxiom visit(OWLObjectPropertyDomainAxiom axiom) { return df.getOWLObjectPropertyDomainAxiom(get(axiom.getProperty()), get(axiom.getDomain()), anns(axiom)); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { // prop some Thing subclassOf domain OWLClassExpression sub = dataFactory .getOWLObjectSomeValuesFrom(axiom.getProperty(), dataFactory.getOWLThing()); OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }