How to use

getOWLNothing

method

in

org.semanticweb.owlapi.model.OWLDataFactory

@Override
public void visit(OWLClass ce) {
  if (signature.contains(ce)) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLNothing();
  }
}

@Override
@Nullable
public OWLClass getOWLClass(String name) {
  if ("Thing".equals(name) || "owl:Thing".equals(name)) {
    return df.getOWLThing();
  } else if ("Nothing".equals(name) || "owl:Nothing".equals(name)) {
    return df.getOWLNothing();
  } else if (classNames.contains(name)) {
    return df.getOWLClass(getIRI(name));
  }
  return null;
}

@Override
public Boolean visit(OWLDisjointClassesAxiom axiom) {
  if (axiom.getClassExpressions().size() == 2 && axiom.getClassExpressions().contains(factory.getOWLNothing())) {
    return true;
  }
  return false;
}

  public OWLClass map(ATermAppl term) {
    if( term.equals( ATermUtils.TOP ) )
      return factory.getOWLThing();
    else if( term.equals( ATermUtils.BOTTOM ) )
      return factory.getOWLNothing();
    else
      return factory.getOWLClass( iri( term ) );
  }
}

@Override
public void visit(OWLObjectMinCardinality ce) {
  if (signature.contains(ce.getProperty().getNamedProperty())) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLNothing();
  }
}

@Override
public void visit(OWLDataExactCardinality ce) {
  if (signature.contains(ce.getProperty().asOWLDataProperty())) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLNothing();
  }
}

@Override
public void visit(OWLDataMinCardinality ce) {
  if (signature.contains(ce.getProperty().asOWLDataProperty())) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLNothing();
  }
}

@Override
public void visit(OWLDataSomeValuesFrom ce) {
  if (signature.contains(ce.getProperty().asOWLDataProperty())) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLNothing();
  }
}

@Override
public void visit(OWLObjectExactCardinality ce) {
  if (signature.contains(ce.getProperty().getNamedProperty())) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLNothing();
  }
}

@Override
public void visit(OWLDataSomeValuesFrom ce) {
  if (signature.contains(ce.getProperty().asOWLDataProperty())) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLNothing();
  }
}

@Override
public void visit(OWLDataMinCardinality ce) {
  if (signature.contains(ce.getProperty().asOWLDataProperty())) {
    newClassExpression = ce;
  } else {
    newClassExpression = df.getOWLNothing();
  }
}

@Override
public Node<OWLClass> getBottomClassNode() {
  ensurePrepared();
  return classHierarchyInfo.getEquivalents(getDataFactory().getOWLNothing());
}

@Override
public Node<OWLClass> getBottomClassNode() {
  ensurePrepared();
  return classHierarchyInfo.getEquivalents(getDataFactory().getOWLNothing());
}

public InferredOWLClassHierarchyProvider(OWLModelManager owlModelManager, OWLOntologyManager owlOntologyManager) {
  super(owlOntologyManager);
  this.owlModelManager = owlModelManager;
  owlThing = owlModelManager.getOWLDataFactory().getOWLThing();
  owlNothing = owlModelManager.getOWLDataFactory().getOWLNothing();
  owlModelManager.addListener(owlModelManagerListener);
}

@Override
public OWLClassExpression visit(OWLClass d) {
  if (d.isOWLThing())
    return m_factory.getOWLNothing();
  if (d.isOWLNothing())
    return m_factory.getOWLThing();
  return m_factory.getOWLObjectComplementOf(d);
}
@Override

public void visit(OWLObjectPropertyDomainAxiom axiom) {
  OWLObjectAllValuesFrom allPropertyNohting=m_factory.getOWLObjectAllValuesFrom(axiom.getProperty().getSimplified(),m_factory.getOWLNothing());
  m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { positive(axiom.getDomain()),allPropertyNohting });
  m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}
public void visit(OWLObjectPropertyRangeAxiom axiom) {

@Override
public Boolean visit(OWLSubClassOfAxiom axiom) {
  if (axiom.getSuperClass().equals(df.getOWLThing()) || axiom.getSubClass().equals(df.getOWLNothing())) {
    return Boolean.TRUE;
  }
  ConceptExpression sub = tr.pointer(axiom.getSubClass());
  if (!kernel.isSatisfiable(sub)) {
    return Boolean.TRUE;
  }
  ConceptExpression sup = tr.pointer(axiom.getSuperClass());
  return Boolean.valueOf(kernel.isSubsumedBy(sub, sup));
}

@Override
public void visit(OWLObjectSomeValuesFrom ce) {
  if (signature.contains(ce.getProperty().getNamedProperty())) {
    newClassExpression = df
      .getOWLObjectSomeValuesFrom(ce.getProperty(), replaceBottom(ce.getFiller()));
  } else {
    newClassExpression = df.getOWLNothing();
  }
}

public InferredOWLClassHierarchyProvider(OWLModelManager owlModelManager, OWLOntologyManager owlOntologyManager) {
  super(owlOntologyManager);
  this.owlModelManager = owlModelManager;
  owlThing = owlModelManager.getOWLDataFactory().getOWLThing();
  owlNothing = owlModelManager.getOWLDataFactory().getOWLNothing();
  owlModelManager.addListener(owlModelManagerListener);
  owlOntologyManager.addOntologyChangeListener(owlOntologyChangeListener);
}

public OWLClassExpression visit(OWLObjectMinCardinality d) {
  OWLClassExpression filler=getSimplified(d.getFiller());
  if (d.getCardinality()<=0)
    return m_factory.getOWLThing();
  else if (filler.isOWLNothing())
    return m_factory.getOWLNothing();
  else if (d.getCardinality()==1)
    return m_factory.getOWLObjectSomeValuesFrom(d.getProperty().getSimplified(),filler);
  else
    return m_factory.getOWLObjectMinCardinality(d.getCardinality(),d.getProperty().getSimplified(),filler);
}
public OWLClassExpression visit(OWLObjectMaxCardinality d) {