How to use

getAxiomType

method

in

org.semanticweb.owlapi.model.OWLDisjointUnionAxiom

@Override
public void visit(final OWLDisjointUnionAxiom axiom)
{
  // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented
  assert UNSUPPORTED_ENTAILMENT.contains(axiom.getAxiomType());
  throw new UnsupportedOperationException("Unsupported entailment query: " + axiom);
}

@Override
public void visit(final OWLDisjointUnionAxiom axiom)
{
  // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented
  assert UNSUPPORTED_ENTAILMENT.contains(axiom.getAxiomType());
  throw new UnsupportedOperationException("Unsupported entailment query: " + axiom);
}

@Override
public void visit(final OWLDisjointUnionAxiom axiom)
{
  // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented
  assert UNSUPPORTED_ENTAILMENT.contains(axiom.getAxiomType());
  throw new UnsupportedOperationException("Unsupported entailment query: " + axiom);
}

public void visit(OWLDisjointUnionAxiom axiom) {
  // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented
  assert UNSUPPORTED_ENTAILMENT.contains( axiom.getAxiomType() );
  
  throw new UnsupportedOperationException("Unsupported entailment query: " + axiom );
}

public void visit(OWLDisjointUnionAxiom axiom) {
  // Make sure UNSUPPORTED_ENTAILMENT is updated if this function is implemented
  assert UNSUPPORTED_ENTAILMENT.contains( axiom.getAxiomType() );
  
  throw new UnsupportedOperationException("Unsupported entailment query: " + axiom );
}

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}

public void visit(OWLDisjointUnionAxiom axiom) {
  type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}

@Override
public void visit(OWLDisjointUnionAxiom axiom) {
  type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}