How to use

getTopDatatype

method

in

org.semanticweb.owlapi.model.OWLDataFactory

@Nullable
@Override
protected OWLDatatype getTopEntity() {
  return df.getTopDatatype();
}

  @Override
  protected OWLDataRange getDataLimit() {
    return getDataFactory().getTopDatatype();
  }
}

@Override
void startElement(String name) {
  super.startElement(name);
  builder.withRange(df.getTopDatatype());
}

public Set<OWLDatatype> getBuiltinDatatypes(){
  Set<OWLDatatype> datatypes = new HashSet<>();
  final OWLDataFactory df = mngr.getOWLDataFactory();
  datatypes.add(df.getTopDatatype());
  for (OWL2Datatype dt : OWL2Datatype.values()) {
    datatypes.add(df.getOWLDatatype(dt.getIRI()));
  }        
  return datatypes;
}

public Set<OWLDatatype> getBuiltinDatatypes(){
  Set<OWLDatatype> datatypes = new HashSet<OWLDatatype>();
  final OWLDataFactory df = mngr.getOWLDataFactory();
  datatypes.add(df.getTopDatatype());
  for (OWL2Datatype dt : OWL2Datatype.values()) {
    datatypes.add(df.getOWLDatatype(dt.getIRI()));
  }        
  return datatypes;
}

public Set<OWLDatatype> getBuiltinDatatypes(){
  Set<OWLDatatype> datatypes = new HashSet<OWLDatatype>();
  final OWLDataFactory df = mngr.getOWLDataFactory();
  datatypes.add(df.getTopDatatype());
  for (OWL2Datatype dt : OWL2Datatype.values()) {
    datatypes.add(df.getOWLDatatype(dt.getIRI()));
  }        
  return datatypes;
}

public Set<OWLDatatype> getBuiltinDatatypes(){
  Set<OWLDatatype> datatypes = new HashSet<>();
  final OWLDataFactory df = mngr.getOWLDataFactory();
  datatypes.add(df.getTopDatatype());
  for (OWL2Datatype dt : OWL2Datatype.values()) {
    datatypes.add(df.getOWLDatatype(dt.getIRI()));
  }        
  return datatypes;
}

@Override
public Boolean visit(OWLDataPropertyDomainAxiom axiom) {
  return Boolean.valueOf(reasoner.isSubClassOf(factory.getOWLDataSomeValuesFrom(axiom.getProperty(),factory.getTopDatatype()),axiom.getDomain()));
}
@Override

@Override
public Collection<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) {
  return subClassOf(df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()),
    axiom.getDomain());
}

@Override
public Collection<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) {
  return subClassOf(df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()),
    axiom.getDomain());
}

@Override
public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom) {
  OWLClassExpression sub = factory
    .getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype());
  return and(sub, not(axiom.getDomain()));
}

@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
  OWLClassExpression sub = dataFactory
    .getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory
      .getTopDatatype());
  OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
  ax.accept(this);
}

public void visit(OWLDataPropertyDomainAxiom axiom) {
  OWLClassExpression sub = dataFactory.getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory.getTopDatatype());
  OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
  ax.accept(this);
}

private void initializeDomainMap() {
  domainMap = new HashMap<OWLClass, Set<OWLEntity>>();
  for (OWLObjectProperty p : ontology.getObjectPropertiesInSignature()) {
    OWLClassExpression mustHavePropertyValue = factory.getOWLObjectSomeValuesFrom(p, factory.getOWLThing());
    addPropertyToDomainMap(p, mustHavePropertyValue);
  }
  for (OWLDataProperty p : ontology.getDataPropertiesInSignature()) {
    OWLClassExpression mustHavePropertyValue = factory.getOWLDataSomeValuesFrom(p, factory.getTopDatatype());
    addPropertyToDomainMap(p, mustHavePropertyValue);
  }
}
 

@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
  OWLClassExpression sub = dataFactory
    .getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory
      .getTopDatatype());
  OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
  ax.accept(this);
}

@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
  OWLClassExpression sub = dataFactory
    .getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory
      .getTopDatatype());
  OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
  ax.accept(this);
}

@Override
public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom) {
  OWLClassExpression sub = factory
    .getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype());
  return and(sub, not(axiom.getDomain()));
}

@Override
public OWLClassExpression visit(OWLDataPropertyDomainAxiom ax) {
  OWLClassExpression exists = df.getOWLDataSomeValuesFrom(ax.getProperty(), df.getTopDatatype());
  return df.getOWLObjectIntersectionOf(exists, df.getOWLObjectComplementOf(ax.getDomain()));
}

@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
  df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this);
  writeSpace();
  write(SUBCLASS);
  writeSpace();
  axiom.getDomain().accept(this);
}

@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
  df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this);
  writeSpace();
  write(SUBCLASS);
  writeSpace();
  axiom.getDomain().accept(this);
}