@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (axiom.getProperty().isOWLObjectProperty()) { objectPropertyDomainAxiomsByProperty.remove(axiom.getProperty(), axiom); } }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (axiom.getProperty().isOWLObjectProperty()) { objectPropertyDomainAxiomsByProperty.remove(axiom.getProperty(), axiom); } }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (axiom.getProperty().isOWLObjectProperty()) { objectPropertyDomainAxiomsByProperty.put(axiom.getProperty(), axiom); } }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (axiom.getProperty().isOWLObjectProperty()) { objectPropertyDomainAxiomsByProperty.remove(axiom.getProperty(), axiom); } }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (axiom.getProperty().isOWLObjectProperty()) { objectPropertyDomainAxiomsByProperty.put(axiom.getProperty(), axiom); } }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (axiom.getProperty().isOWLObjectProperty()) { objectPropertyDomainAxiomsByProperty.put(axiom.getProperty(), axiom); } }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (axiom.getProperty().isOWLObjectProperty()) { objectPropertyDomainAxiomsByProperty.remove(axiom.getProperty(), axiom); } }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { if (axiom.getProperty().isOWLObjectProperty()) { objectPropertyDomainAxiomsByProperty.put(axiom.getProperty(), axiom); } }
@Override public OWLClassExpression visit(OWLObjectHasValue ce) { OWLClassExpression result = null; OWLIndividual filler = ce.getFiller(); OWLObjectPropertyExpression p = ce.getProperty(); if (p.isOWLObjectProperty()) { result = expandOWLObjHasVal(ce, filler, p); } if (result == null) { result = df.getOWLObjectHasValue(ce.getProperty(), filler); } return result; }
@Override public OWLClassExpression visit(OWLObjectHasValue ce) { OWLClassExpression result = null; OWLIndividual filler = ce.getFiller(); OWLObjectPropertyExpression p = ce.getProperty(); if (p.isOWLObjectProperty()) { result = expandOWLObjHasVal(ce, filler, p); } if (result == null) { result = df.getOWLObjectHasValue(ce.getProperty(), filler); } return result; }
@Override public OWLClassExpression visit(OWLObjectHasValue ce) { OWLClassExpression result = null; OWLIndividual filler = ce.getFiller(); OWLObjectPropertyExpression p = ce.getProperty(); if (p.isOWLObjectProperty()) { result = expandOWLObjHasVal(ce, filler, p); } if (result == null) { result = df.getOWLObjectHasValue(ce.getProperty(), filler); } return result; }
/** * Tr. * * @param ax the ax */ protected void tr(OWLInverseFunctionalObjectPropertyAxiom ax) { OWLObjectPropertyExpression prop = ax.getProperty(); if (prop.isOWLObjectProperty() && trObjectProperty(prop.asOWLObjectProperty(), OboFormatTag.TAG_IS_INVERSE_FUNCTIONAL.getTag(), Boolean.TRUE, ax.annotations())) { return; } error(ax, true); }
/** * Tr. * * @param ax the ax */ protected void tr(OWLInverseFunctionalObjectPropertyAxiom ax) { OWLObjectPropertyExpression prop = ax.getProperty(); if (prop.isOWLObjectProperty() && trObjectProperty(prop.asOWLObjectProperty(), OboFormatTag.TAG_IS_INVERSE_FUNCTIONAL.getTag(), Boolean.TRUE, ax.annotations())) { return; } error(ax, true); }
/** * Tr. * * @param ax the ax */ protected void tr(OWLTransitiveObjectPropertyAxiom ax) { OWLObjectPropertyExpression prop = ax.getProperty(); if (prop.isOWLObjectProperty() && trObjectProperty(prop.asOWLObjectProperty(), OboFormatTag.TAG_IS_TRANSITIVE .getTag(), Boolean.TRUE, ax.annotations())) { return; } error(ax, true); }
/** * Tr. * * @param ax the ax */ protected void tr(OWLReflexiveObjectPropertyAxiom ax) { OWLObjectPropertyExpression prop = ax.getProperty(); if (prop.isOWLObjectProperty() && trObjectProperty(prop.asOWLObjectProperty(), OboFormatTag.TAG_IS_REFLEXIVE .getTag(), Boolean.TRUE, ax.annotations())) { return; } error(ax, true); }
@Override public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) { OWLClassExpression filler = ce.getFiller(); OWLObjectPropertyExpression p = ce.getProperty(); OWLClassExpression result = null; if (p.isOWLObjectProperty()) { result = expandOWLObjSomeVal(filler, p); } if (result == null) { result = df.getOWLObjectSomeValuesFrom(ce.getProperty(), filler.accept(this)); } return result; }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { if (!axiom.getSubProperty().isOWLObjectProperty()) { writeOpenBracket(); write(IMPLIES_ROLE); write(axiom.getSubProperty()); write(axiom.getSuperProperty()); writeCloseBracket(); writeln(); } }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { if (!axiom.getSubProperty().isOWLObjectProperty()) { writeOpenBracket(); write(IMPLIES_ROLE); write(axiom.getSubProperty()); write(axiom.getSuperProperty()); writeCloseBracket(); writeln(); } }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { if (!axiom.getSubProperty().isOWLObjectProperty()) { writeOpenBracket(); write(IMPLIES_ROLE); write(axiom.getSubProperty()); write(axiom.getSuperProperty()); writeCloseBracket(); writeln(); } }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { if (!axiom.getSubProperty().isOWLObjectProperty()) { writeOpenBracket(); write(IMPLIES_ROLE); write(axiom.getSubProperty()); write(axiom.getSuperProperty()); writeCloseBracket(); writeln(); } }