Refine search
public void visit(OWLReflexiveObjectPropertyAxiom axiom) { constructs.add(R); axiom.getProperty().accept(this); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderReflexiveObjectProperty(OWLReflexiveObjectPropertyAxiom expected, OWLDataFactory df) { this(df); withProperty(expected.getProperty()).withAnnotations(expected.annotations()); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { hashCode = 131; hashCode = hashCode * MULT + axiom.getProperty().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
Set<OWLClassExpression> superclasses = inter.getOperands(); for (OWLClassExpression sc: superclasses) { OWLSubClassOfAxiom newAx = fac.getOWLSubClassOfAxiom(subclass, sc); Set<OWLAxiom> tpAxioms = toQLNormalForm(newAx,tmpNonQLAxioms); if (tpAxioms!=null) { OWLClassExpression class1 = it.next(); OWLClassExpression class2 = it.next(); OWLSubClassOfAxiom sca = fac.getOWLSubClassOfAxiom(class1, fac.getOWLObjectComplementOf(class2).getNNF()); Set<OWLAxiom> tpAxioms = toQLNormalForm(sca,tmpNonQLAxioms); if (tpAxioms!=null) { OWLAsymmetricObjectPropertyAxiom asymax = (OWLAsymmetricObjectPropertyAxiom) ax; OWLObjectProperty prop = (OWLObjectProperty) asymax.getProperty(); ret.add(fac.getOWLDisjointObjectPropertiesAxiom(prop, prop.getInverseProperty().getSimplified())); } else if ( ax.getAxiomType().equals(AxiomType.REFLEXIVE_OBJECT_PROPERTY)) { OWLReflexiveObjectPropertyAxiom rax = (OWLReflexiveObjectPropertyAxiom) ax; ret.add(fac.getOWLReflexiveObjectPropertyAxiom(rax.getProperty().getNamedProperty())); } else if (ax.getAxiomType().equals(AxiomType.IRREFLEXIVE_OBJECT_PROPERTY)) { OWLIrreflexiveObjectPropertyAxiom iax = (OWLIrreflexiveObjectPropertyAxiom) ax; ret.add(fac.getOWLIrreflexiveObjectPropertyAxiom(iax.getProperty().getNamedProperty())); } else if (ax.getAxiomType().equals(AxiomType.DATA_PROPERTY_RANGE)) {
public void visit(OWLReflexiveObjectPropertyAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { OWLObjectPropertyExpression property = axiom.getProperty(); property = expressionRenamer.rename(property); renamedAxiom = df.getOWLReflexiveObjectPropertyAxiom(property); }
/** * 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); }
public void visit(OWLReflexiveObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj; obj = dataFactory.getOWLReflexiveObjectPropertyAxiom(prop, duplicateAxiomAnnotations(axiom)); }
@Override public Object visit(OWLReflexiveObjectPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLReflexiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
public void visit(OWLReflexiveObjectPropertyAxiom axiom) { makeReflexive(axiom.getProperty()); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
@Override public OWLClassExpression visit(OWLReflexiveObjectPropertyAxiom ax) { return df.getOWLObjectHasSelf(ax.getProperty()).getObjectComplementOf(); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex(); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } }
@Override public OWLReflexiveObjectPropertyAxiom visit(OWLReflexiveObjectPropertyAxiom axiom) { return df.getOWLReflexiveObjectPropertyAxiom(get(axiom.getProperty()), anns(axiom)); }
/** * 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 Object visit(OWLReflexiveObjectPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLReflexiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { makeReflexive(axiom.getProperty()); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } @Override
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex(); }