How to use it.unibz.inf.ontop.spec.ontology

  private void ensureExistsRinv() {
    if (existsRinv == null) {
      if (property instanceof ObjectPropertyExpression) {
        ObjectPropertyExpression inv = ((ObjectPropertyExpression)property).getInverse();			
        existsRinv = inv.getDomain();	
      }
//            else {
//                DataPropertyExpression inv = ((DataPropertyExpression)property).getInverse();            
//                existsRinv = ontFactory.createPropertySomeRestriction(inv);                    
//            }
    }        
  }

  @Override
  public boolean isTop() {
    return property.isTop();
  }
}

  @Override
  public boolean isTop() {
    return property.isTop();
  }
}

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 checkSignature(ClassExpression desc) {
  if (desc instanceof OClass) {
    OClass cl = (OClass) desc;
    if (!classes.contains(cl.getName()))
      throw new IllegalArgumentException(CLASS_NOT_FOUND + desc);
  }
  else if (desc instanceof ObjectSomeValuesFrom) {
    checkSignature(((ObjectSomeValuesFrom) desc).getProperty());
  }
  else  {
    assert (desc instanceof DataSomeValuesFrom);
    checkSignature(((DataSomeValuesFrom) desc).getProperty());
  }
}

private Optional<IRI> getPredicateIRI(DataRangeExpression expression) {
  if (expression instanceof Datatype) {
    return Optional.of(((Datatype) expression).getIRI());
  }
  if (expression instanceof DataPropertyRangeExpression) {
    return Optional.of(((DataPropertyRangeExpression) expression).getProperty().getIRI());
  }
  return Optional.empty();
}

public Iterator<IRI> iEmptyRoles() {
  return new EmptyEntitiesIterator(onto.objectProperties().iterator(), onto.dataProperties().iterator(), conn);
}

private Optional<Predicate> getPredicate(DataRangeExpression expression) {
  if (expression instanceof Datatype) {
    return Optional.of(((Datatype) expression).getPredicate());
  }
  if (expression instanceof DataPropertyRangeExpression) {
    return Optional.of(((DataPropertyRangeExpression) expression).getProperty().getPredicate());
  }
  return Optional.empty();
}

@Override
public void visit(OWLInverseFunctionalObjectPropertyAxiom ax) {
  // TEMPORARY FIX
  if (functionalityAxioms) {
    ObjectPropertyExpression ope = getPropertyExpression(ax.getProperty(), builder.objectProperties());
    builder.addFunctionalObjectPropertyAxiom(ope.getInverse());
  }
  else
    log.warn(NOT_SUPPORTED, ax);
}

public Set<ClassExpression> getSubConcepts() {
  if (subconcepts == null) {
    subconcepts = new HashSet<>();
    for (ClassExpression con : concepts)
      subconcepts.addAll(reasoner.classesDAG().getSubRepresentatives(con));
  }
  return subconcepts;
}

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

  @Override
  public int compare(DataPropertyExpression o1, DataPropertyExpression o2) {
    int compared = o1.getName().compareTo(o2.getName());
    return compared;
  }
};

  @Override
  public int compare(OClass o1, OClass o2) {
    return o1.getName().compareTo(o2.getName());
  }
};

@Override
public boolean isBottom() {
  return property.isBottom();
}

@Override
public boolean isBottom() {
  return property.isBottom();
}

private void checkSignature(ClassExpression desc) {
  if (desc instanceof OClass) {
    OClass cl = (OClass) desc;
    if (!classes.contains(cl.getName()))
      throw new IllegalArgumentException(CLASS_NOT_FOUND + desc);
  }
  else if (desc instanceof ObjectSomeValuesFrom) {
    checkSignature(((ObjectSomeValuesFrom) desc).getProperty());
  }
  else  {
    assert (desc instanceof DataSomeValuesFrom);
    checkSignature(((DataSomeValuesFrom) desc).getProperty());
  }
}

  @Override
  public boolean isTop() {
    return property.isTop();
  }
}

  @Override
  public boolean isTop() {
    return property.isTop();
  }
}

@Override
public boolean isBottom() {
  return property.isBottom();
}

@Override
public boolean isBottom() {
  return property.isBottom();
}