/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
/** * as BotRole is irreflexive, the only local axiom is topEquivalent(R) */ @Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { isLocal = isTopEquivalent(axiom.getProperty()); }
public void visit(OWLReflexiveObjectPropertyAxiom axiom) { makeReflexive(axiom.getProperty()); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
public void visit(OWLReflexiveObjectPropertyAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { if (!axiom.getProperty().isAnonymous()) { getAxiomsForLHS(axiom.getProperty().asOWLObjectProperty()).add(axiom); } }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { sb.append("ReflexiveObjectProperty("); writeAnnotations(axiom); axiom.getProperty().accept(this); sb.append(')'); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { process(axiom); axiom.getProperty().accept(this); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { addConstruct(ROLE_REFLEXIVITY_CHAINS); 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) { addSingleTripleAxiom(axiom, axiom.getProperty(), RDF_TYPE.getIRI(), OWL_REFLEXIVE_PROPERTY.getIRI()); }
public void visit(OWLReflexiveObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj; obj = dataFactory.getOWLReflexiveObjectPropertyAxiom(prop, duplicateAxiomAnnotations(axiom)); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { setAxiomWriting(); writeSectionKeyword(REFLEXIVE); axiom.getProperty().accept(this); restore(); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { write("ReflexiveProperty"); write("("); axiom.getProperty().accept(this); write(")"); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { writer.writeStartElement(REFLEXIVE_OBJECT_PROPERTY); writeAnnotations(axiom); axiom.getProperty().accept(this); writer.writeEndElement(); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { writer.writeStartElement(REFLEXIVE_OBJECT_PROPERTY); writeAnnotations(axiom); axiom.getProperty().accept(this); writer.writeEndElement(); }
@Override public Object visit(OWLReflexiveObjectPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLReflexiveObjectPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); write(EXISTS); writeSpace(); axiom.getProperty().accept(this); write(" ."); write(SELF); }