Refine search
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { rhs.add(axiom.getDomain()); lhs.add(axiom.getProperty()); }
@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(final OWLObjectPropertyDomainAxiom theAxiom) { writeKeywordInfix(Keyword.DOMAIN, theAxiom.getProperty(), theAxiom.getDomain()); }
@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 OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@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) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getDomain(), 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) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
@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) { writeAxiomStart(OBJECT_PROPERTY_DOMAIN, axiom); acceptAndSpace(axiom.getProperty()); axiom.getDomain().accept(this); writeAxiomEnd(); }