How to use

objectPropertiesDAG

method

in

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

public Intersection<ObjectPropertyExpression> getTopProperty() {
  return new Intersection<>(reasoner.objectPropertiesDAG());
}

ObjectSomeValuesFrom some = (ObjectSomeValuesFrom)b;
ObjectPropertyExpression prop = some.getProperty();
Set<ObjectPropertyExpression> bsubproperties = reasoner.objectPropertiesDAG().getSubRepresentatives(prop);
Iterator<ClassExpression> i = concepts.iterator();
while (i.hasNext()) {

/**
 * Assign indexes for the named DAG, use a depth first listener over the DAG 
 * @param reasoner used to know ancestors and descendants of the dag
 */

public SemanticIndexBuilder(ClassifiedTBox reasoner)  {
  classRanges = createSemanticIndex(reasoner.classesDAG());
  opRanges = createSemanticIndex(reasoner.objectPropertiesDAG());
  dpRanges = createSemanticIndex(reasoner.dataPropertiesDAG());
}
  

Intersection<ObjectPropertyExpression> properties = propertiesCache.get(idx);            
if (properties == null) {
  properties = new Intersection<>(reasoner.objectPropertiesDAG());
  for (Function a : edge.getBAtoms()) {
    if (a.isOperation()) {

for (Equivalences<ObjectPropertyExpression> propNode : reasoner.objectPropertiesDAG()) {
  for (Equivalences<ObjectPropertyExpression> subpropNode : reasoner.objectPropertiesDAG().getSub(propNode)) {
    for (ObjectPropertyExpression subprop : subpropNode) {
      if (subprop.isInverse())

  throw new RuntimeException("INVERSE PROPERTIES ARE NOT SUPPORTED IN ABOX:" + ax);
ObjectPropertyExpression ope = reasonerDag.objectPropertiesDAG().getCanonicalForm(ope0);

getObjectTMappings(mappingIndex, originalMappingIndex, reasoner.objectPropertiesDAG(), excludeFromTMappings);
getDataTMappings(mappingIndex, originalMappingIndex, reasoner.dataPropertiesDAG(), excludeFromTMappings);

ObjectPropertyExpression equivalent = reasoner.objectPropertiesDAG().getCanonicalForm(ope);
if (equivalent != null && !equivalent.equals(ope)) {
  if (!equivalent.isInverse())

getObjectTMappings(mappingIndex, originalMappingIndex, reasoner.objectPropertiesDAG(), excludeFromTMappings);
getDataTMappings(mappingIndex, originalMappingIndex, reasoner.dataPropertiesDAG(), excludeFromTMappings);

for(Equivalences<ObjectPropertyExpression> node : reasoner.objectPropertiesDAG()) {
  ObjectPropertyExpression rep = node.getRepresentative();
  ObjectPropertyExpression repInv = rep.getInverse();
    (EquivalencesDAGImpl<ObjectPropertyExpression>)reasoner.objectPropertiesDAG(), objectProperties);

for(Equivalences<ObjectPropertyExpression> node : reasoner.objectPropertiesDAG()) {
  ObjectPropertyExpression rep = node.getRepresentative();
  ObjectPropertyExpression repInv = rep.getInverse();
    (EquivalencesDAGImpl<ObjectPropertyExpression>)reasoner.objectPropertiesDAG(), objectProperties);

for (Equivalences<ObjectPropertyExpression> set : reasonerDag.objectPropertiesDAG()) {