How to use

classes

method

in

it.unibz.inf.ontop.spec.ontology.ClassifiedTBox

public Iterator<IRI> iEmptyConcepts() {
  return new EmptyEntitiesIterator(onto.classes().iterator(), conn);
}

public Intersection<ClassExpression> getSubConcepts(Collection<Function> atoms) {
  Intersection<ClassExpression> subc = new Intersection<>(reasoner.classesDAG());
  for (Function a : atoms) {
    Optional<IRI> optionalClassIRI = extractClassIRI(a);
    if (!optionalClassIRI.isPresent()) {
      subc.setToBottom();   // binary predicates R(x,x) cannot be matched to the anonymous part
      break;
    }
    IRI classIRI = optionalClassIRI.get();
     if (reasoner.classes().contains(classIRI))
       subc.intersectWith(reasoner.classes().get(classIRI));
     else
       subc.setToBottom();
     if (subc.isBottom())
       break;
  }
  return subc;
}

if (classIRI.isPresent() && reasoner.classes().contains(classIRI.get())) {
  OClass c = reasoner.classes().get(classIRI.get());
  OClass equivalent = (OClass)reasoner.classesDAG().getCanonicalForm(c);
  if (equivalent != null && !equivalent.equals(c)) {

private Assertion translate(OWLAxiom axiom) {
  try {
    if (axiom instanceof OWLClassAssertionAxiom)
      return owlapiTranslator.translate((OWLClassAssertionAxiom)axiom, tbox.classes());
    else if (axiom instanceof OWLObjectPropertyAssertionAxiom)
      return owlapiTranslator.translate((OWLObjectPropertyAssertionAxiom)axiom, tbox.objectProperties());
    else if (axiom instanceof OWLDataPropertyAssertionAxiom)
      return owlapiTranslator.translate((OWLDataPropertyAssertionAxiom)axiom, tbox.dataProperties());
  }
  catch (TranslationException | InconsistentOntologyException e) {
    return null;
  } 
  return null;
}

private void setIndex(String iri, int type, int idx) {
  if (type == CLASS_TYPE) {
    OClass c = reasonerDag.classes().get(iri);
    if (reasonerDag.classesDAG().getVertex(c) == null)
      throw new RuntimeException("UNKNOWN CLASS: " + iri);

private void checkObjectOrAnnotationProperty(String predicateIRI, PPMappingAssertionProvenance provenance,
                       Ontology ontology)
    throws MappingOntologyMismatchException {
  /*
   * Cannot be a data property (should be either an object or an annotation property)
   */
  if (ontology.tbox().dataProperties().contains(predicateIRI))
    throw new MappingOntologyMismatchException(generatePropertyOrClassConflictMessage(predicateIRI, provenance,
        DATA_PROPERTY_STR, OBJECT_PROPERTY_STR));
  /*
   * Cannot be a class
   */
  if (ontology.tbox().classes().contains(predicateIRI))
    throw new MappingOntologyMismatchException(generatePropertyOrClassConflictMessage(predicateIRI, provenance,
        CLASS_STR, OBJECT_PROPERTY_STR));
}

private void checkObjectOrAnnotationProperty(IRI predicateIRI, PPMappingAssertionProvenance provenance,
                       Ontology ontology)
    throws MappingOntologyMismatchException {
  /*
   * Cannot be a data property (should be either an object or an annotation property)
   */
  if (ontology.tbox().dataProperties().contains(predicateIRI))
    throw new MappingOntologyMismatchException(generatePropertyOrClassConflictMessage(predicateIRI, provenance,
        DATA_PROPERTY_STR, OBJECT_PROPERTY_STR));
  /*
   * Cannot be a class
   */
  if (ontology.tbox().classes().contains(predicateIRI))
    throw new MappingOntologyMismatchException(generatePropertyOrClassConflictMessage(predicateIRI, provenance,
        CLASS_STR, OBJECT_PROPERTY_STR));
}

OClass c = reasonerDag.classes().get(iri);
range = cacheSI.getEntry(c);

if (ontology.tbox().classes().contains(predicateIRI))
  throw new MappingOntologyMismatchException(generatePropertyOrClassConflictMessage(predicateIRI, provenance,
      CLASS_STR, DATA_PROPERTY_STR));

if (ontology.tbox().classes().contains(predicateIRI))
  throw new MappingOntologyMismatchException(generatePropertyOrClassConflictMessage(predicateIRI, provenance,
      CLASS_STR, DATA_PROPERTY_STR));