Refine search
@Override public void visit(OWLDisjointClassesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(DISJOINT_WITH, axiom.classExpressions(), DISJOINT_CLASSES); restore(); }
@Override public void visit(OWLEquivalentObjectPropertiesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(EQUIVALENT_TO, axiom.properties(), EQUIVALENT_PROPERTIES); restore(); }
@Override public void visit(OWLDisjointDataPropertiesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(DISJOINT_WITH, axiom.properties(), DISJOINT_PROPERTIES); restore(); }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(DIFFERENT_FROM, axiom.individuals(), DIFFERENT_INDIVIDUALS); restore(); }
@Override public void visit(OWLSameIndividualAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(SAME_AS, axiom.individuals(), SAME_INDIVIDUAL); restore(); }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(DISJOINT_WITH, axiom.properties(), DISJOINT_PROPERTIES); restore(); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(EQUIVALENT_TO, axiom.classExpressions(), EQUIVALENT_CLASSES); restore(); }
@Override public void visit(OWLDeclarationAxiom axiom) { setAxiomWriting(); writeFrameType(axiom.getEntity()); restore(); }
@Override public void visit(OWLDeclarationAxiom axiom) { setAxiomWriting(); writeFrameType(axiom.getEntity()); restore(); }
@Override public void visit(OWLEquivalentClassesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(EQUIVALENT_TO, axiom.classExpressions(), EQUIVALENT_CLASSES); restore(); }
@Override public void visit(OWLSameIndividualAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(SAME_AS, axiom.individuals(), SAME_INDIVIDUAL); restore(); }
@Override public void visit(OWLEquivalentObjectPropertiesAxiom axiom) { setAxiomWriting(); writeBinaryOrNaryList(EQUIVALENT_TO, axiom.properties(), EQUIVALENT_PROPERTIES); restore(); }
@Override public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) { setAxiomWriting(); writeSectionKeyword(IRREFLEXIVE); axiom.getProperty().accept(this); restore(); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { setAxiomWriting(); writeSectionKeyword(REFLEXIVE); axiom.getProperty().accept(this); restore(); }
@Override public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { setAxiomWriting(); writeSectionKeyword(INVERSE_FUNCTIONAL); axiom.getProperty().accept(this); restore(); }
@Override public void visit(OWLSymmetricObjectPropertyAxiom axiom) { setAxiomWriting(); writeSectionKeyword(SYMMETRIC); axiom.getProperty().accept(this); restore(); }
@Override public void visit(OWLFunctionalDataPropertyAxiom axiom) { setAxiomWriting(); writeSectionKeyword(FUNCTIONAL); axiom.getProperty().accept(this); restore(); }
@Override public void visit(OWLAsymmetricObjectPropertyAxiom axiom) { setAxiomWriting(); writeSectionKeyword(ASYMMETRIC); axiom.getProperty().accept(this); restore(); }
@Override public void visit(OWLAsymmetricObjectPropertyAxiom axiom) { setAxiomWriting(); writeSectionKeyword(ASYMMETRIC); axiom.getProperty().accept(this); restore(); }
@Override public void visit(OWLSymmetricObjectPropertyAxiom axiom) { setAxiomWriting(); writeSectionKeyword(SYMMETRIC); axiom.getProperty().accept(this); restore(); }